Thibault Dardinier
Courant Institute of Mathematical Sciences
New York University
About Professor Thibault Dardinier
Dr. Thibault Dardinier will join the Courant Institute of Mathematical Sciences at New York University as an Assistant Professor of Computer Science in Fall 2026. NYU’s Courant Institute is a world-renowned center for mathematical and computational research, consistently ranked among the top institutions globally for computer science and applied mathematics. Its rigorous academic environment and the esteemed Analysis of Computer Systems group provide an ideal foundation for pioneering work in formal methods and program verification, fostering collaboration and cutting-edge discovery.
🧬Research Focus
Dr. Dardinier’s research is centered on the development of provably sound deductive program verifiers, bridging foundational theory with practical tool-building. His work in program logics, separation logic, and hyperproperties aims to create automated verifiers capable of ensuring software correctness, information flow security, and privacy verification. By leveraging formal methods and tools like the Isabelle proof assistant, this research addresses critical challenges in building secure and reliable systems, with significant potential for breakthroughs in cybersecurity and trustworthy software development for real-world applications.
🎓Student Fit & Career
For prospective PhD students, Dr. Dardinier offers dedicated academic mentorship in a dynamic research area. Ideal candidates will have a strong background in computer science theory, an interest in formal reasoning, and a passion for translating logical principles into practical verification tools. Graduate research in his group will equip students with expertise in program verification and secure systems, preparing them for impactful careers in academia, industrial research, and high-assurance software engineering in sectors where security and correctness are paramount.
Research Areas
Reviews (0)
No reviews yet for this supervisor.
Be the first to share your experience!
Frequently Asked Questions
Not sure how to interpret mixed signals? A structured decision guide can help you think through high-risk supervision choices more clearly. Download the free guide.