Institut für Informatik

Konstruktion und Programmierung von Rechnern sind nach wie vor der Kernbereich der wissenschaftlichen Arbeitsgruppen des Instituts für Informatik. Die Weiterentwicklung des Fachs - und damit die  wissenschaftlichen Ausrichtung des Instituts - wird stark durch Anwendungen bestimmt.

In unserem Informatik-Studium sind die ersten Studienjahre Grundlagen-orientiert und vermitteln ein langfristig verwertbares Wissen. Die weiterführenden Lehrangebote haben starken Bezug zu anwendungsorientierten Projekten der Forschungsgruppen, in Kooperation mit externen Partnern aus Wirtschaft und Wissenschaft.

Erstsemester da lang!

Semester- und Studienbeginn

Für Erstsemester-Studierende der Mathematik, Informatik und Bioinformatik: wichtige einführende Veranstaltungen mit Informationen zum Studium und zu den Lehrveranstaltungen.

RST-ICSE Prof. Prechelt

Software-Entwicklung "Agile Offsharing" ausgezeichnet

Mit einer neuen Methode zur örtlich verteilten Software-Entwicklung hat die Arbeitsgruppe Software Engineering des Instituts für Informatik den Wettbewerb "Ready-Set-Transfer" (RST) bei der Internationalen Konferenz für Software-Entwicklung (ICSE) gewonnen. Im Mittelpunkt des Wettbewerbs, der zum ersten Mal ausgetragen wurde, standen Software-Technologien, die schon bald in der Industrie eingesetzt werden könnten.

Gottesbeweis durch Christoph Benzmüller

Formalisierung und Automatisierung von Gödels Gottesbeweis

Wissenschaftlern der Freien Universität Berlin und der TU Wien ist es gelungen, Kurt Gödels berühmten Gottesbeweis mit Computern zu überprüfen. Die Wissenschaftler haben Automatisches Theorembeweisen eingesetzt , eine Technik , die bis heute vor allem für mathematische Fragestellungen verwendet wurde.

Volker Roth

Whistleblowers und AdLeaks - ein System zur geheimen Datenübertragung

Prof. Volker Roth forscht im AdLeaks-Projekt an einem System, mithilfe dessen eine Person bei der Datenübertragung über das Internet unerkannt bleibt. Das AdLeaks-System wird derzeit im Rahmen des EU-Projekts CONFINE untersucht und getestet. Eine erste Version des Quellcodes ist für Interessierte zum Download verfügbar.

Arbeitsgruppen vorgestellt:

Prof. Reinert

Algorithmische Bioinformatik

The Algorithmic Bioinformatics group focuses on the development of novel algorithms and data structures for problems in the analysis of biomedical mass data. Apart from modeling problems and devising efficient algorithms to solve the problems, the group focuses on developing free, integrated ...

Kolloquium und Termine

Informatik: alle Termine, Vorträge, Konferenzen

Fachbereich Vorträge, Termine

Informatik Nachrichten