[Matryoshka-devel] New Matryoshka member: Petar Vukmirovic
j.c.blanchette at vu.nl
Wed Jun 21 13:50:50 CEST 2017
It is my pleasure to announce that Petar Vukmirovic [*], currently a M.Sc. student at VU Amsterdam, will join Matryoshka as a Ph.D. student at the VU. He is expected to start in February 2018, once he has submitted his M.Sc. thesis. Petar is one of those rare people who combine a deep interest for theory and for low-level hacking. He has some experience with Coq through the Logical Verification course at the VU. For his M.Sc. thesis, he will also work on some Matryoshka-related topic (e.g., work on E, veriT, or Lean).
Welcome on board, Petar!
More information about the matryoshka-devel