Ian Dardik

I am a Software Engineering Ph.D. student at Carnegie Mellon University. My research interests are in Formal Methods and Software Engineering with applications to Distributed Systems and Cyber Physical Systems.

Publications

Bio

At Carnegie Mellon, I am advised by Professor Eunsuk Kang and a member of SoDA Lab.

Prior to joining CMU, I was a Masters student at Northeastern University in the Khoury Research Apprenticeship Program, supervised by Professor Stavros Tripakis.