Biographie de David Hemmendinger
David Hemmendinger is Associate Professor of Computer Science and department chair at Union College, Schenectady, New York. He has also taught computer science at Wright State University, Ohio. His interests include programming languages, concurrent programming, and formal verification of hardware designs. He began work in computer science in 1981, having previously taught philosophy at the City University of New York, and at Antioch and Kenyon Colleges. He has degrees from Harvard (B.A.) and Stanford Universities (M.S. in mathematics), Yale (M.A., Ph.D. in philosophy) and Wright State University (M.S. in computer science). He is a senior member of the IEEE, and a member of the Association for Computing Machinery, Phi Beta Kappa, and Sigma Xi.