Skip to main content
ivg's user avatar
ivg's user avatar
ivg's user avatar
ivg
  • Member for 9 years, 5 months
  • Last seen more than a month ago
Stats
311
reputation
2k
reached
5
answers
0
questions
Loading…
About

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.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
5
bronze badges
15
Score
5
Posts
100
Posts %
7
Score
1
Posts
20
Posts %
7
Score
1
Posts
20
Posts %
4
Score
1
Posts
20
Posts %
3
Score
2
Posts
40
Posts %
2
Score
1
Posts
20
Posts %
Top posts