Registered user since Mon 4 Mar 2019
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.
|OCaml 2019||Committee Member in Program Committee within the OCaml 2019-track|
|Show activities from other conferences|
View general profile