Ph.D. Degrees Awarded

Dates after affiliations represent the latest date the information was confirmed.

Please send updates to jomarie@cs.rochester.edu.

2013

Bin Bao
Peer Aware Program Optimization
Adobe Systems

Tagyoung Chung
Interpreting the Temporal Aspects of Language
Nuance Communications

Daphne Liu
Combining Self-Motivation with Planning and Inference in a Self-Motivated Cognitive Agent Framework

Satyaki Mahalanabia
Subset and Sample Selection for Graphical Models " Gaussian Processes, Ising Models and Gaussian Mixture Models
Google

Curtis Menton
Attacking and Defending Popular Election Systems
Google

Adam Sadilek
Modeling Human Behavior at a Large Scale

Naushad Uz Zaman
Interpreting the Temporal Aspects of Language
Nuance Communnications
 

2012

Qi Ge
Exact and Approximate Counting of Graph Objects: independent Sets, Eulerian Tours, and More
Google/Mountain View
Ross Messing
Human Activity Recognition in Video: Extending Statistical Across Time, Space, and Semantic Context
Tandent Vision Science Inc.

2011

Carlos Gomez Gallo
Incremental understainging and production across clauses
Harvard University Department of Linguistics

Philip Michalak
Task Model Reasoning
Digital Reasoning Systems [May 2011]

Matthew Post
Syntax-based Language Models for Statistical Machine Translation
John's Hopkins [May 2011]

Arrvindh Shriraman
Architectural Support for Overseeing Memory in Multiprocessors
Simon Fraisier [May 2011]

Bin Wei
Graphical Models for Heterogeneous Transfer Learning and Co-reference Resolution

Shaojun Zhao
On Word Alignment Models for Statistical Machine Translation
Amazon.com [May 2011]

2010

Ding Liu
Towards Semantic-based Machine Translation
Nuance Communication Inc [May 2011]

Hemayet Hossain
Effective On-Chip Cache Utilization in Chip Multiprocessors
NVidia Corporation [May 2011]

Xiao Zhang
Operating System-Level On-Chip Resource Management in the Multicore Era
Google [May 2011]

2009

Paul Ardis
Controlling and Evaluating Inpainting
Research Associaties for Defense Conversion [May 2011

Fabrizio Morbini
Computational Infrastructure for a Self-Aware Agent
Institute of Creative Technologies University of California [May 2011]

Michael Spear
Fast Software Transactions
Lehigh University [May 2011]

Benjamin Van Durme
Extracting Implicit Knowledge from Text
Johns Hopkins University [May 2011]

2008

Manu Chhabra
Optimality in Motor Control
Goldman Sachs, London, UK [April 2008]

Piotr Faliszewski
Manipulations of Elections: Algorithms and Infeasibility Results
AGH University of Science and Technology, Krakow, Poland [January 2009]

Ashwin Lall
Streaming Algorithms for Network Flow Data Analysis
Georgia Institute of Technology [August 2008]

Chuanpeng Li
Operating System Enhancements for Data-Intensive Server Systems
Bloomberg L.P., NYC [December 2008]

Virendra Marathe
Enhancing the Performance and Usability of Software Transactional Memory
Sun Microsystems, Burlington MA [September 2008]

Christopher Stewart
Performance Modeling and System Management for Internet Services
The Ohio State University [September 2009]

Hao Zhang
Handling Complexity of Synchronous Grammars
Google, Inc. [August 2008]

2007

Ellen Campana
Natural versus Standardized Approaches to Spoken System Design: A Comparison Using the Dual-Task Paradigm
Arizona State University [July 2007]

Shan He
Lexicon Generalization for Cross Domain Semantic Role Labeling
Google, Inc Mountain View, CA [June 2009]

Proshanto Mukherji
Discovering Laws as Anomalies in Logical Worlds
Fish & Richardson Law, Boston, MA [June 2009]

Chengliang Zhang
Behavior Models for Computer Programs
Microsoft Corp., Seattle, WA [August 2007]

Ming Zhong
Exploiting Object Usage Nonuniformity in Distributed Data Management
Google, CA [August 2007]

 

2006

Xue Gu
An Equilibrium Point Based Humanoids Control Model
Towers Perrin [Sept. 2006]

Athanasios Papathanasiou
Power Efficiency through I/O Access Pattern Reshaping
Intel Massachusetts (Boston) [April 2006]

William N. Scherer III
Synchronization and Concurrency in User-Level Software Systems
Rice University [Sept. 2006]

Jonathan M. Shaw
Unifying Perception and Curiosity
Shaw Technologies, Inc. [Aug. 2006]

Xipeng Shen
Large-Scale Program Behavior Analysis for Adaptation and Parallelization
College of William and Mary [Sept. 2006]

Weilie Yi
Modeling Sequential Natural Behavior Basesd on Visual Routines
Microsoft Corporation [Oct. 2006]

 

2005

Nathan J. Blaylock
Towards Tractable Agent-Based Dialogue
Institute for Human and Machine Cognition (Pensacola, FL) [June 2009]

Matthew R. Boutell
Exploiting Context for Semantic Scene Classification
Rose-Hulman Inst. of Tech. (Terre Haute, IN) [Aug. 2005]

Bo Hu
Cast Shadows in Augmented Reality Systems
U. Rochester, Center for Visual Science [May 2006]

Grigorios Magklis
Increasing Energy Efficiency in Adaptive Architectures
Intel Labs, Barcelona [June 2006]

Brandon C.S. Sanders
A Theory of Quasi-Static Object Discovery
AboutUs [Aug. 2007]

Joel R. Tetreault
Empirical Evaluations of Pronoun Resolution
Educational Testing Service, Princeton, NJ [February 2007]

Rahul Tripathi
Complexity of Concrete Problems and Test Languages
U. South Florida [Aug. 2005]

Yutao Zhong
Distance-Based Whole-Program Data Locality and Reference Affinity Hierarchy
George Mason University [Sept. 2005]

2004

David D. Ahn
The Role of Situations and Presuppositions in Restricting Adverbial Quantification
U. Amsterdam [Aug. 2005]

DeQing (Luke) Chen
Multi-Level Shared State and Application-Specific Coherence Models
Microsoft [Jan. 2006]

Yinhe Cheng
Computational Approaches to Cancer Diagnosis and Protein Interaction Inference
IBM Austin Systems Group [June 2006]

Myroslava Dzikovska
A Practical Semantic Representation for Natural Language Parsing
U. Edinburgh Human Communication Res. Ctr. [Aug. 2006]

Tao Li
Knowledge Discovery from Labeled and Unlabeled Data
Florida Int'l. U. [May 2005]

Umit Rencuzogullari
Dynamic Resource Management for Parallel Applications in an Autonomous Cluster of Workstations
VMware (Palo Alto, CA) [March 2005]

Nathan R. Sprague
Learning to Coordinate Visual Behaviors
Kalamazoo College [May 2005]

Chunqiang Tang
Data Sharing and Information Retrieval in Wide-Area Distributed Systems
IBM T.J. Watson Research Center [July 2007]

Kumar Mayur Thakur
General Tools for Determining Problem Complexity
U. Missouri---Rolla [June 2006]

Chen Yu
Embodied Language Learning in Humans and Machines
U. Indiana, Bloomington, Cognitive Sci. Program [May 2005]

2003

Rajeev Balasubramonian
Dynamic Management of Microarchitecture Resources in Future Microprocessors
U. Utah School of Computing [June 2006]
Alina Y. Beygelzimer
Alternative Notions of Approximation and Space-Bounded Computations
IBM T.J. Watson Research Center [August 2005]
Rahul Bhotika
Scene-Space Methods for Bayesian Inference of 3D Shape and Motion
GE Global Research (Niskayuna, NY) [Aug. 2007]
Melissa Dominguez
Developing Vision
McMaster U. (Hamilton, Ontario) [March 2005]
Christopher K. Eveland
Utilizing Visible and Thermal Infrared Video for the Fast Detection and Tracking of Faces
Equinox Corporation (Baltimore) [Aug. 2007]
Lucian Galescu
Hierarchical Statistical Language Models for Unlimited Vocabularies
Florida Inst. for Human & Machine Cognition [March 2005]
Isaac A. Green
Experiments in Generic Object Recognition
College of Charleston (S. Carolina) [June 2006]
Christopher M. Homan
Redundancy: Eliminating It, Exploiting It
Rochester Inst. of Technology [March 2005]
Zuohua Zhang
Distributed Synchrony
Fair Isaac Corp. (San Diego) [Aug. 2005]
Shenghuo Zhu
Learning to Cooperate
NEC Labs America, Inc. (Cupertino, CA) [March 2005]
Teresa Zollo
Detecting and Correcting Speech Recognition Errors during Natural Language Understanding
SUNY College at Geneseo [August 2003]

2002

Donna K. Byron
Resolving Pronominal Reference to Abstract Entities
Northeastern University, College of Computer and Information Science [February 2008]
Gregory R. Wheeler (Joint Philosophy and CS Ph.D.)
Non-Monotonicity and Paraconsistency
Universidade de Nova Lisboa [Febr. 2005]

2001

Jessica D. Bayliss
A Flexible Brain-Computer Interface
Rochester Inst. of Technology [March 2005]
Rodrigo L. Carceroni
Recovering Non-Rigid 3D Motion, Shape and Reflectance from Multi-View Image Sequences: A Differential Geometric Approach
Google, CA [July 2008]
Andrea (Selinger) Salgian
Analysis and Applications of Feature-Based Object Recognition
The College of New Jersey [July 2005]
Amit Singhal
Bayesian Evidence Combination for Region Labeling
Eastman Kodak Co. [March 2008]
Amanda J. Stent
Dialogue Systems as Conversational Partners: Applying Conversation Acts Theory to Natural Language Generation for Task-Oriented Mixed-Initiative Spoken Dialogue
SUNY at Stony Brook [Nov. 2005]
Michael P. Van Wie
Role Selection in Teams of Non-Communicating Agents
Rochester Institute of Technology [August 2002]

2000

Mark G. Core
Dialog Parsing: From Speech Repairs to Speech Acts
U. Southern Calif. Inst. Creative Technologies [Aug. 2005]
Aaron N. Kaplan
A Computational Model of Belief
Xerox Research Center Europe [March 2005]
Srinivasan Parthasarathy
Active Data Mining in a Distributed Setting
Ohio State U., Computer & Inf. Science Dept. [Sept. 2005]
Eric K. Ringger
Correcting Speech Recognition Errors
Brigham Young U. [June 2006]
Amon B. Seagull
Well-Foundedness and Reliability in Statistical Natural Language Parsing
Nova Southeastern U. (Ft. Lauderdale, FL) [March 2005]

1999

Gabriel Istrate
Phase Transitions in Combinatorial Search Problems: Towards Rigorous Results
e-Austria Research Institute, Timisoara, Romania [March 2007]
Robert J. Stets, Jr.
Leveraging Symmetric Multiprocessors and System Area Networks in Software Distributed Shared Memory
Google (Palo Alto, CA) [Nov. 2005]

1998

Louis J. Hoebel
A Practical Temporal Reasoning System
GE Global Research Center [Aug. 2006]
Galen C. Hunt
Automatic Distributed Partitioning of Component-Based Applications
Microsoft Corp. [March 2007]
Martin Jägersand
On-Line Estimation of Visual-Motor Models for Robot Control and Visual Simulation
U. Alberta Dept. of Computing Science [August 2003]
Bulent Murtezaoglu
Uncertain Inference and Learning with Reference Classes
Yesil Ege Bilisim ve Internet Hizmetleri AS (Turkey)
and Optimal PC Solutions [Dec 1998]
Rajesh P.N. Rao
Dynamic Appearance-Based Vision
U. Washington [Aug. 2006]
Garbis Salgian
Tactical Driving using Visual Routines
David Sarnoff Corp. [Nov. 2005]
Choh Man Teng
Non-Monotonic Inference: Characterization and Combination
University of West Florida [Nov 2000]
James R. Vallino
Interactive Augmented Reality
Rochester Institute of Technology [August 2002]
Mohammed J. Zaki
Parallel Data Mining for Rules in Very Large Databases
Rensselaer Polytechnic Institute [Feb. 2005]

1997

Michal J. Cierniak
Optimizing Programs by Data and Control Transformations
Google [Aug. 2005]
L. Olac Fuentes
Behavior-Based Dextrous Manipulation: The Virtual Tool Approach
U. Texas, El Paso CSD [Aug. 2005]
Peter A. Heeman
Speech Repairs, Intonational Boundaries and Discourse Markers: Modeling Speakers' Utterances in Spoken Dialog
Oregon Graduate Institute [Dec 1999]
Jonas Karlsson
Learning to Solve Multiple Goals
Xerox Webster Research Center [July 2004]
Wagner Meira, Jr.
Understanding Parallel Program Performance Using Cause-Effect Analysis
Universidade Federale de Minas Gerais, Brazil [June 2006]
Maged M. Michael
Reducing the Overhead of Sharing on Shared Memory Multiprocessors
IBM T.J. Watson Research Center [Aug. 2005]
Justinian P. Rosca
Hierarchical Learning with Procedural Abstraction Mechanisms
Siemens Corporate Research Center [Dec. 2005]

1996

Leonidas I. Kontothanasis
Architectural and Operating System Support for Inexpensive, Efficient Shared Memory
Google, Inc. (Cambridge, MA); [July 2008]
Marc N. Light
Morphological Cues for Lexical Semantics
Thomson Reuters [June 2009]
Andrew Kachites McCallum
Reinforcement Learning with Selective Perception and Hidden State
University of Massachusetts [Aug. 2005]
Polly K. Pook
Teleassistance: Using Deictic Gestures to Control Robot Action
Asian University for Women, Bangladesh [June 2009]
Ramesh R. Sarukkai
Hierarchical Set Representations of Speech
Yahoo, Inc. [July 2002]
Robert W. Wisniewski
Achieving High Performance in Parallel Applications via Kernel-Application Interaction
IBM T.J. Watson Research Ctr. [Aug. 2007]
Marius Zimand
Existential Theorems in Computational Complexity Theory: Size and Robustness
Towson University [Aug. 2005]

1995

Ricardo Bianchini
Exploiting Bandwidth to Reduce Average Memory Access Time in Scalable Multiprocessors
Rutgers University CSD [Aug. 2005]
George M. Ferguson
Knowledge Representation and Reasoning for Mixed-Initiative Planning
University of Rochester [August 2005]
Boris Goldowsky
 
Ioan Macarie
Probabilistic Models of Computation
Vanteon [Nov 2000]
Jeff Schneider
Robot Skill Learning through Intelligent Experimentation
CMU Robotics Inst. [Jan. 2005]
David R. Traum
A Computational Theory of Grounding in Natural Language Conversation
U. Southern California Inst. for Creative Technologies [August 2003]
Jack E. Veenstra
Hybrid Cache Coherency Protocols
Google (CA) [Aug. 2005]

1994

Corinna Cortes
Prediction of Generalization Ability in Learning Machines
Google (NY) [June 2004]
Mark E. Crovella
Performance Prediction and Tuning of Parallel Programs
Boston University [July 2003]
Virginia R. de Sa
Unsupervised Classification Learning from Cross-Modal Environmental Structure
U. Cal., San Diego, Cognitive Science Dept. [April 2005]
Yenjo Han
On Accessing and Hiding Information
Dasan Networks, Inc. (Seoul) [June 2006]
Alice I. Kyburg
Belief, assertability, and truth: pragmatic and semantic accounts of vagueness
University of Wisconsin, Oshkosh (Dept. of Philosophy) [Nov. 2007]
Massimo Poesio
Discourse Interpretation and the Scope of Operators
University of Essex, Dept. of Computer Science [Sept. 2005]
Ramprasad Polana
Temporal Texture and Activity Recognition
Microstrategy Inc. [Nov. 2005]
Raymond D. Rimey
Control of Selective Perception using Bayes Nets and Decision Theory
Lockheed Martin Corp. (Littleton, CO) [Aug. 2005]
Lambert E. Wixson
Gaze Selection for Visual Search
ParentWatch [Sept. 2003]
Ju Zhang
Density Control and On-Line Labeling Problems
JPMorgan Chase (New York, NY) [March 2004]

1993

William J. Bolosky
Software Coherence in Multiprocessor Memory Systems
Microsoft Corporation [Oct. 2005]
Cezary Dubnicki
The Effects of Block Size on the Performance of Coherent Caches in Shared-Memory Multiprocessors
NEC Research Inst., Inc., Princeton [July 2003]
Evangelos Markatos
Using Cache (and Memory) Affinity in Scheduling for Shared-Memory Multiprocessors
FORTH ICS and U. Crete [Aug. 2005]
Nathaniel G. Martin
Applying Statistical Inference to Planning Under Uncertainty
Xerox Webster Research Center [June 2006]
Rajeev Raman
Eliminating Amortization: On Data Structures with Guaranteed Response Time
U. Leicester, Dept. of Math. & Computer Science [July 2001]

1992

David J. Coombs
Real-Time Gaze Holding in Binocular Robot Vision
SET Associates (Advanced Tech'y.) (Vienna, VA) [Aug. 2005]
Alan L. Cox
The Implementation and Evaluation of a Coherent Memory Abstraction for NUMA Multiprocessors
Rice University [Oct 1999]
Nigel H. Goddard
The Perception of Articulated Motion: Recognizing Moving Light Displays
U. Edinburgh, Inst. for Adaptive & Neural Computation; and
Axiope Ltd. (Edinburgh) [July 2004]
Brian D. Marsh
Multi-Model Parallel Programming
Redfin (Seattle area) [Nov. 2005]
Lata Narayanan
Selection, Sorting and Routing on Mesh-Connected Processor Arrays
Concordia University [August 2002]
Jun Tarui
Low-Degree Polynomials and Shallow Circuits: Algebraic Methods in Computational Complexity
University of Electro-Communications, Tokyo [Feb 2000]
Steven D. Whitehead
Reinforcement Learning for the Adaptive Control of Perception and Action
Verizon [July 2007]

1991

Lawrence A. Crowl
Architectural Adaptability in Parallel Programming
Google [May 2006]
Sanjay Jain
Learning in the Presence of Additional Information and Inaccurate Information
National University of Singapore [Nov. 2005]
Cesar A. Quiroz
Systematic Detection of Parallelism in Ordinary Programs
Intel [July 2008]
Patrice Y. Simard
Learning State Space Dynamics in Recurrent Networks
Microsoft Research [Nov 1999]

1990

Peter C. Dibble
A Parallel Interleaved File System
TimeSys Corp. (Pittsburgh, PA) [Aug. 2005]
Neal M. Gafter
Parallel Incremental Compilation
Google (Mountain View, CA) [August 2004]
Leo B. Hartman
Decision Theory and the Cost of Planning
Canadian Space Agency [July 2003]
Elizabeth A. Hinkelman
Linguistic and Pragmatic Constraints on Utterance Interpretation
Galactic Village Games [Aug. 2004]
Michael J. Swain
Color Indexing
athenahealth (Watertown, MA) [July 2006]
Sue-Ken Yap
Programming Environment for Graphical User Interfaces
CISRA (Australia) [Dec 1999]

1989

Paul R. Cooper
Parallel Object Recognition from Structure (The Tinkertoy Project)
MDA Space Missions (Brampton, Ontario) [Aug. 2005]
Richard A. Floyd
Transparency in Distributed File Systems
retired [August 2004]
Stuart A. Friedberg
Hierarchical Process Composition--Dynamic Maintenance of Structure in a Distributed Environment
IBM NUMA-Q [Dec 1999]
Johannes A. Koomen
Reasoning About Recurrence
Xerox Webster & U. Rochester [July 2005]
John Mellor-Crummey
Debugging and Analysis of Large-Scale Parallel Programs
Rice University CSD [June 2006]
Thomas J. Olson
An Architectural Model of Visual Motion Understanding
Texas Instruments [Aug. 2007]
Laura A. Sanchis
Language Instance Generation and Test Case Construction for NP-Hard Problems
Deceased, April 2006
Jay Weber
Principles and Algorithms for Causal Reasoning with Uncertainty
commerceNet [July 2003]
Susan Hollbach Weber
A Structured Connectionist Approach to Direct Inferences and Figurative Adjective-Noun Combinations
U. Stanford School of Medicine [July 2003]

1988

Paul Bao-Luo Chou
The Theory and Practice of Bayesian Image Labeling
IBM T.J. Watson Research Center [October 2002]
Mark A. Fanty
Learning in Structured Connectionist Networks
Nuance Communications, Inc. [June 2006]
George Hauser
Communication Complexity
Pacific Lutheran University [Feb 2000]
Ronald P. Loui
Theory and Computation of Uncertain Inference and Decision
Cycorp (Cleveland, OH) [June 2009]
Richard N. Pelavin
A Formal Logic for Planning with Concurrent Actions and External Events
David B. Sher
A Probabilistic Approach to Low-Level Vision
Nassau Community College, Garden City, NY [July 2003]
Josh D. Tenenberg
Abstraction in Planning
U. Washington, Tacoma [Aug. 2005]

1987

John Aloimonos
Computing Intrinsic Images
University of Maryland [Oct 1999]
Amit Bandopadhay
A Computational Study of Rigid Motion Perception
independent software consultant [Nov 2002]
Alan M. Frisch
Knowledge Retrieval as Specialized Inference
University of York [August 2002]
Henry A. Kautz
A Formal Theory of Plan Recognition
University of Rochester [Sept. 2007]
Richard E. Newman
Communication Issues in Parallel Computation
University of Florida at Gainesville [Sept. 2005]

1986

Diane J. Litman
Plan Recognition and Discourse Analysis: An Integrated Approach for Understanding Dialogues
U. Pittsburgh, Computer Science Dept. [Aug. 2005]
Lokendra Shastri
Evidential Reasoning in Semantic Networks: A Formal Theory and its Parallel Implementation
Int'l. Computer Science Inst., Berkeley [Sep 1999]

1985

Garrison W. Cottrell
A Connectionist Approach to Word Sense Disambiguation
University of California at San Diego [June 2006]
Daniel M. Russell
Schema-Based Problem Solving
Google (CA) [Aug. 2005]

1984

Sanjaya Addanki
Applications of Connectionist Modeling to Motor Control Systems
Omnibus Systems (London) [August 2002]
James Heliotis
Language Constructs for the Management of Distributed Computations
Rochester Institute of Technology [Aug. 2006]
Mark Kahrs
Silicon Compilation of Very High Level Languages
U. Pittsburgh, Electrical Engg. Dept. [July 2002]
Yuki Watanabe
IC Layout Generation and Compaction Using Mathematical Optimization
Lehman Brothers (New York, NY)[August 2007 ]

1983

John Eugene Ball
Program Improvement by the Selective Integration of Procedure Calls
retired [August 2002]
Joseph Bryan Lyles
Uniform Interfaces to Distributed Systems
Telecordia (div. of SAIC) [Aug. 2004]

1982

Arun Arya
Super: Encapsulated Autonomous Distributed
Computations on an Abstract Architecture

[Aug 2002]
Andrew Haas
Planning Mental Actions
SUNY at Albany [Aug 1999]
Daniel Sabbah
A Connectionist Approach to Visual Recognition
IBM (GM, Rational Software) [Aug. 2006]
Robert Schudy
Harmonic Surfaces and Parametric Image Operators: Their Use in Locating the Moving Endocardial Ultrasound Data
Metropolitan College, Boston U. [June 2006]
Peter Selfridge
Reasoning about Success and Failure in Aerial Image Understanding
SET Associates (Vienna, VA) [Dec. 2004]
Edward Smith
Debugging Techniques for Communicating Loosely-Coupled Processes
Loyola Marymount University, School of Film and Television (MFA grad student) [June 2008]

1981

Anil Nigam
A Specification and Proof Technique for Message-Based Systems and Its Application to Distributed Database Algorithms
IBM T.J. Watson Research Center [Aug. 2004]
Donald Perlis
Language, Computation, and Reality
University of Maryland [Nov. 2005]
Uri Shani
Understanding Three Dimensional Images: The Recognition of Abdominal Anatomy from Computer Axial Tomograms (CAT)
IBM Haifa Research Lab [Aug. 2005]

1980

Ilya Gertner
Performance Evaluation of Communicating Processes
Aerospace Corp. [July 2006]
Keith A. Lantz
Uniform Interfaces for Distributed Systems
Cisco Systems, Inc. (San Jose, CA) [Dec 1999]
Joseph T. Maleson (deceased)
Texture in Natural Images
Richard F. Rashid
LIGHTS: A System for Interpretation of Moving Light Displays
Microsoft Research [Nov 2000]
Jonathan E. Shopiro
A Very High Level Language and Optimized Implementation Design for Relational Databases
In*Sight Massage [June 2006]
Graeme J. Williams
Program Checking
IBS America [June 2006]