eindhoven university of technology · eindhoven, leading in technology / department of mathematics...
TRANSCRIPT
![Page 1: Eindhoven University of Technology · Eindhoven, leading in technology / department of mathematics and computer science PAGE 4 The train station building was built in 1956 by design](https://reader034.vdocuments.net/reader034/viewer/2022050121/5f5120d4c14ae65c0711b102/html5/thumbnails/1.jpg)
Eindhoven University of TechnologyKees van HeeProf of Computer Science former dean of dept Math & Comp. Science
Natalia SidorovaVice-chair of the Comp. Science
March 2011
![Page 2: Eindhoven University of Technology · Eindhoven, leading in technology / department of mathematics and computer science PAGE 4 The train station building was built in 1956 by design](https://reader034.vdocuments.net/reader034/viewer/2022050121/5f5120d4c14ae65c0711b102/html5/thumbnails/2.jpg)
Eindhoven on the map of Europe
/ department of mathematics and computer science PAGE 2
Eindhoven
![Page 3: Eindhoven University of Technology · Eindhoven, leading in technology / department of mathematics and computer science PAGE 4 The train station building was built in 1956 by design](https://reader034.vdocuments.net/reader034/viewer/2022050121/5f5120d4c14ae65c0711b102/html5/thumbnails/3.jpg)
Eindhoven on the map of Benelux
/ department of mathematics and computer science PAGE 3
• Approximately 120 km to Amsterdam,Brussels and Dusseldorf
• 4 hours by train to Paris
• Eindhoven airport provides direct flights to London, Dublin, Rome, Pisa, Barcelona, Prague, Stockholm,etc.
![Page 4: Eindhoven University of Technology · Eindhoven, leading in technology / department of mathematics and computer science PAGE 4 The train station building was built in 1956 by design](https://reader034.vdocuments.net/reader034/viewer/2022050121/5f5120d4c14ae65c0711b102/html5/thumbnails/4.jpg)
Eindhoven, leading in technology
/ department of mathematics and computer science PAGE 4
The train station building was built in 1956 by design of architect Koen van der Gaast and resembles a Philips radio at that time
Eindhoven is again in The Top Seven Intelligent Communities of the Year
Eindhoven region is the industrial heart of the Netherlands.
Philips, ASML, NXP, FEI, DAF, Oce, van der Landen
![Page 5: Eindhoven University of Technology · Eindhoven, leading in technology / department of mathematics and computer science PAGE 4 The train station building was built in 1956 by design](https://reader034.vdocuments.net/reader034/viewer/2022050121/5f5120d4c14ae65c0711b102/html5/thumbnails/5.jpg)
PAGE 5
Education and research in engineering sciences
Architecture, Building and Planning
Chemical Engineering & Chemistry
Applied Physics
Industrial Design
Electrical Engineering
BiomedicalEngineering
Mechanical Engineering
Industrial Engineering & Innovation Sciences
Mathematics & Computer Science
![Page 6: Eindhoven University of Technology · Eindhoven, leading in technology / department of mathematics and computer science PAGE 4 The train station building was built in 1956 by design](https://reader034.vdocuments.net/reader034/viewer/2022050121/5f5120d4c14ae65c0711b102/html5/thumbnails/6.jpg)
engineering (applied)
scie
nce
(fu
nd
am
en
tal)
PhD
PDEngProfesional Doctorate
design oriented
2 yr
4 yr
BSc
MSc
3 yr
2 yr
∼0.5-1 yr
4 yr ‘Professional Bachelor’Polytechnics; Fachhochschule; HBO
Academic Engineer
MSc
BSc
PhD
com
preh
ensi
ve u
nive
rsiti
es
Dutch Education System
PAGE 6
![Page 7: Eindhoven University of Technology · Eindhoven, leading in technology / department of mathematics and computer science PAGE 4 The train station building was built in 1956 by design](https://reader034.vdocuments.net/reader034/viewer/2022050121/5f5120d4c14ae65c0711b102/html5/thumbnails/7.jpg)
PAGE 7
Young, dynamic, personal
• Students• BSc students 5,000• MSc students 2,500 (25% international)• PDEng students 200• PhD students 1,000 (50% international)
• Scientific staff 2,000
Excellent student/staff ratio
![Page 8: Eindhoven University of Technology · Eindhoven, leading in technology / department of mathematics and computer science PAGE 4 The train station building was built in 1956 by design](https://reader034.vdocuments.net/reader034/viewer/2022050121/5f5120d4c14ae65c0711b102/html5/thumbnails/8.jpg)
TU/e: International
• 70 nationalities
• Master programs in English
• Joint programs
• International networks
• High on strategic agenda
8
![Page 9: Eindhoven University of Technology · Eindhoven, leading in technology / department of mathematics and computer science PAGE 4 The train station building was built in 1956 by design](https://reader034.vdocuments.net/reader034/viewer/2022050121/5f5120d4c14ae65c0711b102/html5/thumbnails/9.jpg)
PAGE 9
Top education and research
• Education and research interrelated
• TIMES Higher Education: high on innovation
• TU/e world number 1 in scientific output in cooperation with industry
• TU/e plays in the Champions Leagueof Europe
• Best academic education in the Netherlands
• Strategic areas:• Sustainable Energy• Health Care Technology• Smart Mobility
![Page 10: Eindhoven University of Technology · Eindhoven, leading in technology / department of mathematics and computer science PAGE 4 The train station building was built in 1956 by design](https://reader034.vdocuments.net/reader034/viewer/2022050121/5f5120d4c14ae65c0711b102/html5/thumbnails/10.jpg)
TU/e & industry
• Strong relationship
• Joint research
• Internships for students
PAGE 10
![Page 11: Eindhoven University of Technology · Eindhoven, leading in technology / department of mathematics and computer science PAGE 4 The train station building was built in 1956 by design](https://reader034.vdocuments.net/reader034/viewer/2022050121/5f5120d4c14ae65c0711b102/html5/thumbnails/11.jpg)
Our Turing award winner
• Edsger Dijkstra: Founding father of computing science• Algol 60 / 68• Structured programming (no GoTo’s anymore)• Correctness by construction, program derivation• Concurrency, semaphores• Fastest shortest path algorithm• THE operating system
/ Department of Mathematics and Computer Science PAGE 1116-3-2011
![Page 12: Eindhoven University of Technology · Eindhoven, leading in technology / department of mathematics and computer science PAGE 4 The train station building was built in 1956 by design](https://reader034.vdocuments.net/reader034/viewer/2022050121/5f5120d4c14ae65c0711b102/html5/thumbnails/12.jpg)
A technical university is different…
• Computer science is focussed on system development in the large (toy problems are not enough)
• Our goals:• Design of provable correct and efficient software
systems at industrial scale• Analysis of extremely large data sets (visualisation,
mining)
/ Department of Mathematics and Computer Science PAGE 1216-3-2011
![Page 13: Eindhoven University of Technology · Eindhoven, leading in technology / department of mathematics and computer science PAGE 4 The train station building was built in 1956 by design](https://reader034.vdocuments.net/reader034/viewer/2022050121/5f5120d4c14ae65c0711b102/html5/thumbnails/13.jpg)
CSE tag cloud
/ department of mathematics and computer science PAGE 13
![Page 14: Eindhoven University of Technology · Eindhoven, leading in technology / department of mathematics and computer science PAGE 4 The train station building was built in 1956 by design](https://reader034.vdocuments.net/reader034/viewer/2022050121/5f5120d4c14ae65c0711b102/html5/thumbnails/14.jpg)
Laboratory of the department
• LaQuSo (Laboratory for Quality Software):• verification of software artefacts: requirements, designs,
programs, test data and logs• Specialities:
− Static code analysis− Process analysis (formal verification of behavior and process
mining)
/ Department of Mathematics and Computer Science PAGE 1416-3-2011
![Page 15: Eindhoven University of Technology · Eindhoven, leading in technology / department of mathematics and computer science PAGE 4 The train station building was built in 1956 by design](https://reader034.vdocuments.net/reader034/viewer/2022050121/5f5120d4c14ae65c0711b102/html5/thumbnails/15.jpg)
Specializations
/ department of mathematics and computer science PAGE 15
VISvisualization
ALGalgorithms
Algorithms &Visualization
AISarchitecture
ofinformation
systems
DHdatabases
andhypermedia
Information Systems
SDAsystemdesign
andanalysis
SETsoftware
engineeringand
technology
Model-drivensoftware engineering
SANsystem
architectureand
networking
SECsecurity
Security & EmbeddedNetworked Systems
Computer Science Department
![Page 16: Eindhoven University of Technology · Eindhoven, leading in technology / department of mathematics and computer science PAGE 4 The train station building was built in 1956 by design](https://reader034.vdocuments.net/reader034/viewer/2022050121/5f5120d4c14ae65c0711b102/html5/thumbnails/16.jpg)
Algorithms & Visualization
• Algorithms• computational geometry, I/O-efficient
algorithms, graph drawing, algorithms for GIS and cartography
• Visualization• computer graphics, Information
visualization, Scientific visualization, 3D interaction and virtual reality
/ department of mathematics and computer science PAGE 16
![Page 17: Eindhoven University of Technology · Eindhoven, leading in technology / department of mathematics and computer science PAGE 4 The train station building was built in 1956 by design](https://reader034.vdocuments.net/reader034/viewer/2022050121/5f5120d4c14ae65c0711b102/html5/thumbnails/17.jpg)
Information Systems
• Architecture of Information Systems• methods, techniques, and tools for design
and analysis of process-aware information systems
• Databases and Hypermedia• management of semi-structured/semantically
linked data, data mining, personalization and adaptive information delivery
/ department of mathematics and computer science PAGE 17
![Page 18: Eindhoven University of Technology · Eindhoven, leading in technology / department of mathematics and computer science PAGE 4 The train station building was built in 1956 by design](https://reader034.vdocuments.net/reader034/viewer/2022050121/5f5120d4c14ae65c0711b102/html5/thumbnails/18.jpg)
Model-driven Software Engineering
• System Design and Analysis• techniques to model and analyze
discrete system behavior, design reliable software-based systems
• Software Engineering and Technology• theory, methods, and tools for model-
driven software engineering, verified software engineering
/ department of mathematics and computer science PAGE 18
![Page 19: Eindhoven University of Technology · Eindhoven, leading in technology / department of mathematics and computer science PAGE 4 The train station building was built in 1956 by design](https://reader034.vdocuments.net/reader034/viewer/2022050121/5f5120d4c14ae65c0711b102/html5/thumbnails/19.jpg)
Security and Embedded Networked Systems
• Security• security-policy specification and
enforcement, security of embedded systems
• System Architecture and Networking• cooperative distributed systems,
predictable platforms, embedded computations
/ department of mathematics and computer science PAGE 19
![Page 20: Eindhoven University of Technology · Eindhoven, leading in technology / department of mathematics and computer science PAGE 4 The train station building was built in 1956 by design](https://reader034.vdocuments.net/reader034/viewer/2022050121/5f5120d4c14ae65c0711b102/html5/thumbnails/20.jpg)
Program structure double Master (120 credits)
/ department of mathematics and computer science PAGE 20
Year 1
Year 2
Semester 1
Semester 2
Semester 1
Semester 2
CSE master program
Moscow, HSE2 courses of TU/e with video-lectures
1 seminar + 2 core courses + 3 electives
Master thesis project (in a company)
![Page 21: Eindhoven University of Technology · Eindhoven, leading in technology / department of mathematics and computer science PAGE 4 The train station building was built in 1956 by design](https://reader034.vdocuments.net/reader034/viewer/2022050121/5f5120d4c14ae65c0711b102/html5/thumbnails/21.jpg)
Courses TU/e
• Video-lectures in year 1• Advanced databases • Business process management systems
• 2 core courses in year 2: select from• Advanced algorithms• Real-time embedded systems• Generic language technology• Visualization• System validation
• Each research area is covered in a seminar. Choose one!
21
![Page 22: Eindhoven University of Technology · Eindhoven, leading in technology / department of mathematics and computer science PAGE 4 The train station building was built in 1956 by design](https://reader034.vdocuments.net/reader034/viewer/2022050121/5f5120d4c14ae65c0711b102/html5/thumbnails/22.jpg)
Electives
• Metamodeling and interoperability
• Information retrieval• Adaptive systems• Formal modeling in cell biology• Web information systems• Architecture of distributed
systems• Constraint programming• Advanced algorithms
• Real-time systems• Generic language technology• Distributed trust management• Additional component computer
graphics• Visualization• System validation • Algorithms for model checking
22
![Page 23: Eindhoven University of Technology · Eindhoven, leading in technology / department of mathematics and computer science PAGE 4 The train station building was built in 1956 by design](https://reader034.vdocuments.net/reader034/viewer/2022050121/5f5120d4c14ae65c0711b102/html5/thumbnails/23.jpg)
Scholarships
• 17000 Euro for a year• Covers the tution fee and basic living costs• TU/e arranges a visa, helps with housing and other
organisational issues
• Scholarships are funded by companies• Your Master project will be at a funding company• You are to stay 3 years after your graduation to work at a
company (for a market-conform salary)
• You build an international network and working experience!
23
![Page 24: Eindhoven University of Technology · Eindhoven, leading in technology / department of mathematics and computer science PAGE 4 The train station building was built in 1956 by design](https://reader034.vdocuments.net/reader034/viewer/2022050121/5f5120d4c14ae65c0711b102/html5/thumbnails/24.jpg)
Requirements
• Proof of having a cumulative grade point average (CGPA) of 80% or higher
• An original Academic IELTS score of at least 6.5 on average OR TOEFL scores of at least 90 (Internet-based), 232 (computer-based). The TU/e does not accept paper-based TOEFL test scores. Students can arrange for their TOEFL results to be sent to the TU/e directly by using the TU/e university code number 8615. ORUniversity of Cambridge Certificate of Proficiency in English (CPE) grade A/B/C.
24
![Page 25: Eindhoven University of Technology · Eindhoven, leading in technology / department of mathematics and computer science PAGE 4 The train station building was built in 1956 by design](https://reader034.vdocuments.net/reader034/viewer/2022050121/5f5120d4c14ae65c0711b102/html5/thumbnails/25.jpg)
Conclusion
• Young, dynamic, personal
• Top education and research
• Close cooperation with industry
• International
25