... for her thesis on "Semantic Foundations of Intermediate Program
Representations".
It is with great pleasure that we can announce Delphine as the winner of
the PhD Award over 2012 of the European Association for Programming
Languages and Systems. Our heartfelt congratulations!
The thesis, carried out at INRIA and supervised by Thomas Jensen, was
selected as the best among those submitted by a panel of 30 experts from
all across Europe, and lauded for its innovation, impact and writing,
and for its combination of theory and practice. The submission and
selection procedure can be found at http://eapls.org/pages/phd_award.
Some quotes from the experts' reports:
"This outstanding thesis is written in an accurate and friendly way, it
is a real pleasure to read. It shows that Delphine Demange excels both
in foundational research and in engineering design."
"The thesis has not only a solid theoretic base, but also an important
practical significance"
"This is an outstanding thesis in the very innovative and
forward-pointing area of formal modelling of compilation and
intermediate languages."
"This foundational thesis reports on excellent scientific work which is
of great importance for computer science."
On behalf of the EAPLS,
Arend Rensink
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
