Teaching

I taught the following modules as a lecturer:

At Utrecht University, The Netherlands
2021-2022	Logic and Language (Postgraduate) Advanced course on linear logic, grammar logics, formal semantics and distributional semantics.
2020-2021 2019-2020	Logical Grammars (Undergraduate) Advanced course on grammar logics, formal semantics and distributional semantics.

At Queen Mary University of London, United Kingdom
2018-2019 2017-2018	Mathematics for Electronic Engineering I (Undergraduate) Responsible for organising and teaching this introduction to mathematics for students of Electronic Engineering and Computer Systems students. Topics covered include complex numbers, vectors, sequences and series, functions and continuity, differentiation, and integration.

I worked (in varying capacity) as a teaching assistant for the modules below:

At Queen Mary University of London, United Kingdom
2018-2019 2017-2018 2016-2017	Natural Language Processing (Postgraduate) Responsible for running labs and marking for this capita selecta course on NLP for master students of various programmes. Topics covered include language modelling, formal grammar, dialogue modelling, sentiment analysis, classification and regression models, formal grammar, distributional semantics, formal semantics.
2016-2017	Mathematics for Electronic Engineering I (Undergraduate) Responsible tutoring and marking students' work for this introduction to mathematics for students of Electronic Engineering and Computer Systems students. Topics covered include complex numbers, vectors, sequences and series, functions and continuity, differentiation, and integration.

At University of Amsterdam, The Netherlands
2013-2014	Logic Programming and Search Techniques (Undergraduate) An introductory course to logic programming and various search techniques, in Prolog.
2013-2014 2012-2013	Computational Logic (Undergraduate) An intermediate course on logic for computational reasoning. Topics include propositional and first order resolution, dynamic epistemic logic, planning.
2013-2014 2012-2013	Linear Algebra (Undergraduate) An introductory course to linear algebra, covering up to Singular Value Decomposition.
2012-2013	Introduction to Artificial Intelligence (Undergraduate) A capita selecta course covering seminal papers/cases in Artificial Intelligence.
2012-2013	Introduction to Logic (Undergraduate) An introductory course on formal logic. Topics include propositional and first-order logic, natural deduction, sequent calculi, tableaux.

At Utrecht University, The Netherlands
2010-2011	Language and Speech Technology (Undergraduate) Advanced course on techniques for language and speech technologies. Topics include formal languages (up to context-free languages), UNIX, hands on text-to-speech tutorials, Hidden Markov Models.
2010-2011	Natural Language Processing (Undergraduate) An intermediate course on logical grammars and their semantics, from the basics of the Lambek Calculus to cutting-edge research topics.