Professor Dr.-Ing. Christoph Scholl

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

Projects

As Applicant
- Current projects
  - SUPRA: Satisfiability UPon GeneRAlization beyond SAT (Research Grants)
- Completed projects
  - Solving Dependency Quantified Boolean Formulas (Research Grants)
  - VerA: Fully Automatic Formal Verification of Arithmetic Circuits (Research Grants)
As Participating Researcher
- Completed projects
  - GRK 1103: Embedded Microsystems (Research Training Groups)
As Project Head
- Completed projects
  - Automated Verification of Cooperating Traffic Agents (CRC/Transregios)
  - Compositional Approaches to System Verification (CRC/Transregios)
As Participating Person
- Completed projects
  - Einsatz von Verifikationstechniken unter Berücksichtigung unvollständiger Information (Research Grants)