[Matryoshka-devel] Hans-Jörg Schurr will join Matryoshka
Pascal.Fontaine at loria.fr
Thu Apr 6 11:12:22 CEST 2017
we are extremely happy to announce that Hans-Jörg Schurr will join the
Matryoshka team (Nancy site) to work on SMT for Higher-Order Logic,
starting Fall 2017.
Hans-Jörg is currently a student at TU Wien (with Alexander Leitsch as
advisor), doing his master thesis with Chris Benzmüller at FU Berlin,
and working on LEO-III.
Welcome on board, Hans-Jörg!
Pascal (also for Jasmin)
More information about the matryoshka-devel