Teaching

Informatica (2023/24)

Formal Techniques for Cryptographic Protocol Analysis (2023/24)

Strumenti Informatici per la Matematica (2023/24)

Previous Teaching

Formal Techniques for Cryptographic Protocol Analysis (2022/23)

Strumenti Informatici per la Matematica (2022/23)

Informatica (2021/22)

Formal Techniques for Cryptographic Protocol Analysis (2021/22)

Type Theory (2021/22)

Informatica (2020/21)

Formal Techniques for Cryptographic Protocol Analysis (2020/21)

Informatica (2019/20)

Formal Techniques for Cryptographic Protocol Analysis (2019/20)

Type Theory (2019/20)

Informatica (2018/19)

Formal Techniques for Cryptographic Protocol Analysis (2018/19)

Type Theory (2017/18)

Formal Techniques for Cryptographic Protocol Analysis (2017/18)

Informatica (2017/18)

Type Theory (2016/17)

Formal Techniques for Cryptographic Protocol Analysis (2016/17)

Informatica (2016/17)

Formal Techniques for Cryptographic Protocol Analysis (2015/16)

Informatica (2015/16)

Formal Techniques for Cryptographic Protocol Analysis (2014/15)

Informatica (2014/15)

Formal Techniques for Cryptographic Protocol Analysis (2013/14)

Informatica (2013/14)

Computability (2015 Jan/Feb sessions)

Computability (2013/14)

Simulation of Biological Systems (2012/13)

Computability (2012/13)

Simulation of Biological Systems (2011/12)

Computability (2011/12)

Simulation of Biological Systems (2010/11)

Computability (2010/11)

Computability September 2010 Exam Session

Linguaggi di Programmazione: Semantica (2009/10)

Simulation of Biological Systems (2009/10)

Computability (2008/09)

Home

Roberto Zunino, 2019