Jekyll2025-10-09T07:25:26+00:00https://iandardik.github.io//feed.xmlIan Dardik is a Software Engineering PhD student at Carnegie Mellon University. He researches compositional techniques for improving verification; in particular, for model checking software systems and protocols. His research also involves analyzing the robustness of software systems and protocols.