Thomas Henzinger
Thomas Henzinger (born in 1962) is a Austrian Informaticien specialized in the field of the formal methods.
Biography
After having obtained its diploma for the occupation of Data-processing engineer in of the Kepler University of Linz, in Austria and a M.Sc in data processing and information sciences of the University of Delaware, it becomes Doctorant at the university of Stanford, in California with the the United States, of which it is graduate in 1991. Professor attending the University Cornell of 1992 with 1995, he was also director of the Institut max Planck of data processing in 1999 with Saarbrucken in Germany, then professor with the university of Berkeley until in 2004. Since 2004, he is professor at the department of data processing of FPSL. He was elected Fellow of the IEEE starting from the 2006.
Seek
Its fields of predilection are the modern system theory, in particular the formalisms and the tools for the hierarchical and modular design, as well as the implementation and the checking of the embarked systems, time-reality and hybrids. Its tool HyTech is the first inspector of models for the discrete-continuous analog and digital systems. He is moreover the creator of BLAST ( Berkeley Lazy Abstraction Software Checking Tool ), a tool for the checking of the material pilots repurchased by Microsoft.
| Random links: | Almond tree | TopologÃa | District of Dietikon | Hans Knauss | Luciana De Simoni | Disneyland Paris | Sarah_Teather |