University of Toronto Computer Engineering Research Group (EECG)

Current and Former Students

Current Students
Name Degree Thesis Topic
Terry (Yu-Shen) Yang PhD Extraction Error Modelling and Automated Debugging in High Performance Custom Designs (MASc). Algorithmic resynthesis (PhD)
Hratch Mangassarian PhD QBF Solvers
Yibin Chen MASc In progress
Brian Keng PhD In progress
Farzad Farzan MEng In progress
.
Former Students
Name Degree Thesis Topic Current Employment
Ivor Ting MEng (2000) Design Optimization Using ATPG-based Reqiring Techniques Broadcom
Sean Safarpour PhD (2009) Formal Techniques in Design Debugging Vennsa Technologies
Mandana Amiri MEng (2001) ATPG Based Diagnosis and Optmization Techniques UBC Physics & Astronomy Department
Jackey Wong MEng (2008) Automated Test Bench Generation U-Waterloo
Elham Safi PhD (2009) Architecture-level Power Modeling ---
Hratch Mangassarian MASc (2008) PB-SAT and QBF Solvers in CAD for VLSI PhD Candidate
Brandon Liu MASc (2003) Incremental Diagnosis in Digital VLSI Circuits Freescale Semiconductor
Joanne Lee MEng (2003) Controllability Don't Care in Boolean Satisfiability for EDA ATI Technologies
Karen Ha MEng (2003) Algorithms For Optimizing the Test Generation Process of VLSI Designs Qualcomm Inc.
Alexander Smith MASc (2004) Diagnosis of Combinational Logic Curcuits Using Boolean Satisfiability  PhD Candidate in the Aerospace Department at the University of Toronto 
Robert Chang MEng (2004) Functional Fault Equivalence and Automated Diagnostic Test Generation Using Convential ATPG iLogic Inc. 
Moayad Fahim Ali MASc (2005) Satisfiability-based Debugging of Sequential and Hierarchical Designs Intel Corp. 
Sean Safarpour MASc (2005) Managing Don't Cares in Boolean Satisfiability PhD Candidate 
Yu-Shen (Terry) Yang MASc (2004) Extraction Error Diagnosis and Correction in High-Performance Designs PhD Candidate 

  University of Toronto Computer Engineering Research Group (EECG)