M - Fachgruppe Informatik an der RWTH Aachen
M - Fachgruppe Informatik an der RWTH Aachen
M - Fachgruppe Informatik an der RWTH Aachen
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Presentation of<br />
Courses in<br />
Computer Science<br />
SS 2012
Presentation of Courses SS12<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 + h<strong>an</strong>douts contain key information<br />
about 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 3:<br />
Daten- und<br />
Informationsm<strong>an</strong>agement
Bereich 3: Daten- und Informationsm<strong>an</strong>agement<br />
Informationssysteme und Datenb<strong>an</strong>ken<br />
Lehrstuhl <strong>Informatik</strong> 5<br />
Prof. Dr. Matthias Jarke<br />
Adv<strong>an</strong>ced Data Models (V3 Ü1, 6 ECTS)<br />
V: Di. 10:00 –11:30 5053.2<br />
Fr. 10:00 –11:30 5053.2 (14 tgl.)<br />
Ü: Fr. 10:00 –11:30 5053.2 (14 tgl.)<br />
Start: 03.04.2012<br />
M
Adv<strong>an</strong>ced Data Models<br />
(V3/Ü1, Quix/Jarke)<br />
Master<br />
Lecture: Tuesdays, 10.00-11.30 (start: April 3)<br />
Fridays, 10.00-11.30 (bi-weekly, start: April 13)<br />
Exercises: Fridays, 10.00-11.30 (bi-weekly, start: April 27)<br />
Room 5053.2 (seminar room B-IT RS, opposite to AH 6)<br />
• Data Modeling & Integration<br />
• Conceptual, semi-structured,<br />
& object-oriented data models<br />
• Mappings between<br />
data models<br />
• Metadata M<strong>an</strong>agement<br />
• Schema Integration & Evolution
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: 11.04.2012<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: Service <strong>an</strong>d soccer robots
Two of our Robots
Knowledge Representation<br />
• Introduces basic methods of knowledge<br />
representation, including:<br />
first-or<strong>der</strong> logic, procedural control, description logics,<br />
rule-based systems, default reasoning, diagnosis,<br />
reasoning about action, pl<strong>an</strong>ning<br />
• Prerequisites: mathematical logic.<br />
• Lectures start April 11.
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. Wolfg<strong>an</strong>g Prinz, Prof. Dr. Thomas Rose<br />
Computer Supported Cooperative Work (CSCW) (V2 Ü1, 4 ECTS)<br />
V: Mi. 11:45 – 13:15 AH VI<br />
Ü: t.b.a<br />
Start: 11.04.2012<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: 11.04.2012<br />
M
Process M<strong>an</strong>agement<br />
(V2/Ü1, Rose)<br />
Master<br />
Lecture: Wednesdays, 10:00 – 11:30 (start: April 11)<br />
Exercises: Wednesdays, 11:30 – 13:00 (bi-weekly, start: April 18)<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, 11:45 – 13:15 (AH 6, start: April 11)<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
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 />
Exploring High-dimensional Data:<br />
Adv<strong>an</strong>ced Mining Techniques (V3 Ü2, 6 ECTS)<br />
V: Di. 13:30 – 15:30 AH VI<br />
Ü: Do. 13:30 – 15:15 AH VI<br />
Start: 10.04.2012<br />
M
SS 2012<br />
Topics <strong>an</strong>d lectures offered by i9<br />
Learn more on dme.rwth-aachen.de/teaching<br />
• Exploring High-dimensional Data: Adv<strong>an</strong>ced Mining Techniques<br />
• How to turn 'just data' into knowledge?<br />
• Customer segmentation<br />
• Detection of credit card frauds<br />
• Patterns in gene expression data<br />
• How to h<strong>an</strong>dle complex data sources?<br />
• Multi-source mining (Amazon, eBay, …)<br />
• Very high-dimensional data<br />
• How to incorporate background knowledge?<br />
• Exploring Multimedia Data: Content-Based Search & Retrieval<br />
• Images, Videos, …<br />
• Exploring Temporal <strong>an</strong>d Graph Data: Mining & Retrieval<br />
• Social Networks, Stock Market Data, Streams, …<br />
• Data Mining Algorithms (Bachelor course)<br />
• Basic mining techniques
Bereich 3: Daten- und Informationsm<strong>an</strong>agement<br />
Computerunterstütztes Lernen<br />
Computerunterstütztes Lernen<br />
LuFG <strong>Informatik</strong> 9<br />
Prof. Dr. Ulrik Schroe<strong>der</strong>
Research & Teaching<br />
Engineering next-generation<br />
learning environments<br />
• Personal learning environments<br />
• Open <strong>an</strong>d networked learning<br />
environments<br />
Intelligent Web <strong>an</strong>d<br />
mobile technologies<br />
• Web mining<br />
• Mobile learning in context<br />
Innovative learning theories <strong>an</strong>d<br />
pedagogical models<br />
Learning Analytics<br />
• Educational data mining<br />
• Open assessment <strong>an</strong>d intelligent<br />
feedback<br />
• Lifelong learner modeling<br />
• Intelligent recommendation<br />
Didactics of computer science<br />
• Didactics of curricular <strong>an</strong>d<br />
extracurricular learning of CS<br />
• Technology enh<strong>an</strong>ced learning for<br />
school students<br />
• Educational technologies<br />
• Gen<strong>der</strong> <strong>an</strong>d diversity studies<br />
19 02.04.2012<br />
Ulrik Schroe<strong>der</strong> (Learning Technologies)
Engineering next-generation learning environments<br />
Engineering next-generation<br />
learning environments<br />
• Personal learning environments<br />
• Open <strong>an</strong>d networked learning<br />
environments<br />
Intelligent Web <strong>an</strong>d<br />
mobile technologies<br />
• Web mining<br />
• Mobile learning in context<br />
Innovative learning theories <strong>an</strong>d<br />
Personal Learning Environments<br />
pedagogical models<br />
Learning Analytics<br />
• Educational data mining<br />
• Open assessment <strong>an</strong>d intelligent<br />
feedback<br />
• Lifelong learner modeling<br />
• Intelligent recommendation<br />
Didactics of computer science<br />
• Didactics of curricular <strong>an</strong>d<br />
extracurricular learning of CS<br />
• Technology enh<strong>an</strong>ced learning for<br />
school students<br />
• Educational technologies<br />
• Gen<strong>der</strong> <strong>an</strong>d diversity studies<br />
20 02.04.2012<br />
Ulrik Schroe<strong>der</strong> (Learning Technologies)
Intelligent Web <strong>an</strong>d mobile technologies<br />
Engineering next-generation<br />
learning environments<br />
• Personal learning environments<br />
• Open <strong>an</strong>d networked learning<br />
environments<br />
Intelligent Web <strong>an</strong>d<br />
mobile technologies<br />
• Web mining<br />
• Mobile learning in context<br />
Innovative learning theories <strong>an</strong>d<br />
Learning in context<br />
pedagogical models<br />
Learning Analytics<br />
• Educational data mining<br />
• Open assessment <strong>an</strong>d intelligent<br />
feedback<br />
• Lifelong learner modeling<br />
• Intelligent recommendation<br />
Didactics of computer science<br />
• Didactics of curricular <strong>an</strong>d<br />
extracurricular learning of CS<br />
• Technology enh<strong>an</strong>ced learning for<br />
school students<br />
• Educational technologies<br />
• Gen<strong>der</strong> <strong>an</strong>d diversity studies<br />
21 02.04.2012<br />
Ulrik Schroe<strong>der</strong> (Learning Technologies)
Learning <strong>an</strong>alytics<br />
Engineering next-generation<br />
learning environments<br />
• Personal learning environments<br />
• Open <strong>an</strong>d networked learning<br />
environments<br />
Intelligent Web <strong>an</strong>d<br />
mobile technologies<br />
• Web mining<br />
• Mobile learning in context<br />
Innovative learning theories <strong>an</strong>d<br />
Educational Data Mining<br />
pedagogical models<br />
Learning Analytics<br />
• Educational data mining<br />
• Open assessment <strong>an</strong>d intelligent<br />
feedback<br />
• Lifelong learner modeling<br />
• Intelligent recommendation<br />
Didactics of computer science<br />
• Didactics of curricular <strong>an</strong>d<br />
extracurricular learning of CS<br />
• Technology enh<strong>an</strong>ced learning for<br />
school students<br />
• Educational technologies<br />
• Gen<strong>der</strong> <strong>an</strong>d diversity studies<br />
22 02.04.2012<br />
Ulrik Schroe<strong>der</strong> (Learning Technologies)
Research & Teaching<br />
Engineering next-generation<br />
learning environments<br />
• Personal learning environments<br />
• Open <strong>an</strong>d networked learning<br />
environments<br />
Intelligent Web <strong>an</strong>d<br />
mobile technologies<br />
• Web mining<br />
• Mobile learning in context<br />
Innovative learning theories <strong>an</strong>d<br />
pedagogical models<br />
Learning Analytics<br />
• Educational data mining<br />
• Open assessment <strong>an</strong>d intelligent<br />
feedback<br />
• Lifelong learner modeling<br />
• Intelligent recommendation<br />
Didactics of computer science<br />
• Didactics of curricular <strong>an</strong>d<br />
extracurricular learning of CS<br />
• Technology enh<strong>an</strong>ced learning for<br />
school students<br />
• Educational technologies<br />
• Gen<strong>der</strong> <strong>an</strong>d diversity studies<br />
23 02.04.2012<br />
Ulrik Schroe<strong>der</strong> (Learning Technologies)
Teaching: Bachelor Electives<br />
Didactics<br />
Teaching Practice<br />
Service<br />
Java Programming<br />
Teaching Practice<br />
Seminar<br />
Basics of Software<br />
Engineering<br />
Introduction to<br />
CS Didactics<br />
Labs<br />
Web<br />
Technologies<br />
Summer term<br />
2013<br />
Foundations of<br />
eLearning<br />
Adv<strong>an</strong>ced<br />
Learning<br />
Technologies<br />
Seminars<br />
Practical Computer<br />
Science<br />
eLearning<br />
24<br />
02.04.2012<br />
Ulrik Schroe<strong>der</strong> (Learning Technologies)
Bereich 2: Software und Kommunikation<br />
LuFG IT-Security<br />
Prof. Dr. Ulrike Meyer<br />
Security in Mobile Communication (V3 Ü1, 6 ECTS)<br />
V: Di. 10:00 – 11:30 UMIC 025<br />
Ü: Do. 10:00 – 11:30 UMIC 025 (14 tgl.)<br />
Start: 11.04.2011<br />
M
26<br />
Security in Mobile Communication<br />
WLAN<br />
Bluetooth<br />
GSM<br />
UMTS<br />
LTE<br />
RFID<br />
DECT<br />
Security in current <strong>an</strong>d future wireless communication protocols <strong>an</strong>d network<br />
stacks.<br />
Builtin security features, weaknesses, real-world attacks, mitigations, <strong>an</strong>d new developments.<br />
WiMAX<br />
Femto<br />
Sensor<br />
Networks
Bereich 1:<br />
Theoretische <strong>Informatik</strong>
Bereich 1: Theoretische <strong>Informatik</strong><br />
Logik und Theorie diskreter Systeme<br />
Lehrstuhl <strong>Informatik</strong> 7<br />
Prof. Dr. Dr.h.c. Wolfg<strong>an</strong>g Thomas, 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. 08:15 – 09:45<br />
AH V<br />
Ü: Mi. 13:30 – 15:00 AH IV<br />
Start: 04.04.2012<br />
B<br />
M<br />
Infinite Games (V3 Ü2, 4 ECTS)<br />
V: Di. 11:45 – 13:15 AH VI<br />
Do. 11:45 – 13:15 AH III<br />
Ü: Do. 10:00 – 11:30 AH I<br />
Start: 04.04.2012<br />
M
Lehrstuhl <strong>Informatik</strong> 7<br />
Logik und Theorie diskreter Systeme<br />
Prof. Dr. Wolfg<strong>an</strong>g Thomas<br />
Forschungsgebiete:<br />
Automatentheorie<br />
Algorithmische Programmverifikation und -<br />
synthese<br />
Unendliche Spiele und reaktive Systeme<br />
Logik <strong>der</strong> <strong>Informatik</strong><br />
Sprechstunde:<br />
Montag, 11:15 – 12:15 Uhr<br />
URL: http://www.automata.rwth-aachen.de
Lehrstuhl <strong>Informatik</strong> 7<br />
Logik und Theorie diskreter Systeme<br />
Prof. Dr. Wolfg<strong>an</strong>g Thomas<br />
Applied Automata Theory (W. Thomas)<br />
V3 Mon, 14:15 – 15:45, AH II; Wed, 08:15 – 09:45, AH V<br />
Ü2<br />
Wed , 13:30 – 15:00, AH IV<br />
Begin: Wed, 4th April 2012 08:15 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. Wolfg<strong>an</strong>g Thomas<br />
Infinite Games (C. Löding)<br />
V3 Tue 11:45 – 13:15, AH VI; Thu 11:45 – 13:15, AH III<br />
Ü2<br />
Thu 10:00 – 11:30, AH I<br />
Motivation:<br />
Begin: Tue, 4th April 2012 11:45 h, AH VI<br />
Synthesis of systems with input/output behaviour (e.g. controller)<br />
input<br />
???<br />
output<br />
• Given: Specification S describing the desired behaviour of the system<br />
• Goal: Automatically construct a correct system from specification S<br />
• Tool:<br />
Theory of infinite games
Bereich 1: Theoretische <strong>Informatik</strong><br />
Algorithmische Spieltheorie<br />
LuFG <strong>Informatik</strong> 1<br />
Prof. Dr. Berthold Vöcking, Prof. Dr. Martin Hoefer, PD Dr. Walter Unger<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: 10.04.2012<br />
B<br />
Algorithmic Game Theory (V3 Ü2, 6ECTS)<br />
V: Mo. 10:00 – 11:30 5056<br />
Mi. 10:00 – 11:30 5056<br />
Start: 04.04.2012<br />
M<br />
Theory of Distributed Systems (V3 Ü2, 6 ECTS)<br />
V: Do. 10:00 – 11:30 AH I<br />
Fr. 11:45 – 13:15 AH III<br />
Ü: t.b.a<br />
Start: 05.04.2012<br />
M
Algorithmic Game Theory<br />
Mon/Wed, 10:00 – 11:30 h Room 2356|056 (5056)<br />
L<strong>an</strong>guage: English Start: Wed, 04.04.2012<br />
Theory, Analysis <strong>an</strong>d Algorithms for Systems with Selfish Agents<br />
Basic Game Theory<br />
Routing <strong>an</strong>d Traffic Networks<br />
Auctions in the Internet<br />
Allocation with Preferences
Theory of Distributed Systems<br />
Prof. Dr. Berthold Vöcking<br />
Algorithms <strong>an</strong>d Complexity<br />
Algorithms for message-passing systems<br />
Lea<strong>der</strong> election <strong>an</strong>d consensus<br />
Routing in networks: centralized <strong>an</strong>d distributed approaches<br />
Contention resolution <strong>an</strong>d congestion avoid<strong>an</strong>ce<br />
Distributed hash tables for peer-2-peer networks (Chord)<br />
Algorithms for wireless networks<br />
Game theoretic models <strong>an</strong>d solution concepts<br />
First lecture: this week Thursday, April 5, at 10:00 am in AH 1
Bereich 1: Theoretische <strong>Informatik</strong><br />
Theoretische <strong>Informatik</strong><br />
Analysis of Algorithms (V3 Ü2, 6ECTS)<br />
LuFG <strong>Informatik</strong> 1<br />
Prof. Dr. Peter Rossm<strong>an</strong>ith<br />
V: Mo. 13:30 – 15:00 5056<br />
Mi. 08:15 – 09:45 5056<br />
Start: 04.04.2012<br />
M
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 />
Adv<strong>an</strong>ced Model Checking (V3 Ü2, 6 ECTS)<br />
V: Mo. 13:30 – 15:00 AH I<br />
Di. 08:15 – 09:45 AH II<br />
Ü: Mi. 13:30 – 15:00 AH III<br />
Start: 03.04.2012<br />
M<br />
Compiler Construction (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: 04.04.2012<br />
B<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 />
Functional Programming (V3 Ü2, 6 ECTS)<br />
V: Mo. 15:45 – 17:15 AH III<br />
V: Fr. 10:00 – 11:30 AH II<br />
Ü: Mi. 11:45 – 13:15 AH II<br />
Start: 13.04.2012<br />
B M
Imperative Program<br />
Functional Program<br />
• sequence of instructions<br />
• sequence of equations<br />
• specifies what should be computed,<br />
not how it is computed<br />
srt [] = []<br />
srt (x:xs) = srt xs1 ++ [x] ++ srt xs2<br />
where xs1 = [y | y
Imperative Program<br />
Functional Program<br />
• sequence of instructions<br />
• sequence of equations<br />
static void srt(int[] a, int lo, int hi) {<br />
int h, l, p, t;<br />
if (lo
Functional 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 Inform.: Wahlpflicht Theorie V3 + U2<br />
Master Inform.: Theorie V3 + U2<br />
Bachelor Math.: <strong>Informatik</strong> Nebenfach V3 + U2<br />
Master SSE:<br />
Theory / Area of specialization V3 + U2<br />
Begin: Friday, April 13
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:15 – 14:30 5056<br />
Start: 03.04.2012<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 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, Emeritus Prof. Dr. M<strong>an</strong>fred Nagl<br />
Generative Softwareentwicklung (V3 Ü2, 6 ECTS)<br />
V: Di. 13:30 – 15:00 AH I<br />
Ü: Do. 15:45 – 17:15 5056<br />
Start: 03.04.2012<br />
Innovations in Software Engineering (V2, 3 ECTS)<br />
Prozesse und Methoden beim Testen von Software (V2, 3 ECTS)<br />
Blockver<strong>an</strong>staltung: Do. 26.04.2012 08:00 bis 18:00 Sem. Raum 2002<br />
Fr. 27.05.2012 08:00 bis 17:00 Sem. Raum 2002<br />
Die Softwaretechnik-Programmiersprache Ada 95 (V3 Ü2, 6 ECTS)<br />
Blockver<strong>an</strong>staltung: voraussichtlich im September o<strong>der</strong> Oktober<br />
M<br />
M<br />
M<br />
B M
Prof. Dr. B. Rumpe<br />
Lehrstuhl für<br />
Software Engineering<br />
<strong>RWTH</strong> <strong>Aachen</strong><br />
offers four lectures<br />
Seite 57<br />
• Generative Software Engineering (3VL + 2Ü, 6 ECTS)<br />
• (Prof. B. Rumpe)<br />
__: __:<br />
__:<br />
OCL<br />
• Tired of writing so m<strong>an</strong>y bits of software?<br />
• Speed up by generating lots of it!<br />
C++, Java …<br />
JUnit-Tests,<br />
…<br />
• Goals:<br />
customization<br />
for target<br />
platform<br />
system<br />
code<br />
generator<br />
test code<br />
generator<br />
• How to model software<br />
system<br />
test code<br />
• How to write a generator<br />
• How template engines work<br />
OS,<br />
Hardware<br />
UML/P RE<br />
DB, GUI,<br />
Frameworks<br />
• Innovations in Software Engineering (2VL, 3 ECTS)<br />
• (Prof. B. Rumpe)<br />
• Innovative topics from Industry <strong>an</strong>d Research<br />
• Modeling<br />
• Software Engineering Tools
Prof. Dr. B. Rumpe<br />
Lehrstuhl für<br />
Software Engineering<br />
<strong>RWTH</strong> <strong>Aachen</strong><br />
offers four lectures<br />
Seite 58<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/
Blockvorlesung im WS 2012/2013<br />
Die Softwaretechnik-<br />
Programmiersprache Ada<br />
Wollen Sie den St<strong>an</strong>d <strong>der</strong> Programmiersprachen kennen?<br />
Wollen Sie wissen, wie C++ aussehen müsste?<br />
<strong>Informatik</strong> (Diplom)<br />
<strong>Informatik</strong> (B.Sc.)<br />
<strong>Informatik</strong> (M.Sc.)<br />
Software Systems Engineering (M.Sc.)<br />
Dozent und Betreuung<br />
Prof. Dr.-Ing. Dr.h.c. M<strong>an</strong>fred Nagl<br />
Andreas Horst<br />
horst@se-rwth.de<br />
Anmeldung über campusOffice:WS 2012/2013<br />
Termine und Details werden rechtzeitig bek<strong>an</strong>nt gegeben.
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: Mi. 16:15 – 17:45 AH VI<br />
Do. 08:15 – 09:45 AH III<br />
Ü: Do. 14:00 – 15:30 5056<br />
Start: 05.04.2012<br />
B<br />
M<br />
Software-Projektm<strong>an</strong>agement (V2, 4 ECTS)<br />
V: Mi. 08:15 – 09:45 AH II<br />
Fr. 08:15 – 09:45 AH II<br />
Start: 04.04.2012<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 I<br />
Do. 11:45 – 13:15 AHVI<br />
Ü: Di. 11:45 – 13:15 AH I (14 tgl.)<br />
Start: 10.04.2012<br />
B M<br />
Research Focus Class on Communication Systems (V3 Ü2, 6 ECTS)<br />
Schedule by agreement<br />
M
Teaching Agenda at COMSYS<br />
Adv<strong>an</strong>ced Internet<br />
Technology<br />
Mobile Internet<br />
Technology<br />
BSc<br />
Wahlpflichtfach<br />
Research Focus<br />
Communication<br />
Class on<br />
Communication<br />
Systems<br />
Concepts<br />
Systems<br />
BSc<br />
Wahlpflichtfach<br />
Application-driven<br />
Multimedia Internet<br />
Technology<br />
Winter Term<br />
Summer Term<br />
Communication &<br />
Distributed<br />
Systems<br />
66
Mobile Internet Technology<br />
• Content of the lecture (3+1 SWS)<br />
Basics of wireless communication<br />
Wireless networking<br />
Data networks: Bluetooth, WiFi, Wimax<br />
Telecommunication networks: GSM, UMTS<br />
Mobility <strong>an</strong>d Internet protocols<br />
Mobile IP, HIP<br />
TCP adaptations<br />
Lecture: Mobile Internet Technology<br />
- starts on April 10 th<br />
- for Bachelor & Master<br />
Communication &<br />
Distributed<br />
Systems<br />
67
Research Focus Class on Communication Systems<br />
• Concept <strong>an</strong>d operations<br />
Introduction by COMSYS lecturers/staff – basics<br />
Selection of topics to be discussed in<br />
the team – hot topics<br />
Talks <strong>an</strong>d discussions prepared by<br />
students – highly interactive<br />
Real research: ad-hoc simulations,<br />
prototypes, experiments<br />
Depends on interest of students (>5)<br />
Interested?<br />
• Topics in SS 2012<br />
- Register via Campus with RFC course<br />
Sensor Networks - compact course starting in June/July<br />
- Details <strong>an</strong>nounced to registered students in June<br />
- only for Master<br />
Communication &<br />
Distributed<br />
Systems<br />
68
Bereich 2: Software und Kommunikation<br />
Mobile Network Perform<strong>an</strong>ce<br />
Network Simulation (V3 Ü1, 6 ECTS)<br />
Nachwuchsgruppe <strong>Informatik</strong> 4<br />
Prof. Dr. James Gross<br />
V: Di. 10:00 – 12:00 UMIC 105<br />
Do. 10:00 – 12:00 UMIC 105 (14tgl.)<br />
Start: 10.04.2012<br />
M
Network Simulation Course<br />
• Lecturer: James Gross (UMIC Research Centre)<br />
• Course with 6 ECTS (lecture + exercise)<br />
• Content: How to map network behavior into a simulation<br />
tool?<br />
We deal with principles, architectures, methods <strong>an</strong>d models.<br />
• First lecture:<br />
• Tuesday, 10.4.2012, 10am<br />
• Room 105 of UMIC Research Centre<br />
Mobile Network<br />
Perform<strong>an</strong>ce<br />
70
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: 04.04.2012<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: 10.04.2012<br />
M
I11 – Embedded Software<br />
Prof. Dr.-Ing. Stef<strong>an</strong> Kowalewski<br />
72
Course Schedule<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 />
Formal Methods for<br />
Embedded Systems<br />
Summer 2012<br />
(Introduction to)<br />
Embedded systems<br />
Safety & Reliability<br />
Winter 2011/12<br />
Dynamische Systeme<br />
für <strong>Informatik</strong>er<br />
73
(Introduction to) Embedded Systems<br />
• In English<br />
• V3/Ü1, 6 ECTS<br />
• Appointments:<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: 04.04.2012<br />
• Contents:<br />
- Microcontroller<br />
- Programmable logic controllers (PLCs)<br />
- PLC programming l<strong>an</strong>guages<br />
- Android<br />
- Data buses<br />
- Real-time requirements <strong>an</strong>d operating systems<br />
- Characteristics of embedded software design<br />
74
Safety <strong>an</strong>d Reliability of Software-Controlled Systems<br />
• In English<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: 10.04.2012<br />
• Contents:<br />
- Design <strong>an</strong>d <strong>an</strong>alysis methods for reliability/safety of embedded 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 />
75
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 />
Adv<strong>an</strong>ced Methods in Automatic Speech Recognition (V3 Ü1, 8 ECTS)<br />
V: Di. 11:45-13:15 AH V<br />
Mi 10:00-11:30 AH V<br />
Ü: Mi 10:00-11:30 AH V (14 tgl.)<br />
Start: 03.04.2012<br />
M
Lehrstuhl für <strong>Informatik</strong> 6<br />
Dr. rer. nat. Ralf Schlüter<br />
Prof. Dr. Herm<strong>an</strong>n Ney<br />
Lecture: Adv<strong>an</strong>ced Methods in Automatic<br />
Speech Recognition<br />
• Search with lexical prefix trees<br />
• Word graphs <strong>an</strong>d word pair approximation<br />
• Time-conditioned search<br />
• Confidence measures <strong>an</strong>d system combination<br />
• Speaker adaptation <strong>an</strong>d normalization<br />
• Discriminative training
Adv<strong>an</strong>ced Methods in<br />
Automatic Speech Recognition<br />
Lectures:<br />
Tue 11.45 -13.15 AH 5 Start: 03. 04.<br />
Wed 10.00 -11.30 AH 5 (biweekly)<br />
Exercises:<br />
Wed 10.00-11.30 AH 5 (biweekly) Start: 11. 04.<br />
Requirement: Introduction to Automatic Speech Recognition<br />
Teaching l<strong>an</strong>guage: English<br />
Study programms:<br />
Master <strong>Informatik</strong>, Media Informatics, <strong>an</strong>d<br />
Software Systems Engineering,<br />
Diplom <strong>Informatik</strong> (V3/Ü1, 6 Credits)<br />
http://www-i6.informatik.rwth-aachen.de/web/Teaching/
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: 03.04.2012<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: 05.04.2012<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 />
Machine Learning (V3 Ü1, 6 ECTS)<br />
V: Di. 13:30 – 15:00 UMIC 025<br />
V+Ü: Do. 13:30 – 15:00 UMIC 025<br />
Start: 05.04.2012<br />
M
Machine Perceptual Learning, <strong>an</strong>d Sensory Summer Augmented ’09 Computing<br />
Computer Vision<br />
Prof. Basti<strong>an</strong> Leibe<br />
LuFG <strong>Informatik</strong> 8<br />
• Lecture: Machine Learning<br />
• Structure: 3V (lecture) + 1Ü (exercises)<br />
‣ 6 EECS credits<br />
• Place & Time<br />
‣ Lecture/Exercises: Tue 13:30 – 15:00 room UMIC 025<br />
Thu 13:30 – 15:00 room UMIC 025<br />
B. Leibe
Machine Perceptual Learning, <strong>an</strong>d Sensory Summer Augmented ’09 Computing<br />
Lecture Machine Learning (3V+1Ü)<br />
• Goal<br />
‣ Build machines that learn to perform a task from experience<br />
• Lecture<br />
‣ Focus on statistical machine learning techniques.<br />
‣ Current research developments <strong>an</strong>d links to real-world<br />
applications, e.g.<br />
• Exercises<br />
– Is this email import<strong>an</strong>t or spam?<br />
– Is this credit card tr<strong>an</strong>saction correct or fraudulent?<br />
– Does this image contain a face?<br />
– What is the most likely cause for a patient’s symptoms?<br />
‣ Collect h<strong>an</strong>ds-on experience with the lecture topics<br />
‣ Pen & paper <strong>an</strong>d Matlab-based implementation<br />
B. Leibe
Machine Perceptual Learning, <strong>an</strong>d Sensory Summer Augmented ’09 Computing<br />
Course Outline<br />
• Fundamentals<br />
‣ Bayes Decision Theory<br />
‣ Probability Density Estimation<br />
• Classification Approaches<br />
‣ Linear Discrimin<strong>an</strong>ts<br />
‣ Support Vector Machines<br />
‣ Ensemble Methods & Boosting<br />
‣ R<strong>an</strong>domized Trees, Forests & Ferns<br />
• Probabilistic Graphical Models<br />
‣ Bayesi<strong>an</strong> Networks<br />
‣ Markov R<strong>an</strong>dom Fields<br />
‣ Probabilistic Inference<br />
‣ Latent Variable Models<br />
B. Leibe
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 />
SS12: Research Term
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<br />
Wissenschaftlichen Rechnen (V2 Ü2, 4 ECTS)<br />
V: Di. 13:30 – 15:00 5052<br />
Ü: Mi. 13:00 – 14:30 5052<br />
Start: 10.04.2012<br />
M
LuFG <strong>Informatik</strong> 12 :<br />
Software <strong>an</strong>d Tools for Computational Engineering<br />
Prof. Dr. Uwe Naum<strong>an</strong>n<br />
http://www.stce.rwth-aachen.de<br />
Research, Development, <strong>an</strong>d<br />
Teaching cover ...<br />
• Compilers for Computational<br />
Science <strong>an</strong>d Engineering (CSE)<br />
• Algorithmic Differentiation<br />
• (Parallel) Numerical <strong>an</strong>d<br />
Combinatorial Algorithms for CSE<br />
• Simulation Software Engineering
Combinatorial Problems in<br />
Scientific Computing<br />
(Diplom/MSc, V2+Ü2, 4 Credits)<br />
• Detection <strong>an</strong>d Exploitation<br />
of Structure <strong>an</strong>d Sparsity in<br />
Nonlinear Programming<br />
• Or<strong>der</strong>ing, Coloring,<br />
Elimination on Graphs,<br />
Dynamic Programming<br />
• H<strong>an</strong>ds-On Problem Solving<br />
in Tutorial; Use of Software<br />
for Combinatorial Scientific<br />
Computing<br />
Lecture: Tuesday<br />
13:30-15:00 in 5052<br />
Tutorial: Wednesday<br />
13:00-14:30 in 5052<br />
Start: next Tuesday
Sparsity Pattern – this is bad!
Compressed Pattern – first guess
after some thought…
Colpack – let others do the work!
Bereich 4: Angew<strong>an</strong>dte <strong>Informatik</strong><br />
Scientific Computing<br />
LuFG <strong>Informatik</strong> 12<br />
Prof. Dr. Martin Bücker<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 – 13:15 MeT P 11<br />
Start: 17.04.2012<br />
B<br />
M
Wahlpflicht-Ver<strong>an</strong>staltung SS 2012<br />
• Einführung in High-Perform<strong>an</strong>ce Computing<br />
• V3 + Ü1<br />
• Zeit: Di u. Do 11:45-13:15<br />
• Ort: MeTP 11, Kopernikusstraße<br />
• Beginn: 17.4. (wegen Studieng<strong>an</strong>g CES)<br />
111
Ausnutzung von Struktur<br />
112
Aufteilung auf parallele Prozesse<br />
113
Graphpartitionierung<br />
V 1 V 2<br />
V 3<br />
114
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 />
Automatic Generation <strong>an</strong>d Analysis of Algorithms (V3 Ü1, 6 ECTS)<br />
V: Di. 17:00 – 18:30 Rogowski 115<br />
Do. 17:00 – 18:30 Rogowski 115<br />
Start: 03.04.2012<br />
B M
Bereich 4: Angew<strong>an</strong>dte <strong>Informatik</strong><br />
Lehrstuhl Parallele Programmierung<br />
Prof. Dr. Felix Wolf<br />
Parallele Programmierung II<br />
V: Mo. 13:15 – 14:45 GRS<br />
Mi. 10:00 – 11:30 GRS<br />
Ü: Do. 10:00 – 11:30 GRS<br />
Start: 04.04.2012<br />
(V3 Ü2, 6 ECTS)<br />
M
Lehrstuhl Parallele Programmierung<br />
Prof. Dr. Felix Wolf
Research<br />
• Software for exploiting<br />
parallelism at massive<br />
scales<br />
Schinkelstraße 2a<br />
IBM BG/P in Jülich: 294,912 cores
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