Ilya Sergey | teaching

NUS School of Computing and Yale-NUS College

CS6217: Topics in Programming Languages & Software Engineering, NUS School of Computing
Autumn 2023
CS4212: Compiler Design, NUS School of Computing
Autumn 2022, Autumn 2023
YSC4231: Parallel, Concurrent and Distributed Programming (née YSC3248), Yale-NUS College
Autumn 2019, Autumn 2020, Autumn 2021, Autumn 2022, Autumn 2023
CS5232: Formal Specification and Design Techniques, NUS School of Computing
Spring 2023
CS4215: Programming Language Implementation, NUS School of Computing
Spring 2022
CS6213: Special Topics in Distributed Computing, NUS School of Computing
Spring 2021
YSC4230: Programming Language Design and Implementation (née YSC3208), Yale-NUS College
Autumn 2020, Autumn 2021
YSC2229: Introductory Data Structures and Algorithms, Yale-NUS College
Spring 2019, Spring 2020, Spring 2021
YCC1122: Quantitative Reasoning, Yale-NUS College
Autumn 2019

SIGPL Summer School 2018, Dongguk University, Seoul, Korea. August 2018.
[Lecture 1], [Lecture 2], [Lecture 3]
Programs and Proofs: Mechanizing Mathematics with Dependent Types
JetBrains Inc. / Saint-Petersburg State University. August 2014.

ENGS102P: Design and Professional Skills, Scenario Project Organiser. UCL.
Spring 2018.
COMP104P: Theory II, Anallysis of Algorithms, Lecturer. UCL.
Spring 2016, Spring 2017, Spring 2018.
COMP214P: Systems Engineering, Scenario Week Designer. UCL.
Autumn 2017. [Intro | Conclusion]
COMP205P: Software Engineering and HCI, Scenario Week Designer. UCL.
Spring 2017. [Intro | Conclusion]
COMP205P: Software Engineering and HCI, Scenario Week Designer. UCL.
Spring 2016. [Intro | Conclusion]
COMP2012: Directed Reading, Second Examiner. UCL. Spring 2016.

B-KUL-H04L5A: Comparative Programming Languages, TA, Autumn 2011
B-KUL-H04H8B: Formal systems and their applications TA, Guest Lecturer, Autumn 2010
B-KUL-H04H8B: Formal systems and their applications TA, Guest Lecturer, Autumn 2009