-
languages (such as advanced type systems and functional logic programming) to bridging the gap between ad hoc array processing and formally verified functional programming using interactive theorem provers
-
pedagogical and didatic research methods and theories Expertise in quantitative methods and learning analytics for processing and analysing data What you will do Intitiate, plan and carry out practice-based
Searches related to process algebra
Enter an email to receive alerts for process-algebra positions