Ingo Pill
, Ingo Hans Pill
, Ingo H. Pill
Ingo Pill
External Lecturer, Institute for Software Technology, Technische Universität Graz
- Joined July 2019
Names
Emails
****@gmail.com (Confirmed)
, ****@ist.tugraz.at
, ****@silicon-austria.com
, ****@tugraz.at
Personal Links
Career & Education History
External Lecturer
Institute for Software Technology, Technische Universität Graz (tugraz.at)
2021 – Present
Staff Scientist
Embedded System Division, Silicon Austria Labs (silicon-austria.com)
2021 – 2024
Senior Scientist
Silicon Austria Labs (silicon-austria.com)
2020 – 2020
Senior Scientist
Inst. of Software Technology, Technische Universität Graz (tugraz.at)
2008 – 2020
Advisors, Relations & Conflicts
Expertise
Model-based Diagnosis
Present
Resilient Systems
Present
Artificial Intelligence
Present
Formal Verification
Present
Automata
Present
Temporal Logics
Present