
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
OCaml 2021 | Binary Analysis Platform (BAP). Using Universal Algebra and Tagless-Final Style for Developing Representation-Agnostic Frameworks | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2021-profile
View general profile
View general profile