...
Bruno Dutertre is a Senior Computer Scientist in the Computer Science Laboratory of SRI International. His main research interests include
decision procedures, SMT solving, and the application of logic, theorem proving and model checking to the engineering of
high-integrity systems. He is developer and maintainer of Yices, SRI's state-of-the-art SMT solver, which is freely available at http://yices.csl.sri.com/
. He also contributes to the development of SRI's Symbolic Analysis Laboratory (SAL) a toolset for
modeling and model checking of state-transition systems.
...