Peter-Michael Seidel  (PhD'00, Habilitation'02, Saarland University)

         Assistant Professor
         Computer Science and Engineering Department
         Southern Methodist University
         Dallas, Texas

        seidel AT engr DOT smu DOT edu

      General Research Focus:
         Effectivity & Correctness in 
         Computer Architecture, Computer Arithmetic and VLSI Design

      Mailing Address: 
         Southern Methodist University
         School of Engineering, CSE Department
         Fondren Library Center, Rm. 301 SIC
         6425 Ownby Dr. (formerly Airline Road) 
         Dallas, TX 75205 

         PO Box 750122, Dallas, TX 75275-0122 

      Telephone and FAX: 
         Phone: ++1-214-768-1476 
         FAX:    ++1-214-768-3085 
 

  Nikhil D. Kikkeri  (http://engr.smu.edu/~nikhil)

      PhD student since Fall 2003

      Research Focus:
         - Formal Verification of High-Performance Circuits
         - Incremental Theorem Proving

  Sam Sandbote  (http://engr.smu.edu/~sandbote)

      PhD student since Fall 2005

      Research Focus:
           -  Parallel microarchitectures
           -  Multithreaded and Multiprocessor-on-chip system architecture

  Nathaniel E. Ayewah  (http://www.natidea.com)

      Master's Thesis completed in Fall 2005

      Research Focus:
           - Improved HW&SW Algorithms for Hearing Aids
           - Interactive User Interfaces in Formal Verification
           - the VAMPExplorer

  Vinay Venkatraghavan

      PhD Student since Fall 2001 (now part time)

      Research Focus: Protocol Verification