| user: | electronvolt |
| created: | August 11, 2010 |
| karma: | 313 |
| about: | Background in Math (Algebra, Topology) and computer science. Interests: CompSec, correctness (formal methods, validation, testing, fuzzing, etc.), databases, etc. Working for a large, established company in software development. |