Ian Dardik

Ian is a third-year graduate student at the Software and Societal Systems Department, Carnegie Mellon University currently pursuing a Ph.D. in Software Engineering. His research is primarily based on formal methods, including compositional model checking and robustness for discrete systems.

Email

idardik@andrew.cmu.edu

Website

iandardik.github.io

LinkedIn

https://www.linkedin.com/in/ian-dardik-a96054139/