Daniel studied Computer Science and Business Economics at Saarland University and, in the year 2000, received his Ph.D. on code optimization for embedded processors. He is a co-founder of the company AbsInt, located here at the Science Park. AbsInt provides verification tools for safety- or security-critical embedded systems, in particular based on abstract interpretation and […]