Software Science Frits Vaandrager. Master Programme in Computing Science 2 years (120 ec), full time four specializations software science MFoCS data.

Slides:



Advertisements
Similar presentations
E-Science Data Information and Knowledge Transformation Thoughts on Education and Training for E-Science Based on edikt project experience Dr. Denise Ecklund.
Advertisements

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,
Which Course? Where Does Your City University Degree Lead? Dr. Sebastian Hunt Associate Dean.
LIFE CYCLE MODELS FORMAL TRANSFORMATION
R R R CSE870: Advanced Software Engineering (Cheng): Intro to Software Engineering1 Advanced Software Engineering Dr. Cheng Overview of Software Engineering.
Software Engineering, COMP201 Slide 1 Software Engineering COMP 201 Lecturer: Dr. Igor Potapov Ashton Building, room 3.15
Software Engineering COMP 201
Computer Science: An Overview Dr. Christian Skalka.
University of Zilina Slovakia. Brief history The University of Zilina was established on October 1, 1953 as the University of Railway Transport in Prague.
On the Correctness of Model Transformations Gabor Karsai ISIS/Vanderbilt University.
Masters in Information Science and Technology (IST) Thesis and Non-Thesis Option (30 Credits)
An Introduction to Software Engineering
Ch.11 Software Engineering A Preview. Ch.12 Outline Definitions of software engineering (SE) Historical origins of SE SE as part of systems engineering.
Learning Sciences and Engineering Professional Master’s Program Ken Koedinger Vincent Aleven Albert Corbett Carolyn Rosé Justine Cassell.
Welcome to USA DAY at University of South Alabama School of Computer and Information Sciences
Do we need theoretical computer science in software engineering curriculum: an experience from Uni Novi Sad Bansko, August 28, 2013.
Welcome to Master Program Computing Science Study advisors: Ad Feelders and Wishnu Prasetya Room {BBL-563,BBL-566} February 4, 2011.
Software Engineering Methodologies (Introduction)
Ciarán O’Leary Wednesday, 23 rd September Ciarán O’Leary School of Computing, Dublin Institute of Technology, Kevin St Research Interests Distributed.
INFSO-SSA International Collaboration to Extend and Advance Grid Education ICEAGE Forum Meeting at EGEE Conference, Geneva Malcolm Atkinson & David.
Objectives of the Lecture
SOFTWARE ENGINEERING Hoang Huu Hanh, Hue University hanh-at-hueuni.edu.vn.
Structure of Study Programmes
Software EngineeringIntroduction Slide 1 Software Engineering Mr. Ahmad Al-Ghoul.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 1 Slide 1 An Introduction to Software Engineering.
Software Science Jan Tretmans. Master Programme in Computing Science 2 years (120 ec), full time four specializations software science MFoCS data sciencecyber.
Overview of the Course Copyright 2003, Keith D. Cooper, Ken Kennedy & Linda Torczon, all rights reserved. Students enrolled in Comp 412 at Rice University.
Master’s programme Game and Media Technology. 10/1/20152 General Information:  Gaming and multimedia are booming industry  Increased use of gaming as.
Introduction to Software Engineering
2-Oct-15 Introduction to SWE1 Introduction to Software Engineering Softwares Importance of SWE Basic SWE Concepts.
CSCI-383 Object-Oriented Programming & Design Lecture 1.
Welcome to Master Program Computing Science Study advisors: Ad Feelders and Wishnu Prasetya Room CGN-{A105,B120} September 3, 2010.
Master Programmes Computing Science & Information Sciences Perry Groot March 2015.
Structure of Study Programmes Bachelor of Computer Science Bachelor of Information Technology Master of Computer Science Master of Information Technology.
‘INFORMATICS & MULTIMEDIA’ Department of Applied Informatics & Multimedia School of Applied Technology TEI-Crete.
Geometric and Visual Computing Proposal for a major/specialization in our Master Programme.
Korea Advanced Institute of Science and Technology, Dept. of EECS, Div. of CS, Information Systems Lab. 1/10 CS204 Course Overview Prof.
MFoCS Mathematical Foundations of Computer Science Tom Heskes and Jasper Derikx.
Software Engineering, COMP201 Slide 1 Introduction to software engineering Lecture 1.
1 Software Engineering Ian Sommerville th edition Instructor: Mrs. Eman ElAjrami University Of Palestine.
Introduction to Software Engineering. Why SE? Software crisis manifested itself in several ways [1]: ◦ Project running over-time. ◦ Project running over-budget.
Model Checking and Model-Based Design Bruce H. Krogh Carnegie Mellon University.
System On Chip Devices for High Performance Computing Design Automation Conference 2015 System On Chip Workshop Noel Wheeler
Master’s Degree in Computer Science. Why? Acquire Credentials Learn Skills –Existing software: Unix, languages,... –General software development techniques.
Department of Computer Science and Automation Indian Institute of Science, Bangalore, India. CSA Research Areas Theoretical Computer Science.
Computing Science & Information Sciences Erik Poll November 2015.
ECE/CS 584: Verification of Embedded Computing Systems Model Checking Timed Automata Sayan Mitra Lecture 09.
Overview of the NIST Engineering Laboratory Dr. Joannie Chin Acting Deputy Director Engineering Laboratory National Institute of Standards and Technology.
Formal Methods. What Are Formal Methods Formal methods refers to a variety of mathematical modeling techniques that are applicable to computer system.
Introductory Lecture. What is Discrete Mathematics? Discrete mathematics is the part of mathematics devoted to the study of discrete (as opposed to continuous)
Computing Science & Information Sciences Erik Poll March 2016.
Advanced Software Engineering Dr. Cheng
Sub-fields of computer science. Sub-fields of computer science.
Join B. Tech Programs (Industry Integrated) in Core Engg. Sector
EE 249 Embedded Systems Design
Computer Science Courses
Postgraduate Research in Edinburgh
Computer, Communication and Information Sciences
Overview of the Course Copyright 2003, Keith D. Cooper, Ken Kennedy & Linda Torczon, all rights reserved. Students enrolled in Comp 412 at Rice University.
The Future of Software Engineering: Tools
Design Thinking for Science Communication
SET seminar (2IS95).
Course Software Testing & Verification 2017/18 Wishnu Prasetya
Computer and Systems Engineering
Computing Science & Information Sciences Master programmes in
Computing Science Information Sciences Master programmes Erik Poll
Dept. of Computation, UMIST
Computer Science Courses in the Major
The Curriculum of the Department of Informatics TEI-A
Presentation transcript:

Software Science Frits Vaandrager

Master Programme in Computing Science 2 years (120 ec), full time four specializations software science MFoCS data sciencecyber security

Super Power “It is amazing. I think it is the closest thing we have to super power!” Drew Houston, creator of Dropbox, on programming

Quality Software 4

Deep Scientific Questions ! How can we control the complexity of software? How can we ensure correctness? x : [0..9] y : [0..9] x : [0..9] y : [0..9] z : [0..9] 10 possible failures 100 possible failures 1000 possible failures

Software Science Research Develop theory, languages and tools that simplify the construction of reliable software systems. Central to research carried out in Nijmegen are models and modeling. We explore the systematic use of models as the primary artifacts throughout the engineering lifecycle of computer-based systems.

7 Models in the Development Process: Validation, Verification, and Testing system model validation (model-based) testing verification informal ideas and docs

8 E-Passport Model

Software Analysis

Software Technology Quest for ever greater abstractions that expand power while simplifying design: Functional/Generic Programming Domain Specific Languages

Joining RU!!

Foundations of Software

Software Metrics

Our Methodology: Practice as Laboratory

Structure of Software Science Programme

Courses in the Software Science Specialization Basic courses Advanced Programming Testing Techniques Model Checking Electives 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: Type Theory and Coq Semantics and Domain Theory Co-algebra Complexity Theory or Computability Theory

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

Model Checking Theory + Application to real systems: Data-path of Océ printers Philips HUE smart lighting Die Bonder Strip Glue machine NXP 18

Research Internship Join one of our research groups Join our New Devices Lab!!

Research Intership Alexander Fedotov Benchmarking of FSM testing algorithms

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 MSc thesis project : Wessel van Staal, Agent Based Simulation with iTasks for Navy Patrol Vessels

Example MSc thesis project : Danny Hendrix, Model-Based Analysis of Indoor Lighting Systems system model validation (model-based) testing verification informal ideas and docs

Job Perspective WouterFides MatthijsSander Paul Martijn

Why Software Science in Nijmegen? Software science underpins technologies of 21st century Unique expertise on software technology Unique range of software analysis techniques + application down to practical/commercial use in industry Leading research on theory of computation See

27 Thank you