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

2023

Static Analysis Symposium

Session Chair of Modular arithmetic and numeric analysis (part of SAS 2023)
Invited Speaker in Invited Speakers
Invited Speaker of Abstract Interpretation in Industry - Experience and Lessons Learned within the SAS 2023-track

SOAP

Committee Member in Program Committee within the SOAP 2023-track