Age, Biography and Wiki
Javier Esparza was born on 27 April, 1964 in Pamplona, Spain, is a Spanish computer scientist. Discover Javier Esparza's Biography, Age, Height, Physical Stats, Dating/Affairs, Family and career updates. Learn How rich is he in this year and how he spends money? Also learn how he earned most of networth at the age of 59 years old?
| Popular As |
N/A |
| Occupation |
N/A |
| Age |
59 years old |
| Zodiac Sign |
Taurus |
| Born |
27 April, 1964 |
| Birthday |
27 April |
| Birthplace |
Pamplona, Spain |
| Nationality |
Spain
|
We recommend you to check the complete list of Famous People born on 27 April.
He is a member of famous computer with the age 59 years old group.
Javier Esparza Height, Weight & Measurements
At 59 years old, Javier Esparza height not available right now. We will update Javier Esparza's Height, weight, Body Measurements, Eye Color, Hair Color, Shoe & Dress size soon as possible.
| Physical Status |
| Height |
Not Available |
| Weight |
Not Available |
| Body Measurements |
Not Available |
| Eye Color |
Not Available |
| Hair Color |
Not Available |
Dating & Relationship status
He is currently single. He is not dating anyone. We don't have much information about He's past relationship and any previous engaged. According to our Database, He has no children.
| Family |
| Parents |
Not Available |
| Wife |
Not Available |
| Sibling |
Not Available |
| Children |
Not Available |
Javier Esparza Net Worth
His net worth has been growing significantly in 2023-2024. So, how much is Javier Esparza worth at the age of 59 years old? Javier Esparza’s income source is mostly from being a successful computer. He is from Spain. We have estimated Javier Esparza's net worth, money, salary, income, and assets.
| Net Worth in 2024 |
$1 Million - $5 Million |
| Salary in 2024 |
Under Review |
| Net Worth in 2023 |
Pending |
| Salary in 2023 |
Under Review |
| House |
Not Available |
| Cars |
Not Available |
| Source of Income |
computer |
Javier Esparza Social Network
| Instagram |
|
| Linkedin |
|
| Twitter |
|
| Facebook |
|
| Wikipedia |
|
| Imdb |
|
Timeline
Francisco Javier Esparza Estaun (born 27 April 1964 in Pamplona, Spain ) is a Spanish computer scientist.
He is a professor at the Technical University of Munich.
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.
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.
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) and 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.
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 peer-reviewed scientific papers in the aforementioned fields, as well as a book on an algorithmic approach to automata theory (coauthored with Michael Blondin.)
Multiple software verification tools have been developed by his group, such as Moped and jMoped, Rabinizer, Strix, and Peregrine.
Javier Esparza has been awarded an honorary doctorate in Informatics from the Masaryk University of Brno, Czech Republic, in 2009, and he is an elected member of Academia Europaea since 2011.
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); several best paper awards at conferences; multiple times a Best Teaching prize at the Technische Universität München; and a Dissertation Prize of Universidad de Zaragoza (1990).
He received an Advanced Grant from the European Research Council in 2018 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 has served as a Chair or a member of various professional Program, Steering and Selection Committees.
