M - Fachgruppe Informatik an der RWTH Aachen

Transcription

Presentation of
Courses in
Computer Science
Summer Term 2013
Presentation of Courses SS13
• Overview of all elective courses
for Bachelor / Master
• Sorted according to 4 areas of Computer Science
1.
2.
3.
4.
Theoretische Informatik
Software & Kommunikation
Daten- & Informationsmgmt.
Angewandte Informatik
(Theoretical Computer Science)
(Software & Communication)
(Data- & Information-Management)
(Applied Computer Science)
• Transition slides contain key information about
courses (title, room, time schedule)
• Labels:
B
Bachelor
M
Master
Presentation Rules
• Each professor gets 2 minutes
• Slide presentation proceeds automatically
• Acceleration is possible, slowing down is not
• Next professor takes over during transition slide
(which are shown for 15 seconds)
Bereich 1:
Bereich 1: Theoretische Informatik
LuFG Informatik 1
Prof. Dr. Peter Rossmanith
Parameterized Algorithms (V4 Ü2, 8ECTS)
V:
Start:
Mo. 10:00 – 11:30
Do. 11:30 – 13:00
15.04.2013
5055
5055
M
Algorithmen und Komplexität
Lehrstuhl Informatik 1
Prof. Dr. Berthold Vöcking, PD Dr. Walter Unger
Algorithmic Graph Theory (V3 Ü2, 6 ECTS)
V:
Do. 10:00 – 11:30 AH I
Fr.
11:45 – 13:15 AH III
Start: 11.04.2013
M
Effiziente Algorithmen (V3 Ü2, 6 ECTS)
V:
Di.
10:00 – 11:30 AH III
Fr.
10:00 – 11:30 AH III
Start: 19.04.2013
B
Softwaremodellierung und Verifikation
Prof. Dr. Ir. Joost-Pieter Katoen, PD Dr. Thomas Noll
Semantik und Verifikation von Software (V3 Ü2, 6 ECTS)
V:
Mi. 10:00 – 11:30 AH VI
Do. 15:00 – 16:30 AH V
Ü:
Mo. 10:00 – 11:30 AH II
Start: 10.04.2013
M
Programmiersprachen und Verifikation
LuFG Informatik 2
Prof. Dr. Jürgen Giesl
Logic Programming (V3 Ü2, 6 ECTS)
V:
Mo. 16:45 – 17:15
Fr. 10:00 – 11:30
Ü:
Mi. 11:45 – 13:15
Start: 12.04.2013
AH III
AH II
AH II
B M
Imperative Program
Logic Program
 program = sequence of
instructions
 program = knowledge base
 specifies what should be
computed,
how it is computed
not
len([], 0).
len([HD|TL], N): -len(TL, M),
N is M + 1.
?- len([15,70,36], P).
P = 3
Advantages
 shorter and clearer programs
 fast development
 especially suitable for AI
Imperative Program
Logic Program
 program = sequence of instructions
 program = knowledge base
 specifies what should be
computed,
how it is computed
class List {
int hd; List tl;
len([], 0).
int len ()
{
len([HD|TL], N): -len(TL, M),
N is M + 1.
List x = this;
int n = 0;
while (x != null)
?- len([15,70,36], P).
{
x = x.tl;
n = n + 1;
return n;
}
}
not
P = 3
Advantages
}
 shorter and clearer programs
 fast development
 especially suitable for AI
Logic Programming
Lecture
Exercise
Mon
15:45 - 17:15
AH 3
Fri
10:00 - 11:30
AH 2
Wed
11:45 - 13:15
AH 2
Prof. Dr. Jürgen Giesl
Bachelor:
Wahlpflicht Theorie
V3 + U2
Master Informatik:
Theorie
V3 + U2
Master SSE:
Theory (Core Subjects) /
Area of Specialization
V3 + U2
Begin:
Friday, April 12
Theorie Hybrider Systeme
Nachwuchsgruppe Informatik 2
Prof. Dr. Erika Ábrahám
Modellierung und Analyse hybrider Systeme (V3 Ü1, 6 ECTS)
V/Ü: Di. 13:15 – 15:00
Fr. 13:25 – 14:45
Start: 09.04.2013
5056
5056
B M
Hybrid in computer science :
discrete
continuous
f(t)
+
t
The discrete part
Combined with the continuous part
Contents:
●
Modeling
●
Analysis
●
Applications
Logik und Theorie diskreter Systeme
Prof. Dr. Martin Grohe, PD Dr. Christof Löding
Angewandte Automatentheorie (V3 Ü2, 6 ECTS)
V:
Mo. 14:15 – 15:45 AH II
Mi. 09:00 – 09:45 AH V
Ü:
Mi. 13:30 – 15:00 AH IV
Start: 10.04.2013
Theory of Constraint Satisfaction Problems (V2 Ü1, 4 ECTS)
V:
Mo. 09:15 – 10:45 Sem. I7
Ü:
Do. 09:00 – 10:45 Sem. I
Start: 14.04.2013
B M
M
Prof. Dr. Martin Grohe
Research areas: o Logic in Computer Science
o Algorithms and Complexity
o Graph Theory
o Database Theory
Office hour:
Mon 14:00 – 15:00 h
URL: http://www.automata.rwth-aachen.de
Applied Automata Theory (C. Löding)
V3 Mon, 14:15 – 15:45, AH II;
Wed, 09:00 – 09:45, AH V
Ü2 Wed , 13:30 – 15:00, AH IV
Begin:
Wed, 10th April 2013
09:00 h, AH V
Keywords: • Minimization of automata
• Weighted automata, probablistic automata
• Automata and logic
• Pushdown-systems
• Undecidable problems in automata theory
• Petri nets
Theory of Constraint Satisfaction Problems
Master Course (V2+Ü1)
o Constraint Satisfaction Problems
(CSPs) give a general framework
for modeling computational
problems
o Topic of the course are algorithms
for and the complexity of CSPs.
o Wide range of methods from
different areas of theoretical
computer science and
mathematics
Mathematische Grundlagen der Informatik
LuFG Informatik 7
Prof. Dr. Erich Grädel
Logik und Spiele (V4 Ü2, 9 ECTS)
V:
Mo. 11:45 – 13:15
Fr. 10:00 – 11:30
Ü:
Mi. 14:15 – 15:45
Start: 12.04.2013
AH I
AH I
AH I
M
Research Topics:
 Logic
 Game Theory
 Complexity Theory
Lectures:
 Mathematical Logic I and II
 Logic and Games
 Algorithmic Model Theory
More information:
http://logic.rwth-aachen.de/
Logic and Games (V4, Ü2)‫‏‬
Lecture: Start 12.4.
Tutorial: Start 24.4.
Mon 11:45 – 13:15, AH I
Wed 14:15 – 15:45, AH I
Fri 10:00 – 11:30, AH I
Content:
 fundamental aspects of classical game theory
 finite and infinite games
 model-checking games
 determinacy of games
 complexity and definability of winning regions
 multi-player games
More Information:
http://logic.rwth-aachen.de/Teaching/LS-SS13/
Bereich 2:
Software und
Kommunikation
Bereich 2: Software und Kommunikation
Software Engineering
Prof. Dr. Bernhard Rumpe, Prof. Dr. Manfred Nagl, Dr. Stefan Kriebel
Generative Softwareentwicklung (V3 Ü2, 6 ECTS)
V:
Block course at the end of semester
M
Prozesse und Methoden beim Testen von Software (V1 Ü1, 3 ECTS)
V:
Block course 13.06. – 14.06.2013
Die Softwaretechnik-Programmiersprache Ada95 (V2, 3 ECTS)
V:
Block course: September or October 2013
M
B M
Prof. Dr. B. Rumpe
Lehrstuhl für
offers two lectures
RWTH Aachen
Seite 31
Identifying…
methods, concepts, tools and infrastructures for
• developing software systems better and faster,
• in order to achieve a high quality product
• in less time while
• incorporating constantly changing requirements in an agile way.
(Mission-Statement)
 TBA: Generative Software Engineering
•
•
•
(3VL + 2Ü, 6 ECTS)
(Prof. B. Rumpe)
(planned) Block Course at the end of the semester
See announcements on the website
Prof. Dr. B. Rumpe
Lehrstuhl für
offers two lectures
RWTH Aachen
Seite 32
 Prozesse und Methoden beim Testen von Software
•
(2VL, 3 ECTS)
(Dr. Stefan Kriebel, BMW Abteilungsleiter Entwicklung/
Elektronik Fahrassistenz)
• Industrielles Software/Systems Engineering
• Know-How-Transfer aus der Industrie
• Certified Tester – Foundation Level
(iSQI / GermanTestingBoard) möglich
 Die Softwaretechnik-Programmiersprache Ada95 (3VL + 2Ü, 6ECTS)
•
(Prof. M. Nagl)
• integrierender Ansatz (funktionsorientiert, Schichtung,
Datenabstraktion, OO)
• Qualitätseigenschaften aus der Architektur ablesen
 weitere Informationen und Termine:
http://www.se-rwth.de/
Software-Konstruktion
LuFG Informatik 3
Prof. Dr. Horst Lichter
Software-Qualitätssicherung (V3 Ü2, 6 ECTS)
V:
Do 11:45 - 13:15 AH I
Fr 08:15 - 09:45 AH II
Ü:
Do 13:30 - 15:00 5056
Start: 11.04.2013
Software-Projektmanagement (V2, 4 ECTS)
V:
Mi 08:15 - 09:45 AH II
Do 08:15 - 09:45 AH III
Start: 10.04.2013
B M
M
Software Project Management
Software Project Management
Earned Value Analysis
Software Quality Assurance
Software Quality Assurance
Kommunikation und Verteilte Systeme
Prof. Dr. Klaus Wehrle
Mobile Internet Technology (V3 Ü1, 6 ECTS)
V:
Di. 10:00 – 11:30 AH 1
Do. 11:45 – 13:15 AH 6
Ü:
Di. 11:45 – 13:15 AH 1 (biweekly)
Start: 09.04.2013
Security in the Internet of Things (MSc Inf./SSE/MI)
Compact course on 7th / 8th & 28th / 29th May
Exact times announced later
B M
M
Teaching Agenda at COMSYS
Advanced
Internet
Technology
BSc
Wahlpflichtfach
Mobile Internet
Technology
Research Focus
Communication
Class on
Systems
Communication
Concepts
Systems
BSc
Wahlpflichtfach
Application-driven
Multimedia
Internet
Technology
Communication &
Distributed
Systems
Winter Term
Summer Term
40
Mobile Internet Technology
 Content of the lecture (3+1 SWS)
 Basics of wireless communication
 Wireless networking
 Data networks: WiFi
 Telecomm. networks: GSM/UMTS/LTE
 Mobility and Internet protocols
 Mobile IP, HIP
 TCP adaptations
Lecture: Mobile Internet Technology
- First lecture on April 9th
- Bachelor & Master
Communication &
Distributed
Systems
41
Security in the Internet of Things
 Content of the lecture (1 SWS)
 Security fundamentals, IoT definition
 Special security techniques: key agreement, broadcast
authentication, group key management, access control
 Security protocols & security architecture for the IoT
Gateway
?
Sensor
?
Conventional
IP protocols
Compact
course
Specialized
th / 8th and 28th / 29th May
- 7protocols
- Exact room and times announced later
Backend/Cloud
- In case of interest, register with L2P to get announced
?
?
Service
Gateway
Communication &
Distributed
Systems
42
Software für eingebettete Systeme
Prof. Dr. Stefan Kowalewski
Einführung in eingebettete Systeme (V3 Ü1, 6 ECTS)
V:
Mi. 10:00 – 11:30
V+Ü: Do. 13:30 – 15:00
Start: 10.04.2013
AH III
AH III
B M
Sicherheit und Zuverlässigkeit softwaregesteuerter Systeme (V3 Ü1, 6 ECTS)
V:
Di. 15:45 – 17:15
V+Ü: Fr. 14:45 – 16:15
Start: 12.04.2013
AH III
AH III
M
i11 – Embedded Software
Prof. Dr.-Ing. Stefan Kowalewski
45
Course Schedule
Winter 2013/14
Dynamische Systeme
für Informatiker
Summer 2013
(Introduction to)
Embedded Systems
Winter 2012/13
Dynamische Systeme
für Informatiker
Summer 2012
(Introduction to)
Embedded Systems
46
Safety & Reliability
Safety & Reliability
(Introduction to) Embedded Systems
 Language: German
•
•
V3/Ü1, 6 ECTS
Appointments:
- Wednesday, 10:00 - 11:30, AH III (2350|314.1)
- Thursday,
13:30 - 15:00, AH III (2350|314.1)
 Contents:
- Microcontroller
- Programmable logic controllers (PLCs)
- PLC programming languages
- Android
- Data buses
- Real-time requirements and operating systems
- Characteristics of embedded software design
 First lecture: 10.04.2013
47
Safety and Reliability of Software-Controlled Systems
 Language: English
•
•
V3/Ü1, 6 ECTS
Appointments:
- Tuesday, 15:45 - 17:15, AH III (2350|314.1)
- Friday,
14:45 - 16:15, AH III (2350|314.1)
 Contents:
- Design and analysis methods for reliability/safety of embedded
systems
- Reliability/safety modelling
- Reliability/safety metrics and analysis
- Software failure
- Mechanisms for HW/SW fault tolerance
- Risk analysis, risk acceptance principles
- Safety-related standards
 First lecture: 12.04.2013
48
Student Competitions
Carolo Cup 2014
IMAV





Autonomous model car (1:10)
Software and hardware development
Autonomous driving / parking
Driving around obstacles



Requirement: build a complete MAV
on your own
Goal: MAV has to pass different
missions autonomously
RWTH participates with team
MAVerix
Contact: Florian Göbe
[email protected]

Contact: Christian Dernehl
[email protected]
49
Bereich 3:
Daten- und
Informationsmanagement
Bereich 3: Daten- und Informationsmanagement
Wissensbasierte Systeme
LuFG Informatik 5
Prof. Gerhard Lakemeyer, Ph.D.
Introduction to Knowledge Representation (VÜ3, 6 ECTS)
V:
Mo. 11:45 – 13:15
Mi. 08:15 – 09:45
Ü:
Mi. 15:15 – 16:45
Start: 15.04.2013
AH IV
AH IV
AH III
B M
Research at KBSG
• Knowledge Representation (KR)
Representation and Inference,
especially in dynamic settings
(actions and their effects)
• Cognitive Robotics
High-level control of mobile robots
using methods from KR
Applications: E.g. Service robots, logistics
Knowledge Representation
• Introduces basic methods of knowledge
representation:
first-order logic, procedural control, description logics,
rule-based systems, answer-set programming, default
reasoning, diagnosis, reasoning about action, planning
• Prerequisites: mathematical logic.
• Lectures start April 15.
Frauenhofer Institut für Angewandte
Informationstechnik (FIT)
Prof. Dr. Matthias Jarke, Prof. Dr. Wolfgang Prinz, Prof. Dr. Thomas Rose
Informationsmanagement für öffentliche Mobilitätsangebote
V:
Blockveranstaltung 19.07 – 15.09
M
Computer Supported Cooperative Work (CSCW) (V2 Ü1, 4 ECTS)
V:
Mi.
13:00 – 14:30 Seminarraum I5
Start: 10.04.2013
M
Prozess Management (V2 Ü1, 4 ECTS)
V:
Mi.
10:00 – 11:30 Seminarraum I5
Ü:
Mi.
11:30 – 13:00 Seminarraum I5 (14 tgl.)
Start: 17.04.2013
M
Informatik 5
Information Systems & Databases
Large-Scale Heterogeneous
Information Integration
• Games and Social Software
for Societal Challenges
Social
• Integration Infrastructures
Cloud
Mobile
• Formal Models &
Methods for Integration
Streams
Real-Time
Multimedia
Web Services
Data Sources
Cooperative
Cars
User
DSMS
Floating Phone
Data
Aggregation & Integration
Other
Other consumers
Query Translator
Data Mining
Queue-end
Detection
Traffic
Message
Interactive Query
Interface
Data Quality
Assessment
Stationary
Detection
Traffic State
Estimation
Peer P2
Export
Peer P1
Peer P5
Historical
Data
Spatial
Data
Peer P3
Peer P4
Fraunhofer Institute for
Applied Information Technology FIT
Life Science Informatics (Prof. Dr. T. Berlage)
–
–
–
–
High content analysis and software-intensive instruments
Biomolecular optical systems
Intra-operative molecular diagnostics
Adaptive scanning in automated microscopy
Cooperation Systems (Prof. W. Prinz, PhD)
–
–
–
–
Computer supported cooperative work
Social computing in business communication
Personalized and collaborative learning environments
Mixed and augmented reality solutions
Media Informatics / Media Processes (Prof. Dr. T. Rose)
– IT support for emergency management
– Impact assessment of financial legislation
– Sustainable financial information management
Process Management
(V2/Ü1, Rose)
Master
Lecture:
Wednesdays, 10:00 – 11:30 (start: April 17)
Exercises:
Wednesdays, 11:30 – 13:00 (bi-weekly, start: April 24)
Room 6202 (seminar room Informatik 5)
• Process management requirements,
concepts and approaches
• Process planning tools, execution
support and exchange standards
• Customisation concepts
• Ad-hoc and emergent workflows
Computer Supported
Cooperative Work (CSCW)
(V2/Ü1, Prinz)
Master
Lecture: Wednesdays, 13:00 – 14:30 (Seminar room I5, start: April 10)
Topics
• Video Conferencing & Media Spaces
• Synchronous Cooperation & Shared Applications
• Shared Information Spaces & Document Management
• Workflow Management
• Social Media
You will learn
• Approaches to support human cooperation
• Concepts for the design and development of cooperation
systems
• Application of Groupware in Organisations
Lectures @ B-IT
• Process Management (Rose)
Mondays, 9.30-12.30
• Semiotics and Embodied Cognition in the
Digital Age (Evola/Jarke)
Wednesdays, 17.00-19.15
• Information Management for Public
Mobility Systems (Krempels/Jarke)
Block lecture during summer break
Datenmanagement und -exploration
Prof. Dr. Thomas Seidl
Data Mining Algorithms II (V3 Ü2, 6 ECTS)
V:
:
Ü:
Start:
Di. 13:30 – 15:00
Do. 13:30 – 14:15
D0. 14:15 – 15:45
11.04.2013
AH VI
AH VI
AH VI
M
winter
•
Data Mining Algorithms I (V3Ü2)
– How to turn 'just data' into knowledge?
– How to do market basket analysis, frequent pattern mining, …?
• Data Mining Algorithms II (V3Ü2)
– How to find patterns in multivariate observations?
summer
• Mining high-dimensional data: subspace clustering, outlier detection
– How to identify groups in social networks?
• Graph mining, network data analysis
– How to find patterns in evolving data streams?
• Stream data mining: anytime classification, clustering, concept drift detection
winter
– Lectures Tue 13:30–15:00 + Thu 13:30–14:15, Tutorials Thu 14:15–15:45
•
Content-Based Multimedia Search (V3Ü2)
– How to model similarity of images, shapes, time series?
– How to speed up multimedia retrieval?
Computerunterstütztes Lernen
LuFG Informatik 9
Prof. Dr. Ulrik Schroeder
eLearning (V3 Ü2, 6 ECTS)
V:
Di. 15:00 – 16:30
:
Do. 10:00 – 11:30
Start: 16.04.2013
5056
5056
M
Bereich 4:
Angewandte Informatik
Bereich 4: Angewandte Informatik
Sprachverarbeitung und Mustererkennung
Prof. Dr. Hermann Ney
No elective courses in SS 13
Computergrafik und Multimedia
Prof. Dr. Leif Kobbelt
Globale Beleuchtung und Image-based Rendering (V3 Ü2, 6 ECTS)
V:
Di. 10:00 – 11:30
AH V
Fr. 10:00 – 11:30
AH V (14-tgl.)
Ü:
Do. 14:00 – 15:30
AH IV
Start: 16.04.2013
Geometrieverarbeitung (V3 Ü2, 6 ECTS)
V:
Do. 10:00 – 11:30
AH V
Fr. 10:00 – 11:30
AH V (14-tgl.)
Ü:
Mi. 10:00 – 11:30
5054
Start: 14.04.2013
M
M
Computer Graphics
• what is it good for?
• which problem is being solved?
Computer Graphics Group
Leif Kobbelt
Computer Graphics
Leif Kobbelt
Computer Graphics
Leif Kobbelt
Computer Graphics
Leif Kobbelt
Courses Offered in SS2012
• Geometry Processing (V3Ü2)
• Global Illumination (V3Ü2)
Leif Kobbelt
Leif Kobbelt
Smoothing Noisy Data
Leif Kobbelt
Reducing Data Complexity
50.000 Triangles
10.000 Triangles
1.000 Triangles
Leif Kobbelt
Parametrization
Leif Kobbelt
Quad-Remeshing
Leif Kobbelt
Leif Kobbelt
Global Illumination
• photorealistic rendering of virtual scenes
• reflection, scattering, soft shadows, ...
• the rendering equation
Leif Kobbelt
Global Illumination
Leif Kobbelt
Leif Kobbelt
Image-Based Rendering
Leif Kobbelt
Leif Kobbelt
Mobile Multimedia Processing
Prof. Dr. Bastian Leibe
Sabbatical term
M
Medieninformatik
Prof. Dr. Jan Borchers
Designing Interactive Systems II (V3 Ü2, 6 ECTS )
V:
Mo 14:15 - 15:45 Raum 2222
Mi 09:00 - 12:00 Raum 2222
Start: 10.04.2013
Current Topics in Media Computing and HCI (V2 Ü3, 6 ECTS)
V/Ü: Di 10:00 - 11:30 Raum 2222
Mi 13:00 - 14:30 Raum 2222
Start: 09.04.2013
M
M
media
computing
group
i10: Media Computing and
Human–Computer Interaction
Prof. Dr. Jan Borchers
Summer Semester 2013
WS
Lecture: Designing Interactive Systems I
Number SWS: V4 + Ü2 OR V4 + Ü1 = ECTS Credits: 8 OR 6
WS
Lecture: iPhone Application Programming
ECTS Credits: 3 for the lecture, 6 for the lecture and the lab
WS Lab: Multimodal Media Madness
WS Seminar: Post-Desktop User Interfaces
Lecture: Designing Interactive Systems II
Start:
SS 10.04.2013
V3Ü2 / 6 Credits
Lecture: Current Topics in HCI
Start:
SS 09.04.2013
Prof. Jan Borchers • Summer Semester 2013
V3Ü2 / 6 Credits
92
media
computing
group
Designing
Interactive
Systems II
93
media
computing
group
Current Topics
in HCI
94
media
computing
group
Projects
95
media
computing
group
Software and Tools for Computational Engineering
LuFG Informatik 12
Prof. Dr. Uwe Naumann
Kombinatorische Probleme im Wissenschaftlichen Rechnen (V2 Ü2, 4 ECTS)
V:
Di. 13:30 – 15:00
Ü:
Mi. 13:00 – 14:30
Start: 09.04.2013
5052
5052
M
Combinatorial Problems in Scientific Computing
Image Credit: Tim Davis / Yifan Hu

V2 / Ü2, M. Sc.

Tue,
13:30 -
15:00
2356|052 (5052) (Lecture)

Wed,
13:00 -
14:30
2356|052 (5052) (Tutorial)
Combinatorial Problems in Scientific Computing
Image Credit: Tim Davis / Yifan Hu




Matrix Dimension 50k x 50k
350k Nonzeros
→ only 0.1% of entries filled
Sparsity can and must be exploited!
Graph Coloring Problems
Matrix Representation:
Column Incidence Graph:
Virtual Reality Group
Prof. Dr. Torsten Kuhlen
No elective courses in SS 13
Lehrstuhl für High Performance Computing
Informatik 12
Prof. Dr. Matthias Müller
Einführung in High-Performance Computing (V3 Ü1, 6 ECTS)
V:
Di. 11:45 – 13:15
Do. 11:45 – 12:30
Ü
Do. 12:30 – 13:15
Start: 09.04.2013
MeT P 11
MeT P 11
MeT P 11
B M
Prof. Dr. Matthias Müller
Chair of High Performance Computing
(Informatik 12)
Center for Computing and Communication
(Rechen und Kommunikationszentrum)
[email protected]
Chair of HPC - Informatik 12
 Head: Prof. Matthias Müller
 Website: www.hpc.rwth-aachen.de
 Research Focuses:
 Parallel Programming Paradigms
 Energy Efficiency
 Correctness Checking
 Performance Analysis
 Teaching Events:
 Lecture: Introduction to High Performance Computing
 Software Lab for Bachelor Students:
“Parallel Programming Models for Applications in the Area of HPC”
103
Chair of High Performance Computing (Informatik 12)
Prof. Matthias Müller | Rechen- und Kommunikationszentrum
Introduction to HPC - Scope
 Parallel Computer Architectures
 Program Parallelization and Optimization Strategies
 Shared Memory Parallel Programming with OpenMP
 Distributed Memory Parallel Programming with MPI
 GPGPU Programming
Image source: Dieter Both, Bull GmbH
104
Introduction to HPC – Organization
 Computational Engineering
Computer Science
Engineering
Software Systems Engineering
 3 hours of lecture / 1 hour exercises
 Tuesday + Thursday
11:45 – 13:15
in MeT P 11
 Credits
 BSCES, BSInf, MSETITTI, MSInf, MSSSE, MSTKI: 6 ECTS
 MSCES, MSVT: 4 ECTS
 Prerequisites:
 Basic programming knowledge in C/C++ or FORTRAN on Linux
105
Automation and High Performance Computing
Prof. Paolo Bientinesi, Ph.D.
High-performance matrix computations Automatic (V3 Ü1, 6 ECTS)
V:
Di. 17:00 – 18:30
Do. 17:00 – 18:30
Start: 09.04.2013
AICES Sem. Raum
AICES Sem. Raum
M
Lehrstuhl Parallele Programmierung
Prof. Dr. Felix Wolf
Parallele Programmierung II (V3 Ü2, 6 ECTS)
V:
Mo. 13:15 – 14:45 GRS
Mi. 10:00 – 11:30 GRS
Ü:
Do. 10:00 – 11:30 GRS
Start: 15.04.2013
M
Lehrstuhl Parallele Programmierung
Prof. Dr. Felix Wolf
Research
• Solutions to harness
massive parallelism on
modern architectures
Schinkelstraße 2a
IBM Blue Gene/Q in Jülich
Teaching – Master
Parallel Programming II (V3 / Ü2)
• Focus
– Applications in science and engineering
• Syllabus
–
–
–
–
POSIX threads
GPU programming
Advanced MPI
Partitioned global address space
languages
The End

M - Fachgruppe Informatik an der RWTH Aachen

Transcription

Similar documents

Die MSDN® Subscription

SN SS2012 - Chair of Network Architectures and Services

GAESDONCK