Happy Frama-C (and OCaml) developer, intent on eradicating all bugs in C programs. In a previous life, type system guru (ML^F) dedicated to adding second-order polymorphism to an ML type system near you.
