|
|
|
Home
|
Team: MSCADTeam Member: Bo HuAdvisor: Richard Shi University: University of Washington Bo is a PhD candidate in the EE department at University of Washington. He received his Bachelor in Physics from University of Science and Technology of China and Master in Electrical Engineering at University of Washington. His current research interests compact device model compiler, RF simulation, statistical analysis, symbolic model order reduction, RF design and non-linear circuit behavioral modeling.Team Member: Lili Zhou Advisor: Richard Shi University: University of Washington Lili is a third year graduate student in the EE department at University of Washington. She received her Bachelor and Master in Electrical Engineering at Fudan University,China. Her current research interests include mixed-signal and analog circuit simulation, behavioral modeling, mixed-signal and analog circuit design and optimization algorithms. Team: Pittsburgh PanthersTeam Member: Bryan BradyAdvisor: Ivan Kourtev University: University of Pittsburgh Bryan received the B.S. Degree in Computer Engineering from the University of Pittsburgh in 2003. Currently Bryan is a second year graduate student in the ECE Department, and is advised by Ivan Kourtev. His research interests are in VLSI CAD algorithms.Team Member: Joshua Lucas Advisor: Alex Jones University: University of Pittsburgh Josh is a graduate student in the Department of Electrical and Computer Engineering at the University of Pittsburgh. He received his B.S. degree in Computer Engineering in 2003. Data structures and algorithms for VLSI CAD are his primary research interests. Team: Michigan-gammaTeam Member: George F. ViamontesAdvisor: Igor L. Markov and John P. Hayes University: University of Michigan George is a fourth year Ph.D. student at the University of Michigan. He received his bachelor's degree in Computer Science from the University of Notre Dame in 2001 and his master's degree in Computer Science & Engineering from the University of Michigan in 2003. He is currently a Department of Energy High-Performance Computer Science Fellow and recently did some work on quantum computing and communication at Los Alamos National Laboratory. His research centers around developing new algorithms and heuristics for computationally difficult scientific problems, including simulation of quantum mechanics. For more information, see httpTeam Member: Kai-hui Chang Advisor: Igor L. Markov University: University of Michigan Kai-hui Chang is currently a Ph D student at the University of Michigan, majoring in computer science & engineering. He got his master's and bachelor's degree in National Taiwan University, Taipei, Taiwan in 1999 and 2001, respectively. He has been working for Avery Design Systems, an EDA company focusing on functional verification and distributed simulation, between 2001-1004. Team: ParrotTeam Member: Gustavo NeubergerAdvisor: Ricardo Reis University: Federal University of Rio Grande do Sul (UFRGS) Gustavo is a PhD student at UFRGS working with design and automatic generation of fault-tolerant circuits. He received his BS degree in Computer Engineering at UFRGS in 2003. His research interests include physical design, design of fault tolerant circuits, design for manufacturability and analytical placement.Team Member: Renato Fernandes Hentschke Advisor: Ricardo Reis University: Federal University of Rio Grande do Sul (UFRGS) Renato is a PhD student at UFRGS working with place and route algorithms for routability and timing optimization. He achieved his master degree in computer science at UFRGS in 2002. His research interests are timing and congestion driven physical design, logic synthesis for physical improvement, fault tolerance and high level design space exploration. Team: Gig'em CADggiesTeam Member: Nikhil JayakumarAdvisor: Sunil P. Khatri University: Texas A&M University, College Station Nikhil Jayakumar received his Bachelors degree in Electrical and Electronics Engineering from the University of Madras, India and his Massters degree from the University of Colorado at Boulder. He has publications in a variety of topics in VLSI/CAD including formal verification, clock network design and routing methodologies. He is currently working towards a Ph.D in ELectrical Engineering from Texas A&M University at College Station. His current research focusses on low power design methodologies.Team Member: C. N. Sze (Cliff) Advisor: Jiang Hu University: Texas A&M University, College Station C. N. Sze received his B. Eng. and M. Phil. degrees from the Department of Computer Science and Engineering, the Chinese University of Hong Kong in 1999 and 2001 respectively. Currently, he is working towards the Ph. D. degree in Computer Engineering at the Department of Electrical Engineering, Texas A&M University. His research interests include design and analysis of algorithms, computer-aided design technique for very large scale integreation, physical design, and performance-driven interconnect synthesis. Team: The Complete-NPsTeam Member: Azadeh DavoodiAdvisor: Ankur Srivastava University: University of Maryland Azadeh Davoodi received the B.S. degree in electrical engineering from University of Tehran in 1999 and the M.S. degree from University of Maryland, College Park in 2002, where she is currently working toward the PhD degree. Her research interests include design automation under uncertainty, low-power design and noise-aware optimization.Team Member: Vishal Khandelwal Advisor: Ankur Srivastava University: University of Maryland Vishal Khandelwal received the B.Tech. degree in electrical engineering from the Indian Institute of Technology, India in 2002. He is currently working toward the PhD degree at the department of electrical and computer engineering, University of Maryland, College Park. His primary research interests include design under uncertainty, leakage power optimization, logic and physical synthesis. Team: TeamOneTeam Member: Debashis SahooAdvisor: David Dill University: Stanford University Debashis Sahoo is a PhD student at Stanford in the Department of Electrical Engineering. He received his Bachelors of Technology from the Indian Institute of Technology at Kharagpur, India in Computer Science and Engineering. His current research is in the area of formal verification of hardware design. His interests include logic, theory of algorithms and complexity.Team Member: Subramanian Iyer Advisor: E Allen Emerson University: University of Texas at Austin Subramanian Iyer is a PhD candidate at in Computer Sciences at the University of Texas at Austin in the area of Automatic Formal Verification. His current research is on data structures and algorithms for efficient and effective symbolic Model Checking. His other interests include logic and distributed computing. Team: UICadTeam Member: Karthik KrishnamoorthyAdvisor: Prof. Florin Balasa University: Univ. of IL at Chicago Karthik is currently a PhD student in ECE at the University of Illinois at Chicago. His research interest include CAD for VLSI, esp. analog floorplanning/placement and routing. He interned at Intel Corp. in summer of '04.Team Member: Hosung (Leo) Kim Advisor: Prof. John Lillis University: Univ. of IL at Chicago Hosung(Leo) Kim is currently a doctoral candidate in computer science at the university of Illinois at Chicago. His research interests include design automation for VLSI, particularly logic synthesis and timing optimization. Team: The Sinking VikingsTeam Member: Maxim TeslenkoAdvisor: Hannu Tenhunen University: Royal Instutute of Technology Team Member: Andres MartinelliAdvisor: Elena Dubrova University: Royal Instutute of Technology Team: CadMinnTeam Member: Jaskirat SinghAdvisor: Sachin Sapatnekar University: University of Minnesota Jaskirat Singh obtained his B.E. in Electronincs and Communication from Indian Institute of Technology - Roorkee in 2000.Team Member: Vidyasagar Nookala Advisor: Sachin Sapatnekar University: University of Minnesota Sagar Nookala obtained the B.E. (Electronics Engineering) degree from MNREC, Allahabad, India, and the M.S. (Electrical Engineering) degree at The University of Minnesota, Minneapolis, where he is presently working for a Ph.D. in Electrical Engineering. His research interests are combinatorial optimization, physical design and computer architecture. Team: CADmusTeam Member: Nadathur Rajagopalan SatishAdvisor: Kurt Keutzer University: University of California, Berkeley Nadathur Satish is a doctoral student in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He graduated in 2003 from the Indian Institute of Technology, Kharagpur with a B.Tech(H) degree in Computer Science and Engineering. His research interests include system-level design and reconfigurable logic design. He currently works in the MESCAL group at UC Berkeley in developing architectures for high-performance network applications on FPGA's.Team Member: Qi Zhu Advisor: Alberto Sangiovanni-Vincentelli University: University of California, Berkeley Qi Zhu is a doctoral student in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He received a B.E. degree in Computer Science and Technology from the Tsinghua University in 2003. He is interested in system-level design, computer architecture, physical design, etc. Qi is currently working on the Metropolis project at Berkeley. Team: NUTeam Member: ZHENYU GUAdvisor: ROBERT P. DICK University: NORTHWESTERN UNIVERSITY Second year PH.D. studentTeam Member: JIA WANG Advisor: HAI ZHOU University: NORTHWESTERN UNIVERSITY Second year PH.D. student Team: Michigan AlphaTeam Member: Zaher AndrausAdvisor: Karem Sakallah University: University of Michigan Zaher is a third-year Ph.D. student at the University of Michigan. His research thus far has focused on verification, and in particular the automatic abstraction of Verilog models. He received a Bs.c. in Computer Engineering from the Technion in 2002, and an M.S. from the University of Michigan in 2004. Zaher has also worked at Intel and interned at Synopsys.Team Member: Paul Darga Advisor: Karem Sakallah University: University of Michigan Paul is a fourth-year Ph.D. student at Michigan. His research interests span the spectrum of verification, from breaking symmetries in Boolean satisfiability formulas to designing type systems for robust software. He received his B.S. in Mathematics and Computer Science at the University of Detroit Mercy in 2001, and his M.S. in Computer Science in 2003. Team: Michigan BetaTeam Member: Jarrod RoyAdvisor: Igor Markov University: University of Michigan Jarrod Roy is a PhD candidate at the University of Michigan. His areas of interest include physical design, SAT and QBF solving, and complexity theory. He received his B.S. in Computer Science (with university honors) from Carnegie Mellon University in May 2001 with an additional major in mathematics.Team Member: Gabe Black Advisor: Igor Markov University: University of Michigan Gabe Black is a PhD student at the University of Michigan where he received his Bachelor's degrees in Electrical and Computer Engineering and Computer Science. His current area of work is quantum synthesis, and his main area of interest is computer architecture. Team: FM305Team Member: Zhaohui FuAdvisor: Sharad Malik University: Princeton University Zhaohui is a 3rd year EE PhD student at Princeton University. His research interests include Boolean Satisfiability and formal verification techniques.Team Member: Yogesh Mahajan Advisor: Sharad Malik University: Princeton University Yogesh is a 3rd year EE graduate at Princeton University. Team: Circuit BreakersTeam Member: Daniel L. RosenbandAdvisor: Arvind University: MIT Daniel is a graduate student at MIT. His research focus is on high-level synthesis. He is also interested in computer architecture.Team Member: Nirav Dave Advisor: Arvind University: MIT Nirav is a second year graduate student at MIT. His current research focuses on large-scale design in high-level synthesis languages and RTL-level simulations of multi-processor systems. |
|
| Tell your friends about the contest. Find a partner. Sign up for next year's contest! | ||