[Matryoshka-devel] New Matryoshka member: Petar Vukmirovic

Blanchette, J.C. j.c.blanchette at vu.nl
Wed Jun 21 13:50:50 CEST 2017

Dear colleagues,

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!



[*] https://github.com/petarvukmirovic

More information about the matryoshka-devel mailing list