Master Theses

--- Master theses are available upon request, contact me in case you are interested in a master thesis on programming languages and security --

Teaching:

2019-2020.

Spring quarter: Secure Compilation ([ cs350 ] @ Stanford)

Winter quarter: Programming Language Foundations ([ cs358 ] @ Stanford)

2018-2019.

Summer semester: Secure Compilation Seminar ([ site ] @ UdS & CISPA)

1. •Slides: intro [ .pdf ], fa [ .pdf ], rc [ .pdf ], notes [ .pdf ]
   

Spring quarter: Programming Language Foundations ([ cs358 ] @ Stanford)

Winter quarter: Secure Compilation ([ cs350 ] @ Stanford)

2017-2018.

Summer semester: Secure Compilation Seminar [ site link ] (@UdS & CISPA);

1. •Slides: Lecture 1, Lecture 4, Lecture 6
   

Cispa conference seminar topic supervisor [ site link ] (@ UdS & CISPA);

Seminar lecture on Secure Compilation [ slides ] (@ UniBo)

2016-2017.

Language Techniques for Secure Compilation (Co-instructor with Deepak Garg) [ site ] (@ MPI-SWS & UdS) -- not issued --

2014-2015. (@ KUL)

P&O (TA + organisation) [ git slides ] ;

Comparative Programming Languages (TA) [ Erlang slides + assignment ]

2013-2014. (@ KUL)

P&O (TA) ;

Comparative Programming Languages (TA) [ Erlang slides ]

2012-2013. (@ KUL)

Fundamentals of computer science (TA) [ graph theory slide ] ;

Comparative Programming Languages (TA)

2011-2012. (@ KUL)

Fundamentals of computer science (TA + few lectures) ; OGP (TA) ;

Comparative Programming Languages (TA) [ functional programming slides ]

2010-2011. (@ KUL)

Fundamentals of computer science (TA)