Probabilistic Model Checking
Year: 2021 and 2022
Syllabus: PCTL and CSL model checking of discrete- and continuous-time Markov models, respectively
MSc-level course taught for computer scientists
Students feedback: ''Always prepared; Punctual; Knowledgeable about everything; Explains questions on assignments very well; Patient on answering all questions''; ''It is clear that he had a very good understanding of the material and also a very strong intuition regarding potential issues we may have. He provided alternative solutions and interpretations for most problems and really enhanced our understanding of the material.''
AIMS Modern Control Theory
Role: Lecturer (2021), Teaching assistant (2019,2020)
Syllabus: Modern control theory.
Optimisation
Duality theory
S-procedure, LMIs
Dynamic programming
Students feedback: "Licio in particular was an amazing teaching assistant, he went out of his way to explain concepts thoroughly.''; ''Licio was a great TA and explained in lots of detail.''
B15: Control Systems
Role: Teaching assistant
Year: 2019, 2020, 2021
Syllabus:
Students feedback: ''Licio’s been a brilliant tutor this year. I found B15 quite challenging overall but Licio was incredibly supportive and provided good explanations, and extra little resources during the tutorial which were also very helpful.''; ''Very good tutor. Even provided his own notes on the subject so as to give us another explanation/description of the topics which was very helpful. Good explainer. He would sometimes ask us to run through a problem on the board which would keep us on our toes, but it's good to try these out as a student, as you can show him step-by-step what you're doing which is good for learning.''
C20: Linear Matrix Inequalities
Role: Teaching assistant
Year: 2019
LEGO Football coursework module