Dr. Dominik Schreiber
Dominik Schreiber ist Emmy-Noether-Gruppenleiter im Rahmen seines DFG-Drittmittelprojekts “Scalable Automated Reasoning”.
Die Website der Nachwuchsgruppe befindet sich auf .
Funktion
Emmy-Noether-Gruppenleiter
Kontakt
Dr. Dominik Schreiber
Institut fĂĽr Theoretische Informatik
Raum 534/O27
dominik.schreiber (_at) uni-ulm.de