Presentation is loading. Please wait.

Presentation is loading. Please wait.

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,

Similar presentations


Presentation on theme: "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,"— Presentation transcript:

1 Software Science Track Frits Vaandrager

2 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

3 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”.

4 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?

5 Software Technology Model-Based System Development Functional Programming Domain Specific Languages Practice as Laboratory

6 Software Analysis

7 Theory of Computation

8 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

9 Testing Techniques Course State-of-the-art testing in industry Model-based testing Model learning

10 Model Checking Course Study 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

11 Research project Join one of our research groups Join our New Devices Lab

12 Master Thesis Projects –Within industry –Within our institute –Abroad

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

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

15 Job Perspective WouterFides MatthijsSander Paul Martijn

16 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


Download ppt "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,"

Similar presentations


Ads by Google