FMCAD 2008
Formal Methods in Computer Aided Design
Portland, OR, USA
November 17 - 20
  • Ball, Thomas, Microsoft Research
  • Baumgartner, Jason, IBM Corporation
  • Benke, Matt, Department of Defense
  • Biere, Armin, JKU
  • Bingham, Jesse, Intel
  • Bjesse, Per, Synopsys
  • Bjorner, Nikolaj, Microsoft Research
  • Bloem, Roderick, Graz University of Technology
  • Boehm, Peter, University of Oxford
  • Bofill Arasa,Miquel,University of Girona
  • Boshra-riad, Samy, Mentor Graphics
  • Brayton, Robert, UC Berkeley
  • Bu, Lei, Nanjing University
  • Bulach, Slava, Robert Bosch GmbH
  • Bunker, Annette, Intel Corporation
  • Case, Mike, UC Berkeley
  • Chaki, Sagar, Software Engineering Institute
  • Chatterjee, Satrajit, Intel
  • Chaudhry, Rahul, Mentor Graphics
  • Chockler, Hana, IBM Haifa Research Lab
  • Cimatti, Alessandro, FBK-irst
  • Claessen, Koen, Chalmers University of Technology
  • Cook, Byron, Microsoft
  • De Paula, Flavio, CS Dept. - U. of British Columbia
  • Deshmukh, Jyotirmoy, University of Texas at Austin
  • Erkok, Levent, Galois, Inc.
  • Farkash, Noam, Mentor Graphics
  • Fisman, Dana, IBM Haifa Research Lab, Hebrew University
  • Franzén, Anders, FBK-irst
  • Fujita, Masahiro, University of Tokyo
  • Ghughal, Rajnish, Intel Corporation
  • Goel, Amit, Intel
  • Gopalakrishnan, Ganesh, University of Utah
  • Graunke, Paul, Galois, Inc
  • Greenstreet, Mark, University of British Columbia
  • Gupta, Rajesh, UC San Diego
  • Hagen, George, The University of Iowa
  • Hanna, Ziyad, Jasper Design Automation
  • Hao, Kecheng, Portland State University
  • Hardin, David, Rockwell Collins
  • Harrison, John, Intel Corporation
  • Hartel, Pieter, University of Twente
  • Heyman, Tamir, Synopsys
  • Hu, Alan, University of British Columbia
  • Hunt Jr., Warren, University of Texas at Austin
  • Jones, Kevin, -
  • Jones, Robert, Intel
  • Kaiss, Daher, Intel Corp.
  • Kaivola, Roope, Intel Corp,
  • Kavalipati, Paparao, Mentor Graphics Corporation
  • Koelbl, Alfred, Synopsys, Inc.
  • Kroening, Daniel, ETH Zuerich
  • Krstic, Sava, Intel Corporation
  • Kunz, Wolfgang, U. of Kaiserslautern
  • Lahiri, Shuvendu, Microsoft Research
  • Levin, Alexander, Intel
  • Levinger, Moshe, IBM
  • Levinger, Moshe, IBM R&D Labs in Israel
  • Levitt, Jeremy, Mentor Graphics Corporation
  • Li, Bing, Mentor Graphics
  • Li, Juncao, Portland State University
  • Li, Wenchao, UC Berkeley
  • Manolios, Pete, Northeastern University
  • Mathur, Anmol, Calypto Design Systems
  • Matthews, John, Galois, Inc.
  • McMillan, Kenneth, Cadence Research Labs
  • Melham, Tom, Oxford University
  • Mishchenko, Alan, UC Berkeley
  • Mony, Hari, IBM Corporation
  • Moon, In-Ho, Synopsys
  • Mossawir, Kathryn, Rambus, Inc
  • Myreen, Magnus, University of Cambridge, UK
  • Nicholls, William, Synopsys
  • O'Leary, John, Intel Corporation
  • Oliveras, Albert, Technical University of Catalonia
  • Pike, Lee, Galois, Inc.
  • Pixley, Carl, Synopsys Inc.
  • Quer, Stefano, POLITECNICO DI TORINO
  • Rakamaric, Zvonimir, University of British Columbia
  • Ray, Sandip, UT Austin
  • Reeber, Erik, Intel
  • Rubio, Albert, Universitat Politècnica de Catalunya
  • Samanta, Roopsha, The University of Texas at Austin
  • Schubert, Tom, Intel Corporation
  • Seawright, Andrew, Mentor Graphics Corp
  • Seger, Carl, Intel
  • Seshia, Sanjit, UC Berkeley
  • Sharygina, Natasha, USI Switzerland and CMU, USA
  • Sheeran, Mary, Chalmers
  • Sinha, Nishant, NEC Labs USA
  • Slobodova, Anna, Centaur Technology
  • Smith, Eric, Stanford University
  • Sörensson, Niklas, Chalmers University of Technology
  • Strichman, Ofer, Technion
  • Swords, Sol, University of Texas at Austin
  • Tabakov, Deian, Rice University
  • Talupur, Murali, Intel/SCL
  • Telfer, Amber, Intel Corporation
  • Tinelli, Cesare, The University of Iowa
  • Tronci, Enrico, University of Roma La Sapienza
  • Tuttle, Mark, Intel
  • Vardi, Moshe, Rice University
  • Xie, Fei, Portland State University
  • Yan, Chao, University of British Columbia
  • Yang, Jin, Intel Corporation
  • Yu, Jinqing, Averant Inc.
  • Zaki, Mohamed, University of British Columbia
  • Zheng, Hao, University of South Florida
  • Zuck, Lenore, NSF/UIC