Ilya
Sergey
Toggle navigation
about
research lab
activities
publications
students
talks and slides
teaching
(current)
cv
NUS School of Computing and Yale-NUS College
CS5232: Formal Specification and Design Techniques
, NUS School of Computing
Spring 2023
CS4212: Compiler Design
, NUS School of Computing
Autumn 2022
YSC4231: Parallel, Concurrent and Distributed Programming
(née YSC3248), Yale-NUS College
Autumn 2019, Autumn 2020, Autumn 2021, Autumn 2022
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
Graduate Schools
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.
Past Teaching
at University College London
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.
at KU Leuven
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