COMP1110/6710 is brought to you by:
Conveners#
Dr. Liam O'Connor# | ||
|
Role(s): | Convener |
| Office: | N213 Skaidrite Darius Building | |
| Website: | https://liamoc.net | |
| About: | I am a senior lecturer at the School of Computing. My research interests include formal semantics of programming languages, formal verification of software safety and security, logic and theoretical computer science. | |
Tutors#
Abolfazl Sharifi# | ||
|
Role(s): | Tutor |
Carlo Zancanaro# | ||
|
Role(s): | Tutor |
Kai Phan# | ||
|
Role(s): | Tutor |
Tal Shy-Tielen# | ||
|
Role(s): | Tutor |
Xin Lu# | ||
|
Role(s): | Tutor |