Home | Sitemap | Kontakt | deutsch  | Impressum | KIT

ITI - Institute of Theoretical Informatics

The Institute of Theoretical Informatics deals with the theoretical fundamentals of informatics and their application to practical issues. Its wide range of subjects covers algorithmics, formal methods, cryptography, and security.

The institute, among other things, focuses on algorithmics and its applications, in particular on graph algorithms, algorithmic geometry, and parallel and distributed algorithms with special emphasis on algorithmic engineering methodology. The research subjects comprise theoretical and practical issues from different areas e.g., algorithm libraries for basic algorithms and data structures, network analysis and visualization, and algorithmic solving methods for traffic and energy system optimization problems.

Besides, ITI focuses on the development of algorithms and models for solving problems in the field of evolutionary bioinformatics. The relevant research subjects comprise classical sequence analysis, algorithms and software for reconstructions of phylogenetic trees, population genetics methods, and analyses of very large biological data sets on high- and highest-performance computers.

The algorithmics study groups participate in the DFG Research Training Group GRK-1194 ”Self-organizing Sensor-actuator Networks”, the DFG Priority Programs SPP-1307 ”Algorithm Engineering” and SPP-1736 ”Algorithms for Big Data”, and the Helmholtz Program “Storage and Cross-linked Infrastructures”.

Besides theoretical fundamental research e.g., in the fields of semantics of programming languages or development of suitable calculi, the area of formal methods comprises the development of formal-logic methods for

 

practice through integration with conventional software engineering methods and application of formal methods to improve the reliability of software in concrete areas of application.

The efficient and user-friendly specification, verification, and automatic analysis of software, both at the abstract design level and implementation level, is another important subject.

One of the focuses is on the verification of object-oriented software. The respective research activities, among other things, are part of the KeY project (www.key-project.org) which is aimed at the deductive verification of Java programs.

Software safety, correctness of microkernels, network protocols, numerical software, and choice methods are among the present fields of application.

Another ITI focus is on cryptography and security research. In 1988, a correspondent study group was founded as European Institute for System Security (EISS). Today, EISS participates in interdisciplinary research at the Competence Center for Applied IT Security Technology (KASTEL), carries out research transfer via Forschungszentrum Informatik (FZI), and takes part in the Helmholtz Program “Supercomputing and Big Data”.

All research activities are spanned by the central topic of “provable security guarantees”. These are formal proofs that systems within mathematical models cannot be attacked. Proofs of that kind provide traceable and reliable security guarantees and allow mathematical access where security is proved mathematically based on falsifiable assumptions.

ITI - Institute of Theoretical Informatics
Research Groups Contact
Application-oriented Formal Verification Prof. Dr. B. Beckert
Cryptographic processes Prof. Dr. D. Hofheinz
Cryptography and IT Security Prof. Dr. J. Müller-Quade
Algorithmics II Prof. Dr. P. Sanders
High Performance Computing in life sciences Prof. Dr. A. Stamatakis
Algorithmics I Prof. Dr. D. Wagner
Verifikation meets Algorithm Engineering Dr. C. Sinz

(Research Group)

    
Professors Emeriti  
Algorithmics II Prof. em. Dr. P. Deussen
ILKD Menzel Prof. em. Dr. W. Menzel
Cryptography and IT Security Prof. em. Dr. R. Vollmar
    
Retired Professors  
Cryptography und IT Security Prof. Dr. J. Calmet
Logic und Formal Methods Prof. Dr. P. Schmitt