Prof. Dr. habil. Reinhard Rauscher is a retired professor at the Osnabrück University of Applied Sciences, affiliated with the Faculty of Management, Culture and Technology. He holds a Diplom in Informatics from the Christian-Albrechts-Universität Kiel (1982), a PhD in Computer Science from the University of Hamburg (1987), and a habilitation in Computer Science focusing on 'Design and Methodology of Application-Specific Digital Systems' (1998). His teaching responsibilities include courses such as Algorithms, Programming, and Databases. Research Interests: His work spans digital system design, VLSI architecture, CAD tools for hardware design, microprogramming optimization, and real-time image processing ASICs. Notable contributions include methodologies for microcode transformation verification, CAD systems for digital circuit design, and research on numerical stability in systolic arrays. Publications: Over 30 peer-reviewed papers in conferences like EUROMICRO, CONPAR, and journals such as Microprocessing and Microprogramming. His research emphasizes practical applications of theoretical computer science in hardware-software co-design. Grants & Labs: Involved in projects like CAMILOD (correctness-proven hardware design), BOSSDIS (automated hardware description transformation), and collaborations on ASIC development for image processing and SCHEME coprocessors. His work integrates algorithmic theory with embedded system implementation challenges.
