Scholar
Ian Dardik
Google Scholar ID: UOf7BfgAAAAJ
PhD Student, Carnegie Mellon University
Citations & Impact
Citations
51
H-index
4
i10-index
3
Publications
8
Co-authors
0
Contact
Publications
Resume (English only)
Academic Achievements
- Published several papers, including 'Compositional Inductive Invariant Inference via Assume-Guarantee Reasoning', 'Constrained LTL Specification Learning from Examples', and others. Received awards such as the 2022 Khoury College Graduate Research Award.
Research Experience
- Involved in multiple research projects including model checking, analysis and repair of software systems, and more.
Education
- PhD student at Carnegie Mellon University, advised by Professor Eunsuk Kang; previously a Master's student at Northeastern University, supervised by Professor Stavros Tripakis.
Background
- PhD student in Software Engineering, with research interests in Formal Methods and Software Engineering, particularly in the context of Distributed Systems and Cyber-Physical Systems. His work also involves analyzing the robustness of software systems and protocols.
Miscellany
- Participated in the SRI International 2022 Summer School, and has given talks at various academic conferences.
Co-authors