30.01.2014 Views

Folien - Fachgruppe Informatik an der RWTH Aachen

Folien - Fachgruppe Informatik an der RWTH Aachen

Folien - Fachgruppe Informatik an der RWTH Aachen

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Presentation of<br />

Courses in<br />

Computer Science<br />

Summer Term 2013


Presentation of Courses SS13<br />

• Overview of all elective courses<br />

for Bachelor / Master<br />

• Sorted according to 4 areas of Computer Science<br />

1. Theoretische <strong>Informatik</strong> (Theoretical Computer Science)<br />

2. Software & Kommunikation (Software & Communication)<br />

3. Daten- & Informationsmgmt. (Data- & Information-M<strong>an</strong>agement)<br />

4. Angew<strong>an</strong>dte <strong>Informatik</strong> (Applied Computer Science)<br />

• Tr<strong>an</strong>sition slides contain key information about<br />

courses (title, room, time schedule)<br />

• Labels:<br />

B<br />

Bachelor<br />

M Master


Presentation Rules<br />

• Each professor gets 2 minutes<br />

• Slide presentation proceeds automatically<br />

• Acceleration is possible, slowing down is not<br />

• Next professor takes over during tr<strong>an</strong>sition slide<br />

(which are shown for 15 seconds)


Bereich 1:<br />

Theoretische <strong>Informatik</strong>


Bereich 1: Theoretische <strong>Informatik</strong><br />

Theoretische <strong>Informatik</strong><br />

LuFG <strong>Informatik</strong> 1<br />

Prof. Dr. Peter Rossm<strong>an</strong>ith<br />

Parameterized Algorithms (V4 Ü2, 8ECTS)<br />

V: Mo. 10:00 – 11:30 5055<br />

Do. 11:30 – 13:00 5055<br />

Start: 15.04.2013<br />

M


Bereich 1: Theoretische <strong>Informatik</strong><br />

Algorithmen und Komplexität<br />

Lehrstuhl <strong>Informatik</strong> 1<br />

Prof. Dr. Berthold Vöcking, PD Dr. Walter Unger<br />

Algorithmic Graph Theory (V3 Ü2, 6 ECTS)<br />

V: Do. 10:00 – 11:30 AH I<br />

Fr. 11:45 – 13:15 AH III<br />

Start: 11.04.2013<br />

M<br />

Effiziente Algorithmen (V3 Ü2, 6 ECTS)<br />

V: Di. 10:00 – 11:30 AH III<br />

Fr. 10:00 – 11:30 AH III<br />

Start: 19.04.2013<br />

B


Bereich 1: Theoretische <strong>Informatik</strong><br />

Softwaremodellierung und Verifikation<br />

Lehrstuhl <strong>Informatik</strong> 2<br />

Prof. Dr. Ir. Joost-Pieter Katoen, PD Dr. Thomas Noll<br />

Sem<strong>an</strong>tik und Verifikation von Software (V3 Ü2, 6 ECTS)<br />

V: Mi. 10:00 – 11:30 AH VI<br />

Do. 15:00 – 16:30 AH V<br />

Ü: Mo. 10:00 – 11:30 AH II<br />

Start: 10.04.2013<br />

M


Bereich 1: Theoretische <strong>Informatik</strong><br />

Programmiersprachen und Verifikation<br />

LuFG <strong>Informatik</strong> 2<br />

Prof. Dr. Jürgen Giesl<br />

Logic Programming (V3 Ü2, 6 ECTS)<br />

V: Mo. 16:45 – 17:15 AH III<br />

Fr. 10:00 – 11:30 AH II<br />

Ü: Mi. 11:45 – 13:15 AH II<br />

Start: 12.04.2013<br />

B M


Imperative Program<br />

Logic Program<br />

• program = sequence of<br />

instructions<br />

• program = knowledge base<br />

• specifies what should be<br />

computed,<br />

how it is computed<br />

len([], 0).<br />

not<br />

len([HD|TL], N): -len(TL, M),<br />

N is M + 1.<br />

?- len([15,70,36], P).<br />

P = 3<br />

Adv<strong>an</strong>tages<br />

• shorter <strong>an</strong>d clearer programs<br />

• fast development<br />

• especially suitable for AI


Imperative Program<br />

Logic Program<br />

• program = sequence of instructions<br />

class List {<br />

int hd; List tl;<br />

int len ()<br />

{<br />

List x = this;<br />

int n = 0;<br />

while (x != null) {<br />

• program = knowledge base<br />

• specifies what should be<br />

computed,<br />

not<br />

how it is computed<br />

len([], 0).<br />

len([HD|TL], N): -len(TL, M),<br />

N is M + 1.<br />

?- len([15,70,36], P).<br />

P = 3<br />

x = x.tl;<br />

n = n + 1; }<br />

Adv<strong>an</strong>tages<br />

• shorter <strong>an</strong>d clearer programs<br />

}<br />

}<br />

return n;<br />

• fast development<br />

• especially suitable for AI


Logic Programming<br />

Lecture Mon 15:45 - 17:15 AH 3 Prof. Dr. Jürgen Giesl<br />

Fri 10:00 - 11:30 AH 2<br />

Exercise Wed 11:45 - 13:15 AH 2<br />

Bachelor: Wahlpflicht Theorie V3 + U2<br />

Master <strong>Informatik</strong>: Theorie V3 + U2<br />

Master SSE: Theory (Core Subjects) / V3 + U2<br />

Area of Specialization<br />

Begin: Friday, April 12


Bereich 1: Theoretische <strong>Informatik</strong><br />

Theorie Hybri<strong>der</strong> Systeme<br />

Nachwuchsgruppe <strong>Informatik</strong> 2<br />

Prof. Dr. Erika Ábrahám<br />

Modellierung und Analyse hybri<strong>der</strong> Systeme (V3 Ü1, 6 ECTS)<br />

V/Ü: Di. 13:15 – 15:00 5056<br />

Fr. 13:25 – 14:45 5056<br />

Start: 09.04.2013<br />

B M


Hybrid in computer science :<br />

discrete<br />

continuous<br />

f(t)<br />

+<br />

t


The discrete part


Combined with the continuous part


Contents:<br />

● Modeling<br />

● Analysis<br />

● Applications


Bereich 1: Theoretische <strong>Informatik</strong><br />

Logik und Theorie diskreter Systeme<br />

Lehrstuhl <strong>Informatik</strong> 7<br />

Prof. Dr. Martin Grohe, PD Dr. Christof Löding<br />

Angew<strong>an</strong>dte Automatentheorie (V3 Ü2, 6 ECTS)<br />

V: Mo. 14:15 – 15:45 AH II<br />

Mi. 09:00 – 09:45<br />

AH V<br />

Ü: Mi. 13:30 – 15:00 AH IV<br />

Start: 10.04.2013<br />

B<br />

M<br />

Theory of Constraint Satisfaction Problems (V2 Ü1, 4 ECTS)<br />

V: Mo. 09:15 – 10:45 Sem. I7<br />

Ü: Do. 09:00 – 10:45 Sem. I<br />

Start: 14.04.2013<br />

M


Lehrstuhl <strong>Informatik</strong> 7<br />

Logik und Theorie diskreter Systeme<br />

Prof. Dr. Martin Grohe<br />

Research areas:<br />

o Logic in Computer Science<br />

o Algorithms <strong>an</strong>d Complexity<br />

o Graph Theory<br />

o Database Theory<br />

Office hour:<br />

Mon 14:00 – 15:00 h<br />

URL: http://www.automata.rwth-aachen.de


Lehrstuhl <strong>Informatik</strong> 7<br />

Logik und Theorie diskreter Systeme<br />

Prof. Dr. Martin Grohe<br />

Applied Automata Theory (C. Löding)<br />

V3 Mon, 14:15 – 15:45, AH II;<br />

Wed, 09:00 – 09:45, AH V<br />

Ü2 Wed , 13:30 – 15:00, AH IV<br />

Begin: Wed, 10th April 2013 09:00 h, AH V<br />

Keywords:<br />

• Minimization of automata<br />

• Weighted automata, probablistic automata<br />

• Automata <strong>an</strong>d logic<br />

• Pushdown-systems<br />

• Undecidable problems in automata theory<br />

• Petri nets


Lehrstuhl <strong>Informatik</strong> 7<br />

Logik und Theorie diskreter Systeme<br />

Prof. Dr. Martin Grohe<br />

Theory of Constraint Satisfaction Problems<br />

Master Course (V2+Ü1)<br />

o Constraint Satisfaction Problems<br />

(CSPs) give a general framework<br />

for modeling computational<br />

problems<br />

o Topic of the course are algorithms<br />

for <strong>an</strong>d the complexity of CSPs.<br />

o Wide r<strong>an</strong>ge of methods from<br />

different areas of theoretical<br />

computer science <strong>an</strong>d<br />

mathematics


Bereich 1: Theoretische <strong>Informatik</strong><br />

Mathematische Grundlagen <strong>der</strong> <strong>Informatik</strong><br />

LuFG <strong>Informatik</strong> 7<br />

Prof. Dr. Erich Grädel<br />

Logik und Spiele (V4 Ü2, 9 ECTS)<br />

V: Mo. 11:45 – 13:15 AH I<br />

Fr. 10:00 – 11:30 AH I<br />

Ü: Mi. 14:15 – 15:45 AH I<br />

Start: 12.04.2013<br />

M


Mathematische Grundlagen <strong>der</strong> <strong>Informatik</strong><br />

Prof. Dr. Erich Grädel<br />

Research Topics:<br />

• Logic<br />

• Game Theory<br />

• Complexity Theory<br />

Lectures:<br />

• Mathematical Logic I <strong>an</strong>d II<br />

• Logic <strong>an</strong>d Games<br />

• Algorithmic Model Theory<br />

More information:<br />

http://logic.rwth-aachen.de/


Mathematische Grundlagen <strong>der</strong> <strong>Informatik</strong><br />

Prof. Dr. Erich Grädel<br />

(‏Ü2‎ Logic <strong>an</strong>d Games (V4,<br />

Lecture: Start 12.4. Tutorial: Start 24.4.<br />

Mon 11:45 – 13:15, AH I Wed 14:15 – 15:45, AH I<br />

Fri 10:00 – 11:30, AH I<br />

Content:<br />

• fundamental aspects of classical game theory<br />

• finite <strong>an</strong>d infinite games<br />

• model-checking games<br />

• determinacy of games<br />

• complexity <strong>an</strong>d definability of winning regions<br />

• multi-player games<br />

More Information:<br />

http://logic.rwth-aachen.de/Teaching/LS-SS13/


Bereich 2:<br />

Software und<br />

Kommunikation


Bereich 2: Software und Kommunikation<br />

Software Engineering<br />

Lehrstuhl <strong>Informatik</strong> 3<br />

Prof. Dr. Bernhard Rumpe, Prof. Dr. M<strong>an</strong>fred Nagl, Dr. Stef<strong>an</strong> Kriebel<br />

Generative Softwareentwicklung (V3 Ü2, 6 ECTS)<br />

V: Block course at the end of semester<br />

M<br />

Prozesse und Methoden beim Testen von Software (V1 Ü1, 3 ECTS)<br />

V: Block course 13.06. – 14.06.2013<br />

M<br />

Die Softwaretechnik-Programmiersprache Ada95 (V2, 3 ECTS)<br />

V: Block course: September or October 2013<br />

B<br />

M


Prof. Dr. B. Rumpe<br />

Lehrstuhl für<br />

Software Engineering<br />

<strong>RWTH</strong> <strong>Aachen</strong><br />

Seite 31<br />

offers two lectures<br />

Identifying…<br />

methods, concepts, tools <strong>an</strong>d infrastructures for<br />

• developing software systems better <strong>an</strong>d faster,<br />

• in or<strong>der</strong> to achieve a high quality product<br />

• in less time while<br />

• incorporating const<strong>an</strong>tly ch<strong>an</strong>ging requirements in <strong>an</strong> agile way.<br />

(Mission-Statement)<br />

• TBA: Generative Software Engineering (3VL + 2Ü, 6 ECTS)<br />

• (Prof. B. Rumpe)<br />

• (pl<strong>an</strong>ned) Block Course at the end of the semester<br />

• See <strong>an</strong>nouncements on the website


Prof. Dr. B. Rumpe<br />

Lehrstuhl für<br />

Software Engineering<br />

<strong>RWTH</strong> <strong>Aachen</strong><br />

offers two lectures<br />

Seite 32<br />

• Prozesse und Methoden beim Testen von Software (2VL, 3 ECTS)<br />

• (Dr. Stef<strong>an</strong> Kriebel, BMW Abteilungsleiter Entwicklung/<br />

Elektronik Fahrassistenz)<br />

• Industrielles Software/Systems Engineering<br />

• Know-How-Tr<strong>an</strong>sfer aus <strong>der</strong> Industrie<br />

• Certified Tester – Foundation Level<br />

(iSQI / Germ<strong>an</strong>TestingBoard) möglich<br />

• Die Softwaretechnik-Programmiersprache Ada95 (3VL + 2Ü, 6ECTS)<br />

• (Prof. M. Nagl)<br />

• integrieren<strong>der</strong> Ansatz (funktionsorientiert, Schichtung,<br />

Datenabstraktion, OO)<br />

• Qualitätseigenschaften aus <strong>der</strong> Architektur ablesen<br />

• weitere Informationen und Termine:<br />

http://www.se-rwth.de/


Bereich 2: Software und Kommunikation<br />

Software-Konstruktion<br />

LuFG <strong>Informatik</strong> 3<br />

Prof. Dr. Horst Lichter<br />

Software-Qualitätssicherung (V3 Ü2, 6 ECTS)<br />

V: Do 11:45 - 13:15 AH I<br />

Fr 08:15 - 09:45 AH II<br />

Ü: Do 13:30 - 15:00 5056<br />

Start: 11.04.2013<br />

Software-Projektm<strong>an</strong>agement (V2, 4 ECTS)<br />

V: Mi 08:15 - 09:45 AH II<br />

Do 08:15 - 09:45 AH III<br />

Start: 10.04.2013<br />

B<br />

M<br />

M


Software Project M<strong>an</strong>agement


Software Project M<strong>an</strong>agement<br />

Earned Value Analysis


Software Quality Assur<strong>an</strong>ce


Software Quality Assur<strong>an</strong>ce


Bereich 2: Software und Kommunikation<br />

Kommunikation und Verteilte Systeme<br />

Lehrstuhl <strong>Informatik</strong> 4<br />

Prof. Dr. Klaus Wehrle<br />

Mobile Internet Technology (V3 Ü1, 6 ECTS)<br />

V: Di. 10:00 – 11:30 AH 1<br />

Do. 11:45 – 13:15 AH 6<br />

Ü: Di. 11:45 – 13:15 AH 1 (biweekly)<br />

Start: 09.04.2013<br />

B M<br />

Security in the Internet of Things (MSc Inf./SSE/MI)<br />

Compact course on 7th / 8th & 28th / 29th May<br />

Exact times <strong>an</strong>nounced later<br />

M


Teaching Agenda at COMSYS<br />

Adv<strong>an</strong>ced<br />

Internet<br />

Technology<br />

BSc<br />

Wahlpflichtfach<br />

Research Focus<br />

Communication<br />

Class on<br />

Communication<br />

Systems<br />

Concepts<br />

Systems<br />

Application-driven<br />

Mobile Internet<br />

Technology<br />

BSc<br />

Wahlpflichtfach<br />

Multimedia<br />

Internet<br />

Technology<br />

Winter Term<br />

Summer Term<br />

Communication &<br />

Distributed<br />

Systems<br />

40


Mobile Internet Technology<br />

• Content of the lecture (3+1 SWS)<br />

Basics of wireless communication<br />

Wireless networking<br />

Data networks: WiFi<br />

Telecomm. networks: GSM/UMTS/LTE<br />

Mobility <strong>an</strong>d Internet protocols<br />

Mobile IP, HIP<br />

TCP adaptations<br />

Lecture: Mobile Internet Technology<br />

- First lecture on April 9 th<br />

- Bachelor & Master<br />

Communication &<br />

Distributed<br />

Systems<br />

41


Security in the Internet of Things<br />

• Content of the lecture (1 SWS)<br />

Security fundamentals, IoT definition<br />

Special security techniques: key agreement, broadcast<br />

authentication, group key m<strong>an</strong>agement, access control<br />

Security protocols & security architecture for the IoT<br />

Sensor<br />

Communication &<br />

Distributed<br />

Systems<br />

?<br />

Specialized<br />

protocols<br />

?<br />

Compact course<br />

Gateway<br />

Gateway<br />

?<br />

Conventional<br />

IP protocols<br />

- 7 th / 8 th <strong>an</strong>d 28 th / 29 th May<br />

- Exact room <strong>an</strong>d times <strong>an</strong>nounced later<br />

?<br />

- In case of interest, register with L2P to get <strong>an</strong>nounced<br />

Backend/Cloud<br />

Service<br />

42


Bereich 2: Software und Kommunikation<br />

Software für eingebettete Systeme<br />

Lehrstuhl <strong>Informatik</strong> 11<br />

Prof. Dr. Stef<strong>an</strong> Kowalewski<br />

Einführung in eingebettete Systeme (V3 Ü1, 6 ECTS)<br />

V: Mi. 10:00 – 11:30 AH III<br />

V+Ü: Do. 13:30 – 15:00 AH III<br />

Start: 10.04.2013<br />

B<br />

M<br />

Sicherheit und Zuverlässigkeit softwaregesteuerter Systeme (V3 Ü1, 6 ECTS)<br />

V: Di. 15:45 – 17:15 AH III<br />

V+Ü: Fr. 14:45 – 16:15 AH III<br />

Start: 12.04.2013<br />

M


i11 – Embedded Software<br />

Prof. Dr.-Ing. Stef<strong>an</strong> Kowalewski<br />

45


Course Schedule<br />

Winter 2013/14<br />

Dynamische Systeme<br />

für <strong>Informatik</strong>er<br />

Summer 2013<br />

(Introduction to)<br />

Embedded Systems<br />

Safety & Reliability<br />

Winter 2012/13<br />

Dynamische Systeme<br />

für <strong>Informatik</strong>er<br />

Summer 2012<br />

(Introduction to)<br />

Embedded Systems<br />

Safety & Reliability<br />

46


(Introduction to) Embedded Systems<br />

• L<strong>an</strong>guage: Germ<strong>an</strong><br />

• Contents:<br />

- Microcontroller<br />

- Programmable logic controllers (PLCs)<br />

- PLC programming l<strong>an</strong>guages<br />

- Android<br />

- Data buses<br />

• V3/Ü1, 6 ECTS<br />

• Appointments:<br />

- Real-time requirements <strong>an</strong>d operating systems<br />

- Characteristics of embedded software design<br />

- Wednesday, 10:00 - 11:30, AH III (2350|314.1)<br />

- Thursday, 13:30 - 15:00, AH III (2350|314.1)<br />

• First lecture: 10.04.2013<br />

47


Safety <strong>an</strong>d Reliability of Software-Controlled Systems<br />

• L<strong>an</strong>guage: English<br />

• Contents:<br />

- Design <strong>an</strong>d <strong>an</strong>alysis methods for reliability/safety of embedded<br />

systems<br />

- Reliability/safety modelling<br />

- Reliability/safety metrics <strong>an</strong>d <strong>an</strong>alysis<br />

- Software failure<br />

- Mech<strong>an</strong>isms for HW/SW fault toler<strong>an</strong>ce<br />

- Risk <strong>an</strong>alysis, risk accept<strong>an</strong>ce principles<br />

- Safety-related st<strong>an</strong>dards<br />

• V3/Ü1, 6 ECTS<br />

• Appointments:<br />

- Tuesday, 15:45 - 17:15, AH III (2350|314.1)<br />

- Friday, 14:45 - 16:15, AH III (2350|314.1)<br />

• First lecture: 12.04.2013<br />

48


Student Competitions<br />

Carolo Cup 2014<br />

IMAV<br />

• Autonomous model car (1:10)<br />

• Software <strong>an</strong>d hardware development<br />

• Autonomous driving / parking<br />

• Driving around obstacles<br />

• Requirement: build a complete MAV<br />

on your own<br />

• Goal: MAV has to pass different<br />

missions autonomously<br />

• <strong>RWTH</strong> participates with team<br />

MAVerix<br />

• Contact: Flori<strong>an</strong> Göbe<br />

goebe@embedded.rwth-aachen.de<br />

• Contact: Christi<strong>an</strong> Dernehl<br />

49<br />

<strong>der</strong>nehl@embedded.rwth-aachen.de


Bereich 3:<br />

Daten- und<br />

Informationsm<strong>an</strong>agement


Bereich 3: Daten- und Informationsm<strong>an</strong>agement<br />

Wissensbasierte Systeme<br />

LuFG <strong>Informatik</strong> 5<br />

Prof. Gerhard Lakemeyer, Ph.D.<br />

Introduction to Knowledge Representation (VÜ3, 6 ECTS)<br />

V: Mo. 11:45 – 13:15 AH IV<br />

Mi. 08:15 – 09:45 AH IV<br />

Ü: Mi. 15:15 – 16:45 AH III<br />

Start: 15.04.2013<br />

B M


Research at KBSG<br />

• Knowledge Representation (KR)<br />

Representation <strong>an</strong>d Inference,<br />

especially in dynamic settings<br />

(actions <strong>an</strong>d their effects)<br />

• Cognitive Robotics<br />

High-level control of mobile robots<br />

using methods from KR<br />

Applications: E.g. Service robots, logistics


Knowledge Representation<br />

• Introduces basic methods of knowledge<br />

representation:<br />

first-or<strong>der</strong> logic, procedural control, description logics,<br />

rule-based systems, <strong>an</strong>swer-set programming, default<br />

reasoning, diagnosis, reasoning about action, pl<strong>an</strong>ning<br />

• Prerequisites: mathematical logic.<br />

• Lectures start April 15.


Bereich 3: Daten- und Informationsm<strong>an</strong>agement<br />

Frauenhofer Institut für Angew<strong>an</strong>dte<br />

Informationstechnik (FIT)<br />

Prof. Dr. Matthias Jarke, Prof. Dr. Wolfg<strong>an</strong>g Prinz, Prof. Dr. Thomas Rose<br />

Informationsm<strong>an</strong>agement für öffentliche Mobilitäts<strong>an</strong>gebote<br />

V: Blockver<strong>an</strong>staltung 19.07 – 15.09<br />

M<br />

Computer Supported Cooperative Work (CSCW) (V2 Ü1, 4 ECTS)<br />

V: Mi. 13:00 – 14:30 Seminarraum I5<br />

Start: 10.04.2013<br />

M<br />

Prozess M<strong>an</strong>agement (V2 Ü1, 4 ECTS)<br />

V: Mi. 10:00 – 11:30 Seminarraum I5<br />

Ü: Mi. 11:30 – 13:00 Seminarraum I5 (14 tgl.)<br />

Start: 17.04.2013<br />

M


<strong>Informatik</strong> 5<br />

Information Systems & Databases<br />

Large-Scale Heterogeneous<br />

Information Integration<br />

• Games <strong>an</strong>d Social Software<br />

for Societal Challenges<br />

• Integration Infrastructures<br />

• Formal Models &<br />

Methods for Integration<br />

Data Sources<br />

Cooperative<br />

Cars<br />

Floating Phone<br />

Data<br />

Stationary<br />

Detection<br />

Mobile<br />

Social<br />

Cloud<br />

Streams<br />

Real-Time Multimedia<br />

Web Services<br />

DSMS<br />

Aggregation & Integration<br />

Data Quality<br />

Assessment<br />

User<br />

Interactive Query<br />

Interface<br />

Other<br />

Data Mining<br />

Query Tr<strong>an</strong>slator<br />

Queue-end<br />

Detection<br />

Traffic State<br />

Estimation<br />

Traffic<br />

Message<br />

Export<br />

Peer P 2<br />

Peer P 1<br />

Peer P 5<br />

Other consumers<br />

Historical<br />

Data<br />

Spatial<br />

Data<br />

Peer P3<br />

Peer P 4


Fraunhofer Institute for<br />

Applied Information Technology FIT<br />

Life Science Informatics (Prof. Dr. T. Berlage)<br />

– High content <strong>an</strong>alysis <strong>an</strong>d software-intensive instruments<br />

– Biomolecular optical systems<br />

– Intra-operative molecular diagnostics<br />

– Adaptive sc<strong>an</strong>ning in automated microscopy<br />

Cooperation Systems (Prof. W. Prinz, PhD)<br />

– Computer supported cooperative work<br />

– Social computing in business communication<br />

– Personalized <strong>an</strong>d collaborative learning environments<br />

– Mixed <strong>an</strong>d augmented reality solutions<br />

Media Informatics / Media Processes (Prof. Dr. T. Rose)<br />

– IT support for emergency m<strong>an</strong>agement<br />

– Impact assessment of fin<strong>an</strong>cial legislation<br />

– Sustainable fin<strong>an</strong>cial information m<strong>an</strong>agement


Process M<strong>an</strong>agement<br />

(V2/Ü1, Rose)<br />

Master<br />

Lecture: Wednesdays, 10:00 – 11:30 (start: April 17)<br />

Exercises: Wednesdays, 11:30 – 13:00 (bi-weekly, start: April 24)<br />

Room 6202 (seminar room <strong>Informatik</strong> 5)<br />

• Process m<strong>an</strong>agement requirements,<br />

concepts <strong>an</strong>d approaches<br />

• Process pl<strong>an</strong>ning tools, execution<br />

support <strong>an</strong>d exch<strong>an</strong>ge st<strong>an</strong>dards<br />

• Customisation concepts<br />

• Ad-hoc <strong>an</strong>d emergent workflows


Computer Supported<br />

Cooperative Work (CSCW)<br />

(V2/Ü1, Prinz)<br />

Master<br />

Lecture: Wednesdays, 13:00 – 14:30 (Seminar room I5, start: April 10)<br />

Topics<br />

• Video Conferencing & Media Spaces<br />

• Synchronous Cooperation & Shared Applications<br />

• Shared Information Spaces & Document M<strong>an</strong>agement<br />

• Workflow M<strong>an</strong>agement<br />

• Social Media<br />

You will learn<br />

• Approaches to support hum<strong>an</strong> cooperation<br />

• Concepts for the design <strong>an</strong>d development of cooperation<br />

systems<br />

• Application of Groupware in Org<strong>an</strong>isations


Lectures @ B-IT<br />

• Process M<strong>an</strong>agement (Rose)<br />

Mondays, 9.30-12.30<br />

• Semiotics <strong>an</strong>d Embodied Cognition in the<br />

Digital Age (Evola/Jarke)<br />

Wednesdays, 17.00-19.15<br />

• Information M<strong>an</strong>agement for Public<br />

Mobility Systems (Krempels/Jarke)<br />

Block lecture during summer break


Bereich 3: Daten- und Informationsm<strong>an</strong>agement<br />

Datenm<strong>an</strong>agement und -exploration<br />

Lehrstuhl <strong>Informatik</strong> 9<br />

Prof. Dr. Thomas Seidl<br />

Data Mining Algorithms II (V3 Ü2, 6 ECTS)<br />

V: Di. 13:30 – 15:00 AH VI<br />

: Do. 13:30 – 14:15 AH VI<br />

Ü: D0. 14:15 – 15:45 AH VI<br />

Start: 11.04.2013<br />

M


winter summer winter<br />

• Data Mining Algorithms I (V3Ü2)<br />

– How to turn 'just data' into knowledge?<br />

– How to do market basket <strong>an</strong>alysis, frequent pattern mining, …?<br />

• Data Mining Algorithms II (V3Ü2)<br />

– How to find patterns in multivariate observations?<br />

• Mining high-dimensional data: subspace clustering, outlier detection<br />

– How to identify groups in social networks?<br />

• Graph mining, network data <strong>an</strong>alysis<br />

– How to find patterns in evolving data streams?<br />

• Stream data mining: <strong>an</strong>ytime classification, clustering, concept drift detection<br />

– Lectures Tue 13:30–15:00 + Thu 13:30–14:15, Tutorials Thu 14:15–15:45<br />

• Content-Based Multimedia Search (V3Ü2)<br />

– How to model similarity of images, shapes, time series?<br />

– How to speed up multimedia retrieval?


Bereich 3: Daten- und Informationsm<strong>an</strong>agement<br />

Computerunterstütztes Lernen<br />

LuFG <strong>Informatik</strong> 9<br />

Prof. Dr. Ulrik Schroe<strong>der</strong><br />

eLearning (V3 Ü2, 6 ECTS)<br />

V: Di. 15:00 – 16:30 5056<br />

: Do. 10:00 – 11:30 5056<br />

Start: 16.04.2013<br />

M


Bereich 4:<br />

Angew<strong>an</strong>dte <strong>Informatik</strong>


Bereich 4: Angew<strong>an</strong>dte <strong>Informatik</strong><br />

Sprachverarbeitung und Mustererkennung<br />

Lehrstuhl <strong>Informatik</strong> 6<br />

Prof. Dr. Herm<strong>an</strong>n Ney<br />

No elective courses in SS 13


Bereich 4: Angew<strong>an</strong>dte <strong>Informatik</strong><br />

Computergrafik und Multimedia<br />

Lehrstuhl <strong>Informatik</strong> 8<br />

Prof. Dr. Leif Kobbelt<br />

Globale Beleuchtung und Image-based Ren<strong>der</strong>ing (V3 Ü2, 6 ECTS)<br />

V: Di. 10:00 – 11:30 AH V<br />

Fr. 10:00 – 11:30 AH V (14-tgl.)<br />

Ü: Do. 14:00 – 15:30 AH IV<br />

Start: 16.04.2013<br />

M<br />

Geometrieverarbeitung (V3 Ü2, 6 ECTS)<br />

V: Do. 10:00 – 11:30 AH V<br />

Fr. 10:00 – 11:30 AH V (14-tgl.)<br />

Ü: Mi. 10:00 – 11:30 5054<br />

Start: 14.04.2013<br />

M


Computer Graphics<br />

• what is it good for?<br />

• which problem is being solved?<br />

Computer Graphics Group<br />

Leif Kobbelt


Computer Graphics<br />

• what is it good for?<br />

• which problem is being solved?<br />

Computer Graphics Group<br />

Leif Kobbelt


Computer Graphics<br />

• what is it good for?<br />

• which problem is being solved?<br />

Computer Graphics Group<br />

Leif Kobbelt


Computer Graphics<br />

• what is it good for?<br />

• which problem is being solved?<br />

Computer Graphics Group<br />

Leif Kobbelt


Courses Offered in SS2012<br />

• Geometry Processing (V3Ü2)<br />

• Global Illumination (V3Ü2)<br />

Computer Graphics Group<br />

Leif Kobbelt


Courses Offered in SS2012<br />

• Geometry Processing (V3Ü2)<br />

• Global Illumination (V3Ü2)<br />

Computer Graphics Group<br />

Leif Kobbelt


Smoothing Noisy Data<br />

Computer Graphics Group<br />

Leif Kobbelt


Reducing Data Complexity<br />

50.000 Tri<strong>an</strong>gles<br />

10.000 Tri<strong>an</strong>gles<br />

1.000 Tri<strong>an</strong>gles<br />

Computer Graphics Group<br />

Leif Kobbelt


Parametrization<br />

Computer Graphics Group<br />

Leif Kobbelt


Quad-Remeshing<br />

Computer Graphics Group<br />

Leif Kobbelt


Courses Offered in SS2012<br />

• Geometry Processing (V3Ü2)<br />

• Global Illumination (V3Ü2)<br />

Computer Graphics Group<br />

Leif Kobbelt


Global Illumination<br />

• photorealistic ren<strong>der</strong>ing of virtual scenes<br />

• reflection, scattering, soft shadows, ...<br />

• the ren<strong>der</strong>ing equation<br />

Computer Graphics Group<br />

Leif Kobbelt


Global Illumination<br />

Computer Graphics Group<br />

Leif Kobbelt


Computer Graphics Group<br />

Leif Kobbelt


Image-Based Ren<strong>der</strong>ing<br />

Computer Graphics Group<br />

Leif Kobbelt


Courses Offered in SS2012<br />

• Geometry Processing (V3Ü2)<br />

• Global Illumination (V3Ü2)<br />

Computer Graphics Group<br />

Leif Kobbelt


Bereich 4: Angew<strong>an</strong>dte <strong>Informatik</strong><br />

Mobile Multimedia Processing<br />

Nachwuchsgruppe <strong>Informatik</strong> 8<br />

Prof. Dr. Basti<strong>an</strong> Leibe<br />

Sabbatical term<br />

M


Bereich 4: Angew<strong>an</strong>dte <strong>Informatik</strong><br />

Medieninformatik<br />

Lehrstuhl <strong>Informatik</strong> 10<br />

Prof. Dr. J<strong>an</strong> Borchers<br />

Designing Interactive Systems II (V3 Ü2, 6 ECTS )<br />

V: Mo 14:15 - 15:45 Raum 2222<br />

Mi 09:00 - 12:00 Raum 2222<br />

Start: 10.04.2013<br />

M<br />

Current Topics in Media Computing <strong>an</strong>d HCI (V2 Ü3, 6 ECTS)<br />

V/Ü: Di 10:00 - 11:30 Raum 2222<br />

Mi 13:00 - 14:30 Raum 2222<br />

Start: 09.04.2013<br />

M


media<br />

computing<br />

group<br />

i10: Media Computing <strong>an</strong>d<br />

Hum<strong>an</strong>–Computer Interaction<br />

Prof. Dr. J<strong>an</strong> Borchers<br />

Summer Semester 2013


WS<br />

WS<br />

Lecture: Designing Interactive Systems I<br />

Number SWS: V4 + Ü2 OR V4 + Ü1 = ECTS Credits: 8 OR 6<br />

Lecture: iPhone Application Programming<br />

ECTS Credits: 3 for the lecture, 6 for the lecture <strong>an</strong>d the lab<br />

WS Lab: Multimodal Media Madness<br />

WS Seminar: Post-Desktop User Interfaces<br />

Lecture: Designing Interactive Systems II<br />

Start:<br />

SS<br />

10.04.2013<br />

V3Ü2 / 6 Credits<br />

Lecture: Current Topics in HCI<br />

Start:<br />

SS 09.04.2013<br />

Prof. J<strong>an</strong> Borchers • Summer Semester 2013<br />

V3Ü2 / 6 Credits<br />

92<br />

media<br />

computing<br />

group


Designing<br />

Interactive<br />

Systems II<br />

Prof. J<strong>an</strong> Borchers • Summer Semester 2013<br />

93<br />

media<br />

computing<br />

group


Current Topics<br />

in HCI<br />

Prof. J<strong>an</strong> Borchers • Summer Semester 2013<br />

94<br />

media<br />

computing<br />

group


Projects<br />

Prof. J<strong>an</strong> Borchers • Summer Semester 2013<br />

95<br />

media<br />

computing<br />

group


Bereich 4: Angew<strong>an</strong>dte <strong>Informatik</strong><br />

Software <strong>an</strong>d Tools for Computational Engineering<br />

LuFG <strong>Informatik</strong> 12<br />

Prof. Dr. Uwe Naum<strong>an</strong>n<br />

Kombinatorische Probleme im Wissenschaftlichen Rechnen (V2 Ü2, 4 ECTS)<br />

V: Di. 13:30 – 15:00 5052<br />

Ü: Mi. 13:00 – 14:30 5052<br />

Start: 09.04.2013<br />

M


Combinatorial Problems in Scientific Computing<br />

Image Credit: Tim Davis / Yif<strong>an</strong> Hu<br />

• V2 / Ü2, M. Sc.<br />

• Tue, 13:30 - 15:00 2356|052 (5052) (Lecture)<br />

• Wed, 13:00 - 14:30 2356|052 (5052) (Tutorial)


Combinatorial Problems in Scientific Computing<br />

Image Credit: Tim Davis / Yif<strong>an</strong> Hu<br />

• Matrix Dimension 50k x 50k<br />

• 350k Nonzeros<br />

• → only 0.1% of entries filled<br />

• Sparsity c<strong>an</strong> <strong>an</strong>d must be exploited!


Matrix Representation:<br />

Graph Coloring Problems<br />

Column Incidence Graph:


Bereich 4: Angew<strong>an</strong>dte <strong>Informatik</strong><br />

Virtual Reality Group<br />

Prof. Dr. Torsten Kuhlen<br />

No elective courses in SS 13


Bereich 4: Angew<strong>an</strong>dte <strong>Informatik</strong><br />

Lehrstuhl für High Perform<strong>an</strong>ce Computing<br />

<strong>Informatik</strong> 12<br />

Prof. Dr. Matthias Müller<br />

Einführung in High-Perform<strong>an</strong>ce Computing (V3 Ü1, 6 ECTS)<br />

V: Di. 11:45 – 13:15 MeT P 11<br />

Do. 11:45 – 12:30 MeT P 11<br />

Ü Do. 12:30 – 13:15 MeT P 11<br />

Start: 09.04.2013<br />

B M


Prof. Dr. Matthias Müller<br />

Chair of High Perform<strong>an</strong>ce Computing<br />

(<strong>Informatik</strong> 12)<br />

Center for Computing <strong>an</strong>d Communication<br />

(Rechen und Kommunikationszentrum)<br />

mueller@rz.rwth-aachen.de


Chair of HPC - <strong>Informatik</strong> 12<br />

• Head: Prof. Matthias Müller<br />

• Website: www.hpc.rwth-aachen.de<br />

• Research Focuses:<br />

Parallel Programming Paradigms<br />

Energy Efficiency<br />

Correctness Checking<br />

Perform<strong>an</strong>ce Analysis<br />

• Teaching Events:<br />

Lecture: Introduction to High Perform<strong>an</strong>ce Computing<br />

Software Lab for Bachelor Students:<br />

“Parallel Programming Models for Applications in the Area of HPC”<br />

103<br />

Chair of High Perform<strong>an</strong>ce Computing (<strong>Informatik</strong> 12)<br />

Prof. Matthias Müller | Rechen- und Kommunikationszentrum


Introduction to HPC - Scope<br />

• Parallel Computer Architectures<br />

• Program Parallelization <strong>an</strong>d Optimization Strategies<br />

• Shared Memory Parallel Programming with OpenMP<br />

• Distributed Memory Parallel Programming with MPI<br />

• GPGPU Programming<br />

Image source: Dieter Both, Bull GmbH<br />

104<br />

Chair of High Perform<strong>an</strong>ce Computing (<strong>Informatik</strong> 12)<br />

Prof. Matthias Müller | Rechen- und Kommunikationszentrum


Introduction to HPC – Org<strong>an</strong>ization<br />

• Computational Engineering<br />

Computer Science<br />

Engineering<br />

Software Systems Engineering<br />

• 3 hours of lecture / 1 hour exercises<br />

Tuesday + Thursday 11:45 – 13:15 in MeT P 11<br />

• Credits<br />

BSCES, BSInf, MSETITTI, MSInf, MSSSE, MSTKI: 6 ECTS<br />

MSCES, MSVT: 4 ECTS<br />

• Prerequisites:<br />

Basic programming knowledge in C/C++ or FORTRAN on Linux<br />

105<br />

Chair of High Perform<strong>an</strong>ce Computing (<strong>Informatik</strong> 12)<br />

Prof. Matthias Müller | Rechen- und Kommunikationszentrum


Bereich 4: Angew<strong>an</strong>dte <strong>Informatik</strong><br />

Automation <strong>an</strong>d High Perform<strong>an</strong>ce Computing<br />

Nachwuchsgruppe <strong>Informatik</strong> 12<br />

Prof. Paolo Bientinesi, Ph.D.<br />

High-perform<strong>an</strong>ce matrix computations Automatic (V3 Ü1, 6 ECTS)<br />

V: Di. 17:00 – 18:30 AICES Sem. Raum<br />

Do. 17:00 – 18:30 AICES Sem. Raum<br />

Start: 09.04.2013<br />

M


Bereich 4: Angew<strong>an</strong>dte <strong>Informatik</strong><br />

Lehrstuhl Parallele Programmierung<br />

Prof. Dr. Felix Wolf<br />

Parallele Programmierung II (V3 Ü2, 6 ECTS)<br />

V: Mo. 13:15 – 14:45 GRS<br />

Mi. 10:00 – 11:30 GRS<br />

Ü: Do. 10:00 – 11:30 GRS<br />

Start: 15.04.2013<br />

M


Lehrstuhl Parallele Programmierung<br />

Prof. Dr. Felix Wolf


Research<br />

• Solutions to harness<br />

massive parallelism on<br />

mo<strong>der</strong>n architectures<br />

Schinkelstraße 2a<br />

IBM Blue Gene/Q in Jülich


Teaching – Master<br />

Parallel Programming II (V3 / Ü2)<br />

• Focus<br />

– Applications in science <strong>an</strong>d engineering<br />

• Syllabus<br />

– POSIX threads<br />

– GPU programming<br />

– Adv<strong>an</strong>ced MPI<br />

– Partitioned global address space<br />

l<strong>an</strong>guages


The End

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!