search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Theory of Computation #74

Open oanaandrei opened 2 years ago

oanaandrei commented 2 years ago

Course code, if applicable: COMPSCI4072 University hosting the course: University of Glasgow Contact person: Dr Ornela Dardha, ornela.dardha@glasgow.ac.uk Concepts taught: Language Theory,Lambda Calculus,Functional Programming,Process Calculus,Pi Calculus,Behavioural Equivalences,Quantum computation,Quantum protocols Tools used: Go programming language Webpage: https://www.gla.ac.uk/coursecatalogue/course/?code=COMPSCI4072 Year/Level: 3,4,MSci Reviewed: 2021/09/03

jff commented 2 years ago

@oanaandrei Thanks for your submission! Your course is now listed in the public database.