Daniel Kaestner

Registered user since Wed 22 Feb 2023

Name:Daniel Kaestner
Bio:

Daniel Kästner is co-founder and CTO of AbsInt GmbH. He studied Computer Science and Business Economics and received his Ph.D. on code optimization for embedded processors in the year 2000. He has been a lecturer at the University of Saarbrücken, Germany and has been program committee member of numerous international conferences. He is a member of the ISO 26262 and IEC 61508 working groups on Software Safety, and a member of the MISRA C and MISRA SQM working groups.

Country:Germany
Affiliation:AbsInt
Research interests:functional safety, cybersecurity, abstract interpretation, static analysis, software verification, compiler verification, real-time systems, embedded systems

Contributions