Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Ivan Gotovchits

Registered user since Mon 4 Mar 2019

Name: Ivan Gotovchits

Bio: 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.

Country: United States

Affiliation: Carnegie Mellon University

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

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

Contributions

ML 2020Committee Member in Program Committee within the ML 2020-track
OCaml 2020Conference Chair in Organizing Committee within the OCaml 2020-track
Chair in Program Committee within the OCaml 2020-track
Show activities from other conferences

ICFP 2020-profile
View general profile