Edmund M. Clarke

Dr. Clarke is the FORE Systems Professor of Computer Science and Professor of Electrical and Computer Engineering at Carnegie Mellon University. He has served on the editorial boards of numerous journals and is the former editor-in-chief of Formal Methods in Systems Design. He is a co-founder with Robert Kurshan, Amir Pnueli, and Joseph Sifakis of the International Conference on Computer Aided Verification (CAV) and serves on the steering committee. He received a Technical Excellence Award from the Semiconductor Research Corporation in 1995, and the IEEE Harry M. Goode Memorial Award in 2004. He is a Fellow of ACM and the IEEE Computer Society, and was elected to the National Academy of Engineering in 2005. Dr. Clarke was awarded a B.A. degree in mathematics from the University of Virginia and a M.A. degree in mathematics from Duke University. He earned a Ph.D. degree in computer science from Cornell University, and has taught at Duke University and Harvard University.

E. Allen Emerson

Dr. Emerson is an Endowed Professor in Computer Sciences at the University of Texas at Austin. He was a co-recipient of the 2006 Test- of-Time Award from the IEEE Symposium on Logic in Computer Science (LICS) for his research on efficient Model Checking in the propositional mu-calculus, a highly expressive temporal logic, with Chin-Laung Lei. He has served on the editorial boards of several leading journals in applied logic and formal methods, including ACM Transactions on Computational Logic, Formal Aspects of Computing, and Formal Methods in Systems Design. He serves on the steering committee of the International Symposium on Automated Technology for Verification and Analysis (ATVA) as well as the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI). Dr. Emerson received a B.S. degree in mathematics from University of Texas at Austin, and a Ph.D. in applied mathematics from Harvard University.

Joseph Sifakis

Dr. Sifakis is the founder of Verimag Laboratory, a leading research center for embedded systems in Grenoble, France, where he was director from 1993-2006. He is Research Director of Centre National de la Recherche Scientifique, and Director of the CARNOT Institute on Intelligent Software and Systems in Grenoble. Dr. Sifakis is a member of the editorial board of several journals, and the scientific coordinator of the Artist2 and ArtistDesign European Networks of Excellence on Embedded Systems Design. He is co-founder with Edmund Clarke, Robert Kurshan, and Amir Pnueli of the International Conference on Computer Aided Verification (CAV). He earned a degree in electrical engineering from the Technical University of Athens and a Ph.D. in computer science from the University of Grenoble.