Background
Henzinger, Thomas Anton was born on December 8, 1962 in Linz, Austria. Came to the United States, 1985. Son of Sigmund A. and Elisabeth Henzinger.
Henzinger, Thomas Anton was born on December 8, 1962 in Linz, Austria. Came to the United States, 1985. Son of Sigmund A. and Elisabeth Henzinger.
Diplomas in computer science with distinction, Kepler University, Linz, 1987. Master of Science in Computer and Information Science, University Delaware, 1986. Doctor of Philosophy in Computer Science with distinction, Stanford University, 1991.
Assistant professor computer science Cornell University, Ithaca, New York, 1992-1995. Assistant professor electrical engineering/computer science University California, Berkeley, 1996-1997, associate professor electrical engineering/computer science, 1997-1998, professor electrical engineering/computer science, since 1998. Science director Max-Planck Institute for Computer Science, Saarbrücken, Germany, 1999-2000.
Visitor American Telephone & Telegraph Company Bell Laboratories, Murray Hill, New Jersey, 1991, 92, 93, 94, 95. Visiting scientist department applied mathematics Weizmann Institute of Science, Rehovot, Israel, 1989, 90. Postdoctoral visitor Institute Computer Science and Applied Mathematics Fourier University, Grenoble, France, 1991.
Journal referee Distributed Computing, Formal Aspects of Computing, Formal Methods in System Design, Information and Computation, Journal Automated Resaoning, Journal Symbolic Computation. Lecturer in field.
Member American Association for the Advancement of Science, Mathematics Association American, Association Computing Machinery (journal referee conference referee), Institute of Electrical and Electronics Engineers (journal referee, conference referee), Association Symbolic Logic (journal referee), Society Industrial and Applied Mathematics (journal referee, conference referee), European Association Theoretical Computer Science (journal referee), New York Academy of Sciences, Sigma Xi.