Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Ivan Gotovchits

Registered user since Mon 4 Mar 2019

Name:Ivan Gotovchits
Bio:

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.

Country:United States
Affiliation:Carnegie Mellon University
Research interests:Security, Program Analysis, Formal Methods, Functional Programming

Contributions

OCaml 2019 Committee Member in Program Committee within the OCaml 2019-track
Show activities from other conferences

ICFP 2019-profile
View general profile