Prof. Koldehofe hat an der Universität des Saarlands sein Informatikstudium absolviert, an der Chalmers Tekniska Högskola promoviert und sich an der TU Darmstadt habilitiert. Er hat an mehreren nationalen und internationalen Einrichtungen wie der EPFL, die Universitäten Stuttgart und Heidelberg sowie zuletzt als Full Professor an der Universität Groningen in Forschung und Lehre gearbeitet. Er ist weiterhin im DFG Sonderforschungsbereichs 1053 MAKI an der TU Darmstadt tätig. Seine Forschung im Bereich Verteilter Systeme und Betriebssysteme befassen sich mit Grundlagen der adaptiven und verteilten Rechnersystemen sowie deren anwendungsnahe Evaluierung hinsichtlich Leistungsfähigkeit, Zuverlässigkeit und Sicherheit. Besondere Schwerpunkte sind derzeit im Kontext des sogenannten „In-Network Computing“, die Betrachtung und Einbindung von programmierbaren Kommunikationssystemen, um IoT-nahe Anwendungen die Verarbeitung großer Datenströme und deren Analyse zu beschleunigen und energie-effizienter zu betreiben. Seit Neuerem erforscht Prof. Koldehofe auch die Einbindung neue Berechnungsmodelle und Speichertechnologien wie Memristoren, um Verteilte Rechnersysteme energie-effizienter betreiben zu können.
Research
The distributed and operating systems group researches the fundamentals of adaptive computing systems and their application-oriented evaluation concerning performance, reliability, and security. Research topics cover all aspects related to distributed and network-centric information systems and model-driven security engineering of IT systems.more
Teaching
We offer courses on topics related to distributed systems and operating systems, including specialized courses on their non-functional properties. Special emphasis is put on critical requirements for information security. Our teaching offer in German or English covers various courses of study. more
- Saad Saleh, Anouk S. Goossens, Sunny Shu, Tamalika Banerjee and Boris Koldehofe. Analog In-Network Computing through Memristor-based Match-Compute Processing. To Appear in Proceedings of the 43rd IEEE International Conference on Computer Communications, INFOCOM 2024, IEEE, 2024.
- Saad Saleh and Boris Koldehofe. The Future is Analog: Energy-Efficient Cognitive Network Functions over Memristor-Based Analog Computations. In Proceedings of the 22nd ACM SIGCOMM Workshop on Hot Topics in Networks, HotNets 2023, ACM, 2023.
- Marius Schlegel, Peter Amthor. Beyond Administration: A Modeling Scheme Supporting the Dynamic Analysis of Role-based Access Control Policies. In Proceedings of the 17th International Conference on Security and Cryptography, SECRYPT 2020, pages 431–442, 2020.
- Peter Amthor, Marius Schlegel. Towards Language Support for Model-based Security Policy Engineering. In Proceedings of the 17th International Conference on Security and Cryptography, SECRYPT 2020, pages 513–521, 2020.
- Peter Amthor, Martin Rabe. Command Dependencies in Heuristic Safety Analysis of Access Control Models. In Proceedings of the 12th International Symposium on Foundations & Practice of Security, FPS 2019, pages 207–224, 2020.