-
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
-
learning, safety-critical control, probabilistic modeling, verification, or optimization; Excellent communication skills in English and the ability to work both independently and collaboratively in
Searches related to verification computer science
Enter an email to receive alerts for verification-computer-science positions in Postdoctoral