Adrian Francalanza's Homepage

contact | academic | personal | about

interests | publications | seminars | teaching

current | past |

• CPS5126 - Research Topics in Dependable Systems (Masters Level)

• CPS5127 - Research Topics in System Software (Masters Level)

• CPS5122 - Princples of Concurrency (Masters Level)

  • Reactive Systems Modelling, Specification and Verification. Luca Aceto, Anna Ingolfsdottir, Kim Guldstrand Larsen and Jiri Srba, ISBN: 9780521875462.

• CPS 3238 - Princples of Programming Languages (Undergraduate and Masters Level)

  • Lecture notes will be provided.

• CPS3239 - Computability and Complexity (Undergraduate and Masters Level)

  • Lecture notes will be provided.

• CPS2005 - Formal Languages and Automata (Undergraduate Level)

  • Introduction to the Theory of Computation. Michael Sipser, ISBN 053494728X.

I also coordinate the the Interruption Club, a research seminar series here at the Computer Science Department, ICT.