Past Seminars

The Lean seminar is addressed to students who wish to master the Lean functional programming language.

The Cyber-security seminar brings together academic and industry folk to discuss hot topics in the field ranging from operating systems, static and dynamic analysis of executables to fraud detection and security centric machine learning techniques.