Technical Advisory Board

Alan HuAlan Hu

Dr. Alan J. Hu received his B.S. degree (with honors and academic distinction) as well as his Ph.D. from Stanford University, California.

Currently, he is Associate Professor and Associate Head of the Department of Computer Science at the University of British Columbia. For the past 15 years, his main research focus has been automated, practical techniques for formal verification. Prior to joining UBC, he was a Member of the Research Staff in the VLSI CAD division of Fujitsu Laboratories of America.

Dr. Hu won first place in the Westinghouse (now Intel) Science Talent Search in 1985, was a U.S. National Merit Scholar also in the same year, and was elected to Phi Beta Kappa in 1987. He has served on the program committee of most major CAD and formal verification conferences, and chaired or co-chaired CAV (1998), HLDVT (2003), and FMCAD (2004). He was a Technical Working Group Key Contributor on the 2001 International Technology Roadmap for Semiconductors.

Brian BaileyBrian Bailey

Brian Bailey received his Electrical and Electronic Engineering degree with a first class honors from Brunel University in England.

He is an industry and management consultant, specializing in the functional verification of electronic systems, and a renowned rerification industry veteran and visionary, having contributed to the early development of RTL simulation, hardware emulation, hardware/software co-design and transaction-level modeling using SystemC. He currently chairs the Interface Technical Committee within Accellera, and is also a prolific writer, having published many articles and two recent books on the subject of design and verification.

Sharid MalikSharad Malik

Sharad Malik received his B. Tech. degree in Electrical Engineering from the Indian Institute of Technology, New Delhi, India, and his M.S. and Ph.D. degrees in Computer Science from the University of California, Berkeley.

Currently he is a Professor in the Department of Electrical Engineering at Princeton University. His research spans all aspects of Electronic Design Automation. His current focus areas are the synthesis and verification of digital systems and embedded computer systems. Dr. Malik has published numerous papers, book chapters and a book (Static Timing Analysis for Embedded Software) describing his research. His research in functional timing analysis and propositional satisfiability has been widely used in industrial electronic design automation tools.

He has received numerous awards, including Best Paper Awards at the International Conference on Computer Design, the Design Automation Conference (DAC), and the Design Automation and Test in Europe (DATE) Conference. He serves/has served on the program committees of DAC, ICCAD and ICCD and was the General Chair for DAC 2004. He is on the editorial boards of the Journal of VLSI Signal Processing, Design Automation for Embedded Systems and IEEE Design and Test. He is a fellow of the IEEE. He is currently serving as the Associate Director of the Gigascale Systems Research Center, a multi-university effort directed towards defining and developing system design methodology with a ten-year horizon.

Tom MelhamTom Melham

Tom Melham is a Professor of Computer Science at the University of Oxford and a Fellow of Balliol College. He is well-known for his technical contributions and publications on combined model checking and theorem proving, industrial-scale hardware verification, abstraction techniques, and for integrating formal verification into hardware design methodologies.

Prof. Melham received his Ph.D. in 1990 from the University of Cambridge for his foundational research in formal hardware verification and mechanized reasoning, and was a co-developer of the original HOL theorem prover for higher order logic at Cambridge. In 1993, he joined the Computing Science Department at Glasgow University. He was appointed to a Professorship of Computing Science at Glasgow in 1998, before moving to Oxford in 2002. He was elected a Fellow of the Royal Society of
Edinburgh in 2002.

Moshe VardiMoshe Vardi

Moshe Vardi is a Professor of Computer Science at Rice University, the Karen Ostrum George Professor in Computational Engineering, and Director of the Ken Kennedy Institute for Information Technology. The author of over 300 technical papers, as well as the editor of several collections, Prof. Vardi is a renowned expert in model checking, constraint satisfaction and database theory, common knowledge (logic), and theoretical computer science.

Prior to joining Rice University, Prof. Vardi was at the IBM Almaden Research Center, where he managed the Mathematics and Related Computer Science Department. Vardi is the recipient of three IBM Outstanding Innovation Awards, and a co-winner of the 2000 Gödel Prize, the 2005 ACM Paris Kanellakis Award for Theory and Practice, and the LICS 2006 Test-of-Time Award. He holds honorary doctorates from the University of Saarland, Germany, and the University of Orleans, France, and received his Ph.D. from the Hebrew University of Jerusalem in 1981.