Software Science Track

Frits Vaandrager

The Super Power of Software

“It is amazing. I think it is the closest thing we have to super power!”

Drew Houston, creator of Dropbox, on programming

Dutch Research Agenda KNAW

“Willen we in de toekomst nog grotere systemen bouwen, complexer dan de huidige, en tegelijk meer betrouwbaar, dan zal een beter fundamenteel inzicht nodig zijn in vragen rond het ontwerpen, bouwen, onderhouden, analyseren en verbeteren van hard- en software”.

Scientific Questions Studied at ICIS

1. How can we further increase the expressive power of software?

2. How can we ensure correctness of complex software?

3. What are appropriate mathematical models and abstractions to describe and reason about computation?

Software Technology

• Model-Based System Development

• Functional Programming

• Domain Specific Languages

• Practice as Laboratory

Software Analysis

Theory of Computation

Software Science Courses

Mandatory courses

Advanced Programming Testing Techniques Model Checking

Optional Courses

Software Technology/Engineering:

Compiler Construction Design of Embedded Systems System Development Software Security

Computer-Aided Analysis:

Software Analysis Automated Reasoning Proof Assistants

Theory of Computation (at least 1 course):

Type Theory and Coq Semantics and Domain Theory Coalgebra Complexity Theory

Testing Techniques Course

• State-of-the-art testing in industry• Model-based testing• Model learning

Model Checking CourseStudy Theory Model Checking + Application to Real Systems

Example cases:• Datapath of Océ printers• MyriaNed sensornetwork• Tilt-tray sorters of Vanderlande• Device discovery in Bluetooth• 8b/10b coding in Sata• Die Bonder Strip Glue machine at

NXP

10

Research project

• Join one of our research groups

• Join our New Devices Lab

Master Thesis Projects

– Within industry

– Within our institute

– Abroad

Example MSc thesis project: Wouter Smeenk,Learning Model of Engine Status Manager of Océ Printer

Example of MSc project: Wessel van Staal, Agent Based Simulation with iTasks for Navy Patrol Vessels

Job Perspective

Wouter Fides

MatthijsSander

Paul

Martijn

Why Software Science Track in Nijmegen?

• Intellectually challenging subject that underpins technologies of 21st century

• Unique expertise on software technology

• Broad range of software analysis techniques + application down to practical/commercial use in industry

• Unique concentration of researchers working on theory of computation