Teaching (2010/2011) | FDS Research Group

department of informatics

FDS

Teaching (2010/2011)

BSc

IN.2010/IN.0211 Project: Process Control
IN.5011 Telecommunications
IN.6011 Formal Methods (starts on 2 March 2010)

MSc

IN.7000/IN.8000 Seminar: Applied Cryptograhy
IN.7503 Verification and Model Checking
IN.8502 Automata on Infinite Structures

Research Seminar

tns Research Seminar