Skip to main content
Universität der Bundeswehr München
en
Suche
Intern
Personen
Professoren
Prof. Dr. Uwe M. Borghoff
Prof. Dr. Wolfgang Hommel
Prof. Dr. Michael Koch
Prof. Dr.-Ing. Mark Minas
Professoren i. R.
Prof. em. Dr. Gunther Schmidt
apl. Prof. Dr. Lothar Schmitz
Wissenschaftliche Mitarbeiter
Johann Altgenug
Julian Fietkau
Alexander Frank
Buket Garthoff
Christina Glückler
Michael Grabatin
Kim Mönch
Jorge Olivares
Florian Ott
Daniela Pöhn
Peter Rödig
Lothar Schmitz
Jannis Schopp
Mario Silaci
Michael Steinke
Lars Stiemert
Laura Stojko
Peter Weinert
Sekretariat
Christina Bereuter
Administratoren
Franz Schmalhofer
Ehemalige Institutsmitglieder
Forschung
Veröffentlichungen INF2
Professur für Informationsmanagement
datArena
Langzeitarchivierung
Professur für IT-Sicherheit von Software und Daten
Design, Implementierung und Betrieb sicherer vernetzter Anwendungen
Professur für Mensch-Computer-Interaktion
Professur für Programmiersysteme
DiaGen
Grappa
Ausgelaufene und sonstige Projekte
CDET - Das Consistent Document Engineering Toolkit
GROOM - GRundlagen Objekt-Orientierter Programmierung
GXL - Graph eXchange Language
HOPS - The Higher Object Programming System
JACCIE - Java-basierte Compiler-Compiler
mediaTUM - Medienserver der TU Bibliothek in München
RelMiCS - Relational Methods in Computer Science
RALF - ein Beweis-Assistent
PROGRES - Graph rewriting System
SIC - Smalltalk-basierter Interaktiver Compiler-Compiler
TARSKI - Theory and Applications of Relational Structures as Knowledge Instruments
TituRel - eine relationale Referenzsprache mit Interpreter
WebPoint - Ein Framework zur Erstellung von webbasierten Verkaufsanwendungen
Lehre
Herbsttrimester 2025
Abschlussarbeiten
Frühere Lehrveranstaltungen
Alte Klausuraufgaben
Wintertrimester 2011
Wintertrimester 2011
Einführung in die Informatik II
[Schmitz]
Maschinennahe Programmierung II
[Minas]
Algorithmische Geometrie
[Minas]
Praktikum Korrekte Software
[Schmitz]
Frühere Lehrveranstaltungen
Frühere Lehrveranstaltungen
Alte Klausuraufgaben
Alte Klausuraufgaben