Nottingham,
United Kingdom
Type
Public
Degrees offered
Bachelor's Degree
MSc Cyber Physical Systems - Functional Programming Laboratory in Nottingham United Kingdom | University of Nottingham
University of Nottingham
|
Nottingham United Kingdom
Visit institution website
for more information
Qualification
Masters Degree (Taught)
Languages
English
Delivery Mode
On-Campus
Tuition (2025)
GBP
28,600
(c. USD38,301.41)
Attendance
Full-time
Full-time Duration
12 months
The Functional Programming Lab focuses on creating straightforward yet effective methods for program development and analysis by leveraging their inherent mathematical foundations. Our research primarily utilizes functional languages like Haskell and Agda, which are leading innovations in programming language studies and serve as excellent platforms for this type of investigation.
We explore diverse subjects within functional programming, encompassing category theory, corecursive structures, compiler verification, declarative error diagnosis, hybrid modeling, reactive programming, mathematical logic, code optimization, program modification, proof assistants, quantum computation, and type systems.
Destination of Study
Subjects of Study
Language Requirements
English
IELTS 6.5
Qualification Requirements
2:1 (or international equivalent) with programming skills evidenced through prior study or practical experience detailed in the application.
IELTS - 6.5 (no less than 6.0 in any element), TOEFL (iBT) - 90 (minimum 19 in writing and listening, 20 in reading and 22 in speaking)
IELTS - 6.5 (no less than 6.0 in any element), TOEFL (iBT) - 90 (minimum 19 in writing and listening, 20 in reading and 22 in speaking)
Tuition
GBP
28,600