Viewing profile — ivg_t
ivg_t
HN member- Joined
- Wed, Jul 18, 2018, 4:59 PM UTC
- HN karma
- 7
- Public activity
- 3 items
- HN profile
- View on Hacker News ↗
About ivg_t
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.
Recent public activity
-
comment
Comment #24309127
The workshop is hosted by the ICFP conference so you need to register there, which is probably too late. But all the videos are available online and you can post questions in the O…
- story
-
comment
Comment #19319436
BAP is not a competitor to IDA Pro or Ghidra, it's a platform for implementing automated analysis, while IDA and Ghidra are more like reverse engineering tools that are focused on …