311
reputation
1
4

ivg

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 have a strong belief that programming is a prodigal son of mathematics and will be happy to see the Return of the Prod.

5
answers
0
questions
~1k
people reached

Top tags (10)

Score 15
Posts 5
Posts % 100
Score 7
Posts 1
Score 7
Posts 1
Score 4
Posts 1
Score 3
Posts 2
Score 2
Posts 1

Top posts (5) All Questions Answers | Votes Newest

Badges (5)

Gold

Silver

1

Rarest

Bronze

4

Rarest