PhD Defence Sung-Shik T.Q. Jongmans (FM)

Everybody is welcome to attend the public defense of Sung-Shik Jongmans of his thesis 'Automata-Theoretic Protocol Programming'. Promotor: Prof.dr. Farhad Arbab
  • What Formal Methods
  • When 03-03-2016 from 14:00 to 16:00 (Europe/Amsterdam / UTC100)
  • Where Academiegebouw, Rapenburg 67-73 te Leiden
  • Add event to calendar iCal

Everybody is welcome to attend the public defense of Sung-Shik Jongmans of his thesis 'Automata-Theoretic Protocol Programming'.

Promotor: Prof.dr. Farhad Arbab