Christoph Scholl
Head of Operating Systems Group
Address:
- Albert-Ludwigs-University Freiburg
- Institute of Computer Science
- Georges-Köhler-Allee 51
- D-79110 Freiburg, Germany
- Phone: ++ 49 761 203 8152
- Fax: ++ 49 761 203 8178
- e-mail: scholl@informatik.uni-freiburg.de
Publications:
Research interests and projects:
- Verification of hard- and software
- Error diagnosis
- Synthesis of circuits and systems (in particular FPGA (Field programmable gate array) synthesis, decomposition)
- Data structures for Boolean functions
- Embedded system design and analysis
- Real time operating systems
October 2004