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

Personal website: https://www.cylab.cmu.edu/directory/bio/gotovchits-ivan.html

Research interests: Security, Program Analysis, Formal Methods, Functional Programming

Contributions

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

Using general profile