Recent PhD Graduates from the School of Computing at Utah

Also see: Recent Interdisciplinary PhD Graduates with advisors from the SoC

David Walter

Dissertation: Verification of Analog and Mixed-Signal Circuits Using Symbolic Methods
Advisor: Chris Myers (ECE)
Graduated: August 2007

Nicole Anderson

Dissertation: Context Aware Web Search Using Dynamically Weighted Information
Advisor: Robert Kessler
Graduated: May 2007

Liqun Cheng

Dissertation: Context Aware Coherence Protocols for Future Processors
Advisor: John Carter
Graduated: May 2007

Milan Ikits

Dissertation: Interactive Exploration of Volumetric Data Sets with a Combined Vistual and Haptic Interface
Advisor: Chuck Hansen
Graduated: May 2007

Dominic Jones

Dissertation: Mining Events from Avioation Safety Data
Advisor: Lee Hollaar
Graduated: May 2007

Betty Mohler

Dissertation: The Effect of Feedback Within a Virtual Environment on Human Distance Perception and Adaptation
Advisors: Bill Thompson and Sarah Creem-Regehr
Graduated: May 2007

Robert Palmer

Dissertation: Formal Analysis for MPI-based High Performance Computing Software
Advisor: Ganesh Gopalakrishnan
Graduated: May 2007

Jason Shepherd

Dissertation: Toplologic and Geometric Constraint-based Hexahedral Mesh Generation
Advisor: Chris Johnson
Graduated: May 2007

Suyash Prakash Awate

Dissertation: Adaptive Markov Models with Information-Theoretic Methods for Image Restoration and Segmentation
Advisor: Ross Whitaker
Graduated: December 2006

Kostadin Damevski

Dissertation: A Generative Approach to Component Model Interoperability
Advisor: Steve Parker
Graduated: December 2006

Christian Gribble

Dissertation: Interactive Methods for Effective Particle Visualization
Advisor: Steve Parker
Graduated: December 2006

Joe Kniss

Dissertation: Multi-Field Volume Rendering
Advisor: Chuck Hansen
Graduated: December 2006
Contact: kniss@sci.utah.edu
Current position: Assistant Professor, Computer Science Department, University of New Mexico

Kay Litchfield

Dissertation: Automatic Generation of Fast Matrix Multiplication Algorithms
Advisor: Chris Sikorski
Graduated: December 2006

Thomas Thompson

Dissertation: Haptic Rendering of Trimmed Nurbs Models Within an Active Prototyping Environment
Advisor: Elaine Cohen
Graduated: December 2006

Scott Owens

Dissertation: Compile Time Information in Software Components
Advisor: Konrad Slind
Graduated: December 2006

Adam Wick

Dissertation: Magpie: Precise Garbage Collection for C
Advisor: Matthew Flatt
Graduated: December 2006

Kathryn Gray

Dissertation: Towards Customizable Pedagogic Programming Languages
Advisor: Matthew Flatt
Graduated: August 2006

Ritwik Bhattacharya

Dissertation: Efficient Protocol Verification Using Rule-Based Systems
Advisor: Ganesh Gopalakrishnan
Graduated: May 2006

Zhen Fang

Dissertation: Active Memory Operations
Advisor: John Carter
Graduated: May 2006
Contact: zhen.fang@intel.com
Current position: Platform Architect, Intel Corp.
Location: Portland, OR

Sean McDirmid

Dissertation: Component Programming with Object-Oriented Signals
Advisor: Wilson Hsieh
Graduated: December 2005

David Johnson

Dissertation: Minimum Distance Queries for Haptic Rendering
Advisor: Elaine Cohen
Graduated: May 2005

Jason Yang

Dissertation: Formalizing Shared Memory Consistency Models for Program Analysis
Advisor: Ganesh Gopalakrishnan
Graduated: May 2005

Request updates to this page by contacting John Regehr

School of Computing • 50 S. Central Campus Dr. Rm. 3190 • Salt Lake City, UT 84112
801-581-8224 • Fax: 801-581-5843 • Send comments to webmaster@cs.utah.edu
Disclaimer