Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification

Lehre hoch Forschung-PLUS

Problem-oriented, Research-oriented and Interdisciplinary Teaching
in Computer Science

Lehre^Forschung had a significant and leading influence on the development of the guiding principle of KIT regarding teaching and curricula. It contributed to the successful installation of a system-accredited process for the quality development of the KIT-curricula. The study and learning formats which immediately emerged from the project achieve a high acceptance among the students and have already been permanently integrated in individual study programmes.

The main goal of the project Lehre^Forschung-PLUS is furthermore to improve the study conditions and to continuously raise the qualitiy of teaching by an extensive development of the curricula. This project is the second funding period of its predecessor Lehre^Forschung. The successfully implemented actions of the first funding period include in particular new lecture concepts in the form of projects and practical courses, which enable early insights into research-relevant questions.

Our subproject comprises the following three actions, which all aim to implement and strengthen project- and research-oriented, as well as interdisciplinary, teaching in the computer science curricula.

Research Project (PdF) in the master curriculum

The objective for the master programme in computer science is to further develop and to improve the master module "Research Project" (PdF). In this module, each student works on a research project for one year and experiences all research phases of this project. From literature research to planning and writing a project proposal, including performing research in the scope of the project and writing a publication in order to publish their results. The projects are performed on topics within current research projects. The programme is very successful so far: Since its start, a number of papers partially or fully covering the student research projects have been successfully published.
The integration of PdF in the curriculum is to be rearranged and improved regarding contents and organization, such that PdF forms a clear unit together with the remaining range of courses in the areas of specialisation, and that the so far existing hurdles for participating in PdF will be dismantled.

Software Engineering Practice (PSE) in the bachelor curriculum

The objective for the bachelor programme in computer science is to further develop and improve the project-oriented course "Software Engineering Practice". Students participating in the course "Software Engineering Practice" learn to perform a full software project according to the state of software engineering in a team of 5 to 6 participants. Particular goals are the practical application of procedures from software design and quality assurance, the realization of implementation competence, and the collaborative cooperation in teams.
Prospective task definitions are to be chosen in such a way that their results will either be used in research projects of the supervising research group or establish foundations for them. Thereby, students are given direct insights into ongoing research projects and, early in their curriculum, they are introduced to topics, methods and problems of current research activities.

Internet and Society (IuG) in the master curriculum

The objective for the master programme in computer science is to introduce interdisciplinary research-oriented teaching with the focus "Internet and Society". The teaching both orients itself towards interdisciplinary research and is itself interdisciplinary. Here, on the one hand, teaching throughout multiple departments is to be advanced, as well as, on the other hand, advancements towards goal-oriented integration of the large-scale research sector are to be made.
Specifically, a profile "Internet and Society" shall be defined, which forms an additional qualification for graduates. It furthermore certifies to have completed a special orientation with topics in the areas internet/networks, security and privacy etc. and a complementary subject "Technology and Society", as well as to have produced a master thesis in the interdisciplinary area with a suitable problem task.

More information on "Lehre^Forschung-PLUS" (Press Release)
More information on the master module "Research Project"
More information on the bachelor module "Software Engineering Practice"
More information on the profiles as well as the profile "Internet and Society" [PDF]

Staff

Name	Title	Phone	Email	Institute
Bernhard Beckert	Prof. Dr.	+49 721 608-44025	beckert41857010Xfd4∂kit.edu	Theoretical Informatics (ITI)
Michael Beigl	Prof. Dr.	+49 721 608-41700	michael.beigl864151734Xfd4∂kit.edu	Telematics (TM)
Ralf Reussner	Prof. Dr.	+49 721 608-45993	reussner245699159Xfd4∂kit.edu	Program Structures and Data Organization (IPD)
Gregor Snelting	Prof. Dr.-Ing.	+49 721 608-48350	gregor.snelting44320344Xfd4∂kit.edu	Program Structures and Data Organization (IPD)
Martina Zitterbart	Prof. Dr.	+49 721 608-46400	zitterbart1480373000Xfd4∂kit.edu	Telematics (TM)
Robert Bauer		+49 721 608-46404	robert.bauer1002093773Xfd4∂kit.edu	Telematics (TM)
Michael Kirsten		+49 721 608-45648	kirsten741704143Xfd4∂kit.edu	Theoretical Informatics (ITI)
Erik Pescara		+49 721 608-41704	erik.pescara1986724575Xfd4∂kit.edu	Telematics (TM)

Former Staff

Name	Title	Phone	Email	Institute
Matthias Budde	Dr.	+49 721 608-41705	matthias.budde1384240902Xfd4∂kit.edu	Telematics (TM)
Sarah Grebing	Dr.	+49 721 608-45253	sarah.grebing307460615Xfd4∂kit.edu	Theoretical Informatics (ITI)
Valentin Kautz		+49 721 608-46412	valentin.kautz565597630Xfd4∂kit.edu	Telematics (TM)

Publications

More on the idea and conceptual design of the master module Research Project can be found in the following publications:

2020
Michael Kirsten, Robert Bauer, Andreas Fried, Bernhard Beckert, Michael Beigl, Gregor Snelting, and Martina Zitterbart Problemorientierte, forschungsorientierte und interdisziplinäre Lehre in der Informatik Campustage 2020 „Lehre^Forschung-PLUS“

2016
Matthias Budde, Sarah Grebing, Erik Burger, Max Kramer, Bernhard Beckert, Michael Beigl, and Ralf Reussner Praxis der Forschung: Eine Lehrveranstaltung des forschungsnahen Lehrens und Lernens in der Informatik am KIT Neues Handbuch Hochschullehre 74, Volume A: Lehren und Lernen, Part 3: Neue Lehr- und Lernkonzepte

There has been a number of papers published, which are partially or fully covering the student research projects in the master module "Research Poject". They are listed on a separate page.

as part of the programme Qualitätspakt Lehre – a joint programme of the federal and state governments for better study conditions and more quality in teaching.