Jump to content

Javier Esparza: Difference between revisions

From Wikipedia, the free encyclopedia
Browse history interactively
← Previous editNext edit →
Content deleted Content added
VisualWikitext
KeC-Wiki (talk | contribs)
24 edits
m Discriminate the two books' subjects; slightly modified the sentence after that.
KeC-Wiki (talk | contribs)
24 edits
m seven -> multiple because I cannot verify it independently of his CV
Line 64: Line 64:


== Awards and honours ==
== Awards and honours ==
Javier Esparza has been awarded an honorary doctorate in Informatics from the [[Masaryk University]] of Brno, Czech Republic, in 2009,<ref>{{cite web|url=https://www.muni.cz/en/about-us/awards/336|title=Javier Esparza–Honorary Doctorates conferred by MU|website=Masaryk University|access-date=2021-04-26}}</ref> and he is an elected member of [[Academia Europaea]] since 2011.<ref>{{cite web|url=https://www.ae-info.org/ae/Member/Esparza_Javier|title=Javier Esparza|website=Academia Europaea|access-date=2021-04-26}}</ref> He received the [[International Conference on Concurrency Theory|CONCUR]] ''Test-of Time Award'' 2021 for his paper ''Reachability Analysis of Pushdown Automata: Application to Model-checking'' (co-authored with Ahmed Bouajjani and Oded Maler);<ref>{{cite web|url=https://qonfest2021.lacl.fr/test-of-time.php|title=Concur Test of Time Awards|website=Qonfest conference website|access-date=2021-04-26}}</ref> the ''Best Paper Award'' for his paper ''Parameterized Analysis of Immediate Observation Petri Nets'' (co-authored with Mikhail A. Raskin and Chana Weil-Kennedy) at the Petri nets 2019 conference;<ref>{{cite web|url=https://paves.model.in.tum.de/2019/07/best-paper-award-petri-nets/|title=Best paper award Petri Nets|website=PaVeS website|access-date=2021-04-26}}</ref> seven times a ''Best Teaching'' prize at the Technische Universität München (2009–2020);<ref>{{cite web|url=https://mpi.fs.tum.de/die-fachschaft/preise/teachinfaward/|title=TechInf Award (Informatik)|website=Fachschaft Mathematik, Physik, Informatik der TUM|access-date=2021-04-26}}</ref> and the ''Dissertation Prize'' of Universidad de Zaragoza (1990).<ref>{{cite web|url=https://www.ae-info.org/ae/Member/Esparza_Javier/CV|title=Javier Esparza - Curriculum Vitae|website=Academia Europaea|access-date=2021-04-26}}</ref>
Javier Esparza has been awarded an honorary doctorate in Informatics from the [[Masaryk University]] of Brno, Czech Republic, in 2009,<ref>{{cite web|url=https://www.muni.cz/en/about-us/awards/336|title=Javier Esparza–Honorary Doctorates conferred by MU|website=Masaryk University|access-date=2021-04-26}}</ref> and he is an elected member of [[Academia Europaea]] since 2011.<ref>{{cite web|url=https://www.ae-info.org/ae/Member/Esparza_Javier|title=Javier Esparza|website=Academia Europaea|access-date=2021-04-26}}</ref> He received the [[International Conference on Concurrency Theory|CONCUR]] ''Test-of Time Award'' 2021 for his paper ''Reachability Analysis of Pushdown Automata: Application to Model-checking'' (co-authored with Ahmed Bouajjani and Oded Maler);<ref>{{cite web|url=https://qonfest2021.lacl.fr/test-of-time.php|title=Concur Test of Time Awards|website=Qonfest conference website|access-date=2021-04-26}}</ref> the ''Best Paper Award'' for his paper ''Parameterized Analysis of Immediate Observation Petri Nets'' (co-authored with Mikhail A. Raskin and Chana Weil-Kennedy) at the Petri nets 2019 conference;<ref>{{cite web|url=https://paves.model.in.tum.de/2019/07/best-paper-award-petri-nets/|title=Best paper award Petri Nets|website=PaVeS website|access-date=2021-04-26}}</ref> multiple times a ''Best Teaching'' prize at the Technische Universität München (2009–2020);<ref>{{cite web|url=https://mpi.fs.tum.de/die-fachschaft/preise/teachinfaward/|title=TechInf Award (Informatik)|website=Fachschaft Mathematik, Physik, Informatik der TUM|access-date=2021-04-26}}</ref> and the ''Dissertation Prize'' of Universidad de Zaragoza (1990).<ref>{{cite web|url=https://www.ae-info.org/ae/Member/Esparza_Javier/CV|title=Javier Esparza - Curriculum Vitae|website=Academia Europaea|access-date=2021-04-26}}</ref>


== References ==
== References ==

Revision as of 07:52, 28 April 2021

Javier Esparza
CitizenshipSpanish
Awards
Scientific career
Fields
Institutions
Websitewww7.in.tum.de/~esparza/

Francisco Javier Esparza Estaun (born 27 April 1964 in Pamplona, Spain) is a Theoretical Physicist specialising in Computer Science. He is a professor at the Technische Universität München.

Biography

Javier Esparza Estaun received his Master of Science degree in Theoretical Physics from the University of Zaragoza (1987). He earned his Doctoral degree (PhD) in Computer Science (1990, on free-choice Petri nets) from the same university. He habilitated 1994 at the University of Hildesheim on the subject of Petri net unfoldings.

After his habilitation, he was employed as an Associate Professor at Technische Universität München (1994–2001). He was then successively Chair of Theoretical Computer Science at the University of Edinburgh (2001–2003), Chair of Software Reliability and Security at the Universität Stuttgart (2003–2007). Since 2007, he holds the Chair for Foundations of Software Reliability and Theoretical Computer Science, again at Technische Universität München.

Professional activities

During his habilitation and in the period afterwards, Javier Esparza's focus was on concurrency theory and the theory of Petri nets. He made important contributions to Petri net structure theory and to the unfolding approach, initially proposed by Kenneth L. McMillan, and he is the co-author of two books on these subjects. [1][2] He has also made contributions to the automata-theoretic approach to software model checking, to program analysis, and to the verification of infinite-state systems. More recently, his work has focused on the verification of parametrised and stochastic systems. He has published over 250 scientific papers[3] in the aforementioned fields, as well as lecture notes on an algorithmic approach to automata theory.[4] Multiple software verification tools have been developed by his group, such as Moped and jMoped, Rabinizer, Strix, and Peregrine. He received an Advanced Grant from the European Research Council in 2018[5] and has been Principal Investigator of more than 20 research projects, most of them collaborative in an international context. He has frequently been invited as a speaker at Computer Science conferences and as a Chair or a member of Program Committees.

Awards and honours

Javier Esparza has been awarded an honorary doctorate in Informatics from the Masaryk University of Brno, Czech Republic, in 2009,[6] and he is an elected member of Academia Europaea since 2011.[7] He received the CONCUR Test-of Time Award 2021 for his paper Reachability Analysis of Pushdown Automata: Application to Model-checking (co-authored with Ahmed Bouajjani and Oded Maler);[8] the Best Paper Award for his paper Parameterized Analysis of Immediate Observation Petri Nets (co-authored with Mikhail A. Raskin and Chana Weil-Kennedy) at the Petri nets 2019 conference;[9] multiple times a Best Teaching prize at the Technische Universität München (2009–2020);[10] and the Dissertation Prize of Universidad de Zaragoza (1990).[11]

References

  1. ^ Jörg Desel and Javier Esparza (1995), Free Choice Petri Nets, Cambridge Tracts in Theoretical Computer Science, vol. 40, Cambridge University Press, ISBN 9-780-52101945-3
  2. ^ Javier Esparza and Keijo Heljanko (2008), Unfoldings–A Partial-Order Approach to Model Checking, EATCS Monographs in Theoretical Computer Science, Springer, ISBN 978-3-540-77425-9
  3. ^ "DBLP publication list for Javier Esparza". DBLP computer science bibliography. Retrieved 2021-04-26.
  4. ^ "An Algorithmic Approach to Automata Theory". Technische Universität München. August 2017.
  5. ^ "ERC funded projects". European Research Council. Retrieved 2021-04-26.
  6. ^ "Javier Esparza–Honorary Doctorates conferred by MU". Masaryk University. Retrieved 2021-04-26.
  7. ^ "Javier Esparza". Academia Europaea. Retrieved 2021-04-26.
  8. ^ "Concur Test of Time Awards". Qonfest conference website. Retrieved 2021-04-26.
  9. ^ "Best paper award Petri Nets". PaVeS website. Retrieved 2021-04-26.
  10. ^ "TechInf Award (Informatik)". Fachschaft Mathematik, Physik, Informatik der TUM. Retrieved 2021-04-26.
  11. ^ "Javier Esparza - Curriculum Vitae". Academia Europaea. Retrieved 2021-04-26.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Javier_Esparza&oldid=1020286187"