-
group investigates the mathematical foundations of programming and automated reasoning about software. Our research spans programming languages and type systems, program analysis and verification, logic
-
Directions AI for Scientific Computing Neural Operators and Learning-Based Surrogates LLMs and Scientific Agents Agentic AI for Engineering Design Multimodal Scientific AI Alignment and Verification
Searches related to software verification
Enter an email to receive alerts for software-verification positions in postdoctoral