Sort by
Refine Your Search
-
approach is to apply foundational techniques grounded in logic, semantics, and verification. This work takes place within the CYCLIC project: Cyclic Structures in Programs and Proofs, a collaboration among
-
promoted by associate professor Emar Maier. The PhD Project: “Don’t call me by your name” Address forms vary cross-linguistically, though a tendency to use alternative forms in so-called ‘formal’ versus
-
, or relevant areas of social epistemology, pragmatics, or philosophy of language. Have familiarity and affinity with multimodal communication. Have familiarity and affinity with formal semantics and/or semiotics
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions