electronvolt

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.