| CARVIEW |
Select Language
HTTP/2 301
server: GitHub.com
content-type: text/html
location: https://mpaviotti.github.io/teaching/
access-control-allow-origin: *
expires: Sat, 17 Jan 2026 11:53:48 GMT
cache-control: max-age=600
x-proxy-cache: MISS
x-github-request-id: 8686:A2227:1142EC:14274D:696B75F1
accept-ranges: bytes
age: 0
date: Sat, 17 Jan 2026 11:43:48 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210087-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768650228.360517,VS0,VE224
vary: Accept-Encoding
x-fastly-request-id: 8fe519db63610388104d75ac36141b20a79119d6
content-length: 162
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Mon, 29 Dec 2025 10:11:37 GMT
access-control-allow-origin: *
etag: W/"695253d9-2658"
expires: Sat, 17 Jan 2026 11:53:48 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 6CBC:141D69:110516:13D89C:696B75F3
accept-ranges: bytes
age: 0
date: Sat, 17 Jan 2026 11:43:48 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210087-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768650229.598249,VS0,VE250
vary: Accept-Encoding
x-fastly-request-id: 426a5afa38dd090f501965340d32df135b254f88
content-length: 3245
Teaching - Marco Paviotti
Teaching
Current Modules
- 2025–present. COMP6018 – Theory and Practice of Concurrency.
- 2025–present. COMP6012 – Programming Languages: Applications and Design.
- 2025–present. COMP8220 – Introduction to Quantum Computing & Quantum Cryptography.
PhD Courses and Reading Groups
- 2024/25. Category Theory course for postgraduates. Link to the course, here.
- 2017-2019. Category Theory with Dominic Orchard, University of Kent. Postgraduate Course. Download the notes here.
Notes
Some of these notes were meant to be read by some of my collaborators:
Past Modules
- 2023-2025. COMP6610 – Theory and Practice of Concurrency.
- 2023-2025. COMP6630 – Programming Languages: Applications and Design.
- 2024-2025. COMP8220 – Introduction to Quantum Computing & Quantum Cryptography.
- 2024/2025. COMP8270 – Programming for Artificial Intelligence.
- 2024-2025. Class Supervisor. COMP5180 – Algorithms, Correctness and Efficiency.
- 2024-2025. Class Supervisor. COMP5450 – Functional and Concurrent Programming.
- 2017-2019. CO519 – Theory of computing. Class Supervisor. University of Kent.
- 2017-2018. CO545 – Functional and concurrent programming. Class Supervisor. University of Kent.
- 2014-2015. Advanced Models and Programs with Jesper Bengtson. ITU Copenhagen.
