Sort by
Refine Your Search
-
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
Enter an email to receive alerts for software-"https:" positions