Sort by
Refine Your Search
-
on the verification of concurrent programs, including topics such as abstract interpretation, type systems, program logics, or denotational semantics. Preparing and implementing research projects under the supervision
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions