Neue Wege zur Ausbildung von KI-Agenten

Аnwendung von Methoden der Informatik auf reale biologische und medizinische Probleme

Aufdeckung der grundlegenden epigenetischen Regulationsmechanismen und ihrer Rolle bei der Zelldifferenzierung und Alterung

Simulationsmodellierung der Entwicklung neuronaler Gewebe und der beteiligten zellulären Prozesse

Erstellen einer abhängig typisierten Sprache basierend auf der Homotopietypentheorie

Entwicklung von Selbstorientierungsalgorithmen für einen mobilen Roboter und Lösung des SLAM-Problems

Theoretische Grundlagen, Sprachen und Tools zur Entwicklung von Steuerungsprogrammen für cyber-physische Systeme

Untersuchung von kollaborativen Prozessen in SE und darüber hinaus, um Kollaborationstools der nächsten Generation zu ermöglichen

Das Labor entwickelt Instrumente und Methoden für die Forschung in der Teilchenphysik und anderen ähnlichen Bereichen

Die Untersuchung und Anwendung kryptografischer Methoden zum Informationsschutz

Längsforschung, um die Faktoren herauszufinden, die zur Verbesserung der akademischen Leistungen und zum Erfolg in MINT-Berufen beitragen

Erstellen exakter Algorithmen für rechnerisch anspruchsvolle Probleme durch das sorgfältige Verständnis der Struktur einer typischen Eingabe

Anwendung formaler Methoden in der Softwareentwicklung zur Erstellung von Tools auf der Grundlage statischer Analyse, Überprüfung und Programmtransformation

Anwendung modernster Machine Learning-Techniken auf eine Vielzahl unterschiedlicher Probleme

Zusammenführung von Best Practices aus beiden Bereichen, um neue Möglichkeiten zur Entwicklung und Verbesserung von Code zu schaffen

Entwicklung, Überprüfung, Test und Benchmarking moderner nebenläufiger Algorithmen

Lösung von schwierigen Optimierungsproblemen in verschiedenen Bereichen der Softwareentwicklung

Deep Learning-basiertes Tool zur Wissensgewinnung aus wissenschaftlichen biomedizinischen Artikeln

Unterstützung der Grundlagenforschung für Programmiersprachen und -tools

Applying modern computing techniques to data analysis in astroparticle physics

Developing and analyzing algorithms for concurrent and distributed systems