Registered user since Mon 4 Mar 2019
I’m a research scientist at Carnegie Mellon University, Cylab. Currently, I’m focused on binary analysis and reverse engineering, 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.
|ML 2020||Committee Member in Program Committee within the ML 2020-track|
|OCaml 2020|| Conference Chair in Organizing Committee within the OCaml 2020-track|
Chair in Program Committee within the OCaml 2020-track
|Show activities from other conferences|
View general profile