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
-
” Address forms vary cross-linguistically, though a tendency to use alternative forms in so-called ‘formal’ versus ‘informal’ address is widely attested. In many European languages, for instance, a
-
, 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
-
. Have familiarity and affinity with formal semantics and/or semiotics. Have a background in philosophy with a clear interest in linguistics and argumentation, or a background in linguistics with a clear