Research Interests, Students and Teaching

 

interests:

Here is my research statement.



Professional activity:

  1. Organiser: PRISC’18, 1st Secure Compilation Meeting (with POPL’17), Dagstuhl seminar on secure compilation (co-organiser)

  2. PC: SAC’18, SAC’17, FCS’16, SAC’16, SAC’15, ICCSW’14

  3. External/sub reviewer: POPL’16, CSF’15, Elsevier’s COMLAN,

    FOCLASA’14, GPCE’14, Scientific World Journal, IFM’13, FSEN’13,            

    ESOP’12, IWACO’11



PhD students

2017-: Akram El-Korashy (@MPI-SWS), co-supervised with Deepak Garg



Master students

2015-2016: Akram El-Korashy (@MPI-SWS)

2013-2014: Matthias van der Hallen (@ KU Leuven)

2012-2013: Pieter van Geel (@ KU Leuven)




Teaching & Teaching assistance:

2017-2018.

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

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


2016-2017. (@ MPI-SWS & UdS) -- not issued --

Language Techniques for Secure Compilation (Co-instructor with Deepak Garg) [ site ]


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)