Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Professor Dr.-Ing. Christoph Scholl

Adresse Albert-Ludwigs-Universität Freiburg
Technische Fakultät
Institut für Informatik
Georges-Köhler-Allee 106
79110 Freiburg

Projekte

Als Antragsteller
- laufende Projekte
  - SUPRA: Erfüllbarkeit von Verallgemeinerungen des SAT-Problems (Sachbeihilfen)
- abgeschlossene Projekte
  - Lösen von abhängigkeitsquantifizierten Booleschen Formeln (Sachbeihilfen)
  - VerA: Vollautomatische Formale Verifikation Arithmetischer Schaltkreise (Sachbeihilfen)
Als beteiligter Wissenschaftler
- abgeschlossene Projekte
  - GRK 1103: Eingebettete Mikrosysteme (Graduiertenkollegs)
Als Teilprojektleiter
- abgeschlossene Projekte
  - Automatisierte Verifikation kooperierender Verkehrssysteme (Transregios)
  - Kompositionelle Verifikation komplexer Systeme (Transregios)
Als Beteiligte Person
- abgeschlossene Projekte
  - Einsatz von Verifikationstechniken unter Berücksichtigung unvollständiger Information (Sachbeihilfen)

© 2024 DFG Kontakt / Impressum / Datenschutz