[Matryoshka-devel] Hans-Jörg Schurr will join Matryoshka

Pascal Fontaine Pascal.Fontaine at loria.fr
Thu Apr 6 11:12:22 CEST 2017

Dear All,

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 mailing list