Home  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

Sommersemester 2020

Projektgruppe "Praxis der Forschung"

Bekanntmachungen:

  • 21.04.2020: Informationsveranstaltung für interessierte Studierende im SoSe 2020, 13:15 - 13:45 Uhr in SR 236 (Geb. 50.34)
           sowie 17:15 - 18:00 Uhr im Foyer vor der Bibliothek (Geb. 50.34) Themenvorstellung mit allen Betreuern und Pizza*.
    Beide Termine werden online stattfinden, weitere Informationen im separaten ILIAS-Kurs!
    Bitte prüfen Sie rechtzeitig die technischen Voraussetzungen!
  • Folien mit allgemeinen Informationen zu Praxis der Forschung
  • 30.04.2020: Kick-Off Veranstaltung 11:00 - 13:00 Uhr in Raum 010 (Geb. 50.34) MS Teams
  • 22.06.2020: Öffentl. Vorlesung Erkenntnistheorie bei Prof. Snelting, 14:00 - 16:00 Uhr in Zoom
                           -- Abstract und Folien zur Veranstaltung
  • 23.06.2020: Öffentl. Vorlesung "Wissenschaftstheorie" bei Prof. Reussner, 09:45 - 11:15 Uhr in Zoom
                           -- Abstract zur Veranstaltung
  • Weitere Termine und Teilnahmeinformationen zu den Veranstaltungen im ILIAS-Kurs, bitte regelmäßig überprüfen
  • Informationen und eine Liste der aktuell laufenden Projekte beginnend im SoSe 2019 sowie im WiSe 2019/20

* Aufgrund der derzeit außergewöhnlichen Situation verursacht durch die Covid-19-Pandemie wird die Veranstaltung voraussichtlich elektronisch durchgeführt und daher ohne Pizza unsererseits stattfinden müssen. Wir bedauern dies sehr 😞 😷.

Angebotene Themenfelder im Sommersemester 2020

Die Themenfelder für das Sommersemester 2020 sind:

  • Algorithm Engineering
  • Algorithmische Graphentheorie
  • Autonome lernende Roboter
  • Eingebettete Systeme
  • Formale Methoden
  • Hochperformante Humanoide Technologien
  • Pervasives Computing
  • Software-Requirements Engineering
  • Zuverlässige Softwaresysteme
Die folgende Liste gibt einen Überblick über Themen, die dieses Semester ausgeschrieben werden. Bei Interesse an einem Thema oder Fragen dazu kann der/die betreffende Mitarbeiter/in angeschrieben werden. Die endgültige Liste der ausgeschriebenen Themen wird auf der Informationsveranstaltung und der Themenvorstellung zu Semesterbeginn (s.o.) bekannt gegeben und kann anschließend auf den veröffentlichten Folien nachgelesen werden.

Hinweis: Erfahrungsgemäß lohnt es sich, bereits im Vorfeld mit den entsprechenden Mitarbeiter:innen Rücksprache zu halten, um Enttäuschungen bei der Themenvorstellung zu vermeiden. Sollten Sie Interesse an der Durchführung eines Projektes im Rahmen von Praxis der Forschung haben, aber Ihr Wunschthema ist hier nicht  aufgeführt, so können in Ausnahmefällen bis zum Ende der ersten Vorlesungswoche noch Themen nachgemeldet werden. Halten Sie hierzu bitte frühzeitig Rücksprache mit den entsprechenden Mitarbeiter:innen bzw. Arbeitsgruppen (deren Themen Sie interessieren), um ein Thema zu vereinbaren, und bitten Sie diese, (bei Interesse) schnellstmöglich mit uns Kontakt aufzunehmen.

Liste der Projekte für das Sommersemester 2020

Laufende Projekte:
  # Projekt Arbeitsgruppe(n) Betreuende Mitarbeiter:innen
1. t.b.a. IAR Asfour
Prof. Tamim Asfour
2. Information Theoretic Trust Regions for Gradient Descent IAR Neumann Prof. Gerhard Neumann, Maximilian Hüttenrauch
und Philipp Becker
3. Approximate Computing to Accelerate Deep Neural Networks (DNNs) ITEC Henkel Dr.-Ing. Hussam Amrouch und Prof. Jörg Henkel
4. In-Memory Computing for Future Computers Architectures ITEC Henkel Dr.-Ing. Hussam Amrouch und Prof. Jörg Henkel
5. Heuristic Algorithms for Computing Mutual Agreement between Belief States in Argumentation-Based Public Survey ITI Wagner
und ITZ Betz (Phl.)
Dr. Tamara Mchedlidze
und Prof. Gregor Betz

Nicht vergebene Projekte:
# Projekt Arbeitsgruppe(n) Betreuende Mitarbeiter:innen
a. Machen Forscher Fehler?: Automatisierte Überprüfung von Evaluationsergebnissen in wissenschaftlichen Veröffentlichungen IPD Koziolek
und IPD Tichy
Jan Keim und Tobias Hey
b. Machine-Learning Approaches for Future Emerging Technologies ITEC Henkel Dr.-Ing. Hussam Amrouch und Prof. Jörg Henkel
c. Extracting Specifications for KeY ITI Beckert Dr. Mattias Ulbrich
d. Formal Verification of a Parallelized FloodFill Algorithm ITI Beckert Dr. Lionel Blatter
e. Formal Verification of a Vector Library and a Convex Hull Algorithm ITI Beckert Dr. Lionel Blatter
f. Specification Inference for Floating Point Programs ITI Beckert Dr. Mattias Ulbrich
g. Capturing Formula Isomorphism with Structure-Based Hashing ITI Sanders Dr. Markus Iser
h. Partitioning Programs for Software Verification based on Call Graphs ITI Sinz Marko Kleine Büning und Prof. Carsten Sinz
i. Algorithms for Computing Electrical Flows ITI Wagner Matthias Wolf, Dr. Franziska Wegner und Dr. Torsten Ueckerdt
j. Explainable AI: Displaying Time-Series Data in Immersive Virtual Reality Applications TM Beigl Rainer Duda und Dr. Till Riedel

Zu den Themen aus dem Wintersemester 2019/20.

Veranstaltungen und Termine

Die Methoden-Veranstaltungen finden meist donnerstags oder freitags statt. Die erste ist am 30.04.2020 von 11:00 - 13:00 Uhr in Raum 010 (Geb. 50.34). Die Teilnahme an der ersten Veranstaltung ist unter anderem Voraussetzung zur Teilnahme an Praxis der Forschung, hier werden wichtige organisatorischen Informationen bekannt gegeben. Im Folgenden ist die grobe Planung für beide Semester aufgelistet (Änderungen vorbehalten):

1. Semester (Sommersemester 2020)
Datum Zeit Veranstaltung
Vorlesungswoche 2 2,0 Stunden KickOff & Literaturrechereche und Zitieren
Vorlesungswoche 3 7,0 Stunden Projektmanagement
Vorlesungswoche 4 8,0 Stunden Präsentationsworkshop
Vorlesungswoche 8 1,5 Stunden Erkenntnistheorie
Vorlesungswoche 9 1,5 Stunden Wissenschaftstheorie
Vorlesungswoche 11 3,0 Stunden Workshop zur Forschungsfrage
Vorlesungswoche 12 1,5 Stunden Anträge schreiben
Vorlesungswoche 13 1,5 Stunden Experimentaldesign
2. Semester (Wintersemester 2020/21)
Datum Zeit Veranstaltung
Vorlesungswoche 1 1,5 Stunden KickOff & Dokumentation des wissenschaftlichen Fortschritts
Vorlesungswoche 2 2,0 Stunden Paper schreiben
Vorlesungswoche 4 1,5 Stunden Statistische Auswertung
Vorlesungswoche 12 5,0 Stunden Schreibworkshop I - Modelle & Techniken zum wiss. Schreiben
Vorlesungswoche 14 6,0 Stunden Schreibworkshop II - Schreiben von Abstracts & Präzisierungen
Im Rahmen von Praxis der Forschung finden zusätzlich noch Präsentationstermine (drei im ersten Semester, zwei im zweiten) statt. Außerdem werden die Inhalte jedes Semesters mit jeweils einer mündlichen Prüfung abgeprüft.
Weitere Termine, Details und eventuelle Änderungen sind im ILIAS zu finden. Bitte melden Sie sich hierzu an. Veranstaltungen und Termine vergangener Jahrgänge finden sich im Archiv.