Software Science Track Frits Vaandrager
Mar 31, 2015
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