Ivan Mladenov

Ivan Mladenov

I am an undergraduate at the University of Maryland in College Park, studying computer science, mathematics, and cybersecurity.

I won the ICFP Undergraduate SRC in 2026!

I am an undergraduate researcher at PLUM (Programming Languages Research at the University of Maryland), advised by Leonidas Lampropoulos.

I am interested in functional programming, compilers, property-based testing, and verification, with a particular love for OCaml, Rocq, Haskell, and Scheme.

Feel free to reach out at mladenov@terpmail.umd.edu.