SPLASH 2023 (series) / 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
SPLASH 2023-profile
View general profile
View general profile