Tino Teige
Research assistant
Carl von Ossietzky
Universität Oldenburg
Department of
Computing Science
Research Group Hybrid
Systems
D-26111 Oldenburg, Germany
Room: OFFIS D 118
Phone: +49-441-9722-535
Fax: +49-441-9722-502
tino.teige
at informatik.uni-oldenburg.de
My research interests are the
analysis and verification of Hybrid
Discrete-continuous Systems and Probabilistic Hybrid Systems. Our
analysis tools are based on different techniques from (Stochastic) Satisfiability Testing (SAT), Constraint Programming (CP), and Satisfiability Modulo Theories
(SMT). I am participating in the development of the tool HySAT, a
satisfiability checker for Boolean combinations of non-linear
arithmetic
constraints over real- and integer-valued variables which can also be
used as a bounded model checker for hybrid (discrete-continuous)
systems. I am a member of the Graduate School on Trustworthy Software
Systems (TrustSoft)
funded by the German Research Council (DFG). Furthermore, I am involved
in the Transregional Collaborative Research Center "Automatic
Verification and Analysis of Complex Systems" (SFB/TR 14 AVACS) which is also funded
by the German Research Council. For more details please consult my resume.
last
modification: February 3, 2010