Graduate Courses in Computer Science and Systems

The graduate programme in computer science and systems is based on a selection of core graduate courses that are offered regularly.

• Computer Communication - Contact: Per Gunningberg
• Advanced Computer Architechtures - Contact: Erik Hagersten
• Verification Techniques - Contact: Bengt Jonsson
• Machine Learning - Contact: Olle Gällmo
• Principles of Database Systems - Contact: Tore Risch
• Modeling and Verification of Timed Systems - Contact: Wang Yi