Pittsburgh, PA


I'm a research programmer in CMU, Cylab. Currently I'm focused on Binary Analysis Platform (bap), but in general my interests lie in the field of program analysis and formal methods. I believe that using languages with rich type systems, like Coq or OCaml is a sure way to deliver safe and robust software. I also has a strong belief that programming is a prodigal son of mathematics, and will be happy to see the Return of the Prod.

Top Questions
No questions with score of 5 or more
Top Answers
1 2 3 4