Valeria Bertacco is Arthur F. Thurnau Professor of Electrical Engineering and Computer Science and Associate Dean in the Rackham Graduate School at the University of Michigan. Her research interests are in computer design, with emphasis on specialized architecture solutions and design viability, in particular reliability, validation and hardware-security assurance. She received her M.S. and Ph.D. degrees in Electrical Engineering from Stanford University and a Computer Engineering degree from the University of Padova, Italy.
David Brooks is the Haley Family Professor of Computer Science at Harvard University. He received his B.S. in Electrical Engineering at the University of Southern California and M.A. and Ph.D. degrees in Electrical Engineering at Princeton University. His research interests include computer design at the hardware-software interface.
Michael Bedford Taylor is a professor in both the CSE and EE departments at the University of Washington. His research interests includ ASIC Clouds, open source hardware, dark silicon, tiled multicore architecture, HLS accelerators for mobile, and Bitcoin mining hardware. Taylor received a PhD in Electrical Engineering and Computer Science from the Massachusetts Institute of Technology.
Todd Austin is a Professor of Electrical Engineering and Computer Science at the University of Michigan in Ann Arbor. His research interests include computer architecture, robust and secure system design, hardware and software verification, and performance analysis tools and techniques. Austin received his PhD in Computer Science from the University of Wisconsin in 1996.
Zachary Tatlock is an Assistant Professor in Computer Science and Engineering at the University of Washington where he is a member of the Programming Languages and Software Engineering (PLSE) group. He received his PhD from UC San Diego and BS from Purdue. His research draws upon proof assistants, SMT solvers, and type systems to improve software reliability and security in domains ranging from distributed systems and compilers to numerical approximation and web browser security.
Gu-Yeon Wei is Robert and Suzanne Case Professor of Electrical Engineering and Computer Science at Harvard University and currently serves as Area Chair for Electrical Engineering. He received his BS, MS, and PhD degrees in Electrical Engineering from Stanford University. His research interests span multiple layers of a computing system: mixed-signal integrated circuits, computer architecture, and design tools for efficient hardware.
Thomas Wenisch is an Associate Professor of Computer Science and Engineering at the University of Michigan, specializing in computer architecture. His ongoing work focuses on algorithmic accelerators, data center architecture, memory persistency, and accelerators for medical imaging. Wenisch received his Ph.D. in Electrical and Computer Engineering from Carnegie Mellon University.
Sharad Malik is the George Van Ness Lothrop Professor of Engineering and the Chair of the Department of Electrical Engineering at Princeton University. His research focuses on design methodology and design automation for computing systems. His research in functional timing analysis and propositional satisfiability has been widely used in industrial electronic design automation tools.
Sarah Snay has over five years of research administration and management. She holds a B.A. degree from the University of Michigan.
Christine Boltz manages ADA's web site and provides other technical and administrative support for the center. She previously worked for the Center for Future Architectures Research (C-FAR) and has been a freelance web designer. She holds a degree from James Madison University.
Magdalena Calvillo provides administrative support to Professor Valeria Bertacco. She has over 15 years’ experience in teaching, interpreting, and administrative roles in the United States and in Poland. She holds a B.S. degree from the University of Connecticut and an M.A. degree from the University of Gdansk, Poland.