Ian Dardik

I am currently a Software Engineering PhD student at Carnegie Mellon University, advised by Professor Eunsuk Kang. Previously, I was an MSCS student at Northeastern University working under the supervision of Professor Stavros Tripakis.

Here is a link to my CV

Publications

1. Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+
   William Schultz, Ian Dardik, and Stavros Tripakis FMCAD 2022
   [arXiv]
2. Formal verification of a distributed dynamic reconfiguration protocol
   William Schultz, Ian Dardik, and Stavros Tripakis CPP 2022
   [DOI]
3. Design and analysis of a logless dynamic reconfiguration protocol
   William Schultz, Siyuan Zhou, Ian Dardik, and Stavros Tripakis OPODIS 2021
   [Paper]