Skip to main content

About Us

PhD Degrees Awarded

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

Please send updates to mkiso@cs.rochester.edu

2017

  • Omid Bakhshandeh
    Language Learning Through Comparison
    Research Scientist, Florida Institute for Human and Machine Cognition [August 2017]
  • Timothy R. Kopp
    Symmetry Exploitation for Inference in Relational Theories
    Pivotal [June 2017]
  • Pengcheng Li
    Optimizing Memory Management Using Timescale Theories
    Engineer, Google [August 2017]
  • Yuncheng Li
    Weakly Supervised Learning From Noisy Data: from Practice to Theory
    Research Scientist, Snap, Inc. [November 2017]
  • Hao Luo
    Optimizing Parallel Programs Using Composable Locality Models
    Software Engineer, Google [May 2017]
  • Nasrin Mostafazadeh
    From Event to Story Understanding
    Research Scientist, BenevolentAI [August 2017]
  • Shibo Wang
    Content-Aware Memory Systems for High-Performance, Energy-Efficient Data Movement
    Software Engineer, Google [August 2017]
  • Quanzeng You
    Sentiment and Emotion Analysis for Visual and Multimedia Content: Methodologies and Applications
    Researcher, Microsoft [November 2017]

2016

  • Zhuan Chen
    System Support for Data-Intensive Sensing in the Field
    Microsoft [January 2017]
  • Anna Loparev
    The Impact of Collaborative Scaffolding in Educational Video Games on the Collaborative Support Skills of Middle School Students 
    User Experience Researcher, Waters Corporation [July 2017]
  • Iftekhar Naim
    Unsupervised Alignment of Natural Language with Video *Commendation in University of Rochester Outstanding Dissertation Award Competition*
    Software Engineer, Google [May 2016]
  • Ian Perera
    Perceptual Symbol Grounding Through Child-Like Natural Language Interaction and Learning
    Research Scientist, Florida Institute for Human and Machine Cognition [May 2016)
  • Young Chol Song 
    Fine-grained Activity Recognition Using Multimodal Datasets
    Data Science, GE Digital [July 2017]

2015

  • Erin L. Brady
    Social Microvolunteering: Quick, Free Answers to Visual Questions from Blind People
    Assistant Professor, Indiana University-Purdue University Indianapolis [August 2016]
  • Qing Guo
    Associative Computing with Resistive Memories
    CPU Architect, NVIDIA [May 2016]
  • Walter Lasecki
    Crowd Agents: Interactive Intelligent Systems Powered by the Crowd
    Assistant Professor, University of Michigan [August 2016]
  • Li Lu
    Designing for the Simple Case in a Parallel Scripting Language
    Technical Staff Member, Hortonworks [August 2016]
  • Konstantinos Menychtas
    Fair, Protected OS-level Scheduling for Fast Computational Accelerators
    Software Engineer, Google [August 2016]
  • Lingxiang Xiang
    Compiler Assisted Speculation for Multithreaded Systems
    Research Scientist, Intel Labs [August 2016]
  • Yu Zhong
    Enhancing Access to Complex and Spatial Information for Blind Users of Mobile Devices
    Software Engineer, Google [August 2016]

2014

  • Marzieh Bazrafshan
    Semantic Features for Statistical Machine Translation
    Data Science Engineer, H5 [August 2016]
  • Chetan Bhole
    Graphical Models for Segmenting Images, Volumes and Videos
    Machine Learning Scientist/Software Development Engineer, A9 [August 2016]
  • Yi Chu
    Intelligent Prompting Systems for People with Cognitive Disabilities
    Natural Language Understanding Research Engineer, Nuance Communications [August 2016]
  • Luke D'Alessandro
    Preserving the Appeal of Transactional Programming
    Research Associate, Indiana University [August 2016]
  • Elif Eyigoz
    Morphology Modeling for Statistical Machine Translation
    Postdoctoral Researcher, IBM [August 2016]
  • Amal Fahad
    System- and application- level techniques for limited resources environments
    Software Development Engineer, Microsoft [August 2016]
  • Licheng Fang
    Learning Effective Grammar Rules for Machine Translation
    Software Engineer, Google [August 2016]
  • Jonathan Gordon
    Inferential Commonsense Knowledge from Text
    Postdoctoral Researcher, USC Information Sciences Institute [August 2016]
  • Xiaoming Gu
    Optimal Collaborative Caching: Theory and Applications
    Software Engineer, Azul Systems [August 2016]
  • Mehdi Hafezi
    Dealing with Quantifier Scope Ambiguity in Natural Language Understanding
    Software Engineer, Google [August 2016]
  • Tivadar Papai
    Exploiting Constraints, Sequential Structure and Knowledge in Markov Logic Networks
    Senior Software Engineer, Google [August 2016]
  • James (Stan) Park
    Managing and Exploiting Flash-based Storage for Data-intensive Systems
    Staff Kernel Engineer, Huawei Technologies [December 2016]
  • Xioya Xiang
    A Higher Order Theory of Locality and Its Application in Multicore Cache Management
    Software Engineer, Twitter [August 2016]
  • Hongzhou Zhao
    Application-Directed Cache Coherence Design
    Architect, NVIDIA [August 2016]

2013

  • Bin Bao
    Peer Aware Program Optimization
    Research Scientist, Huawei Technologies [August 2016]
  • Tagyoung Chung
    Interpreting the Temporal Aspects of Language
    Applied Scientist, Amazon Alexa Machine Learning Team [August 2017]
  • Daphne Liu
    Combining Self-Motivation with Planning and Inference in a Self-Motivated Cognitive Agent Framework
    Software Engineer (SDE), Amazon Web Services [August 2016]
  • 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
    Senior Engineer, Google [August 2016]
  • Naushad Uz Zaman
    Interpreting the Temporal Aspects of Language
    Senior Research Scientist, Nuance Communications [August 2016] and
    CTO/Co-Founder, SocialTrendly [August 2016]

2012

  • Tongxin Bai
    Program Parallelization through Safe Dependence Hints and All-context Dependence Analysis
    Associate Professor, Shenzhen Institute of Advanced Technology, Chinese Academy of Sciences [July 2017]
  • Qi Ge
    Exact and Approximate Counting of Graph Objects: independent Sets, Eulerian Tours, and More
    Software Engineer, Google [August 2016]
  • Ross Messing
    Human Activity Recognition in Video: Extending Statistical Across Time, Space, and Semantic Context
    Computer Vision Researcher, Tandent Vision Science Inc. [August 2016] and
    Adjunct Assistant Professor, Vassar College [August 2016]

2011

  • Carlos Gomez Gallo
    Incremental understanding 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
    Johns Hopkins University [May 2011]
  • Arrvindh Shriraman
    Architectural Support for Overseeing Memory in Multiprocessors
    Simon Fraser University [May 2011]
  • Bin Wei
    Graphical Models for Heterogeneous Transfer Learning and Co-reference Resolution
    Netbase Solutions [May 2011]
  • 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
    Digital Twin Mission Leader, GE Global Research [July 2017]
  • 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 Non-uniformity 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 Based on Visual Routines
    VP of Data Science, Placed, Inc. [July 2017]

2005

  • Nathan J. Blaylock
    Towards Tractable Agent-Based Dialogue
    Senior Manager, Nuance Communications [July 2017]
  • Matthew R. Boutell
    Exploiting Context for Semantic Scene Classification
    Rose-Hulman Inst. of Tech. (Terre Haute, IN) [July 2017]
  • 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
    Google [June 2016]
  • 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
    Senior Software Engineer, IBM Watson Software Group (Littleton, MA) [August 2017]
  • 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
    Principal Research Scientist, Yahoo! Labs [September 2016]
  • 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 2004-present [July 2017]
  • Aaron N. Kaplan
    A Computational Model of Belief
    NewsCred (NY) [July 2017]
  • 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
    Magic Leap, Inc [since April 2016, updated June 2016]

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
    Retired, GE Global Research Center [September 2017]
  • Galen C. Hunt
    Automatic Distributed Partitioning of Component-Based Applications
    Partner Research Manager, Microsoft Corporation [July 2017]
  • 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
    CJ and Elizabeth Hwang Professor of Computer Science and Engineering and Electrical Engineering, University of Washington [July 2017]
  • 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
    Director of Data Science, BitSight Technologies, Cambridge, MA [July 2017]
  • 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
    Chief Software Architect Exascale Computing, Intel Corporation [July 2017]
  • 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
    Chief Efficiency Strategist, Microsoft Research [July 2017]
  • George M. Ferguson
    Knowledge Representation and Reasoning for Mixed-Initiative Planning
    University of Rochester [August 2005]
  • Boris Goldowsky
  • Joel Lachter (joint student, Psychology and Computer Science - Cognitive Science Program)
    Processing of Unattended Objects in Vision
    Senior Research Associate, NASA [July 2017]
  • 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
    Director for Natural Language Research, U. Southern California Inst. for Creative Technologies [September 2016] and
    Research Assistant Professor, USC Viterbi School of Engineering Computer Science Department [September 2016]
  • Jack E. Veenstra
    Hybrid Cache Coherency Protocols
    (deceased)

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]
  • Janet Marie Hitzeman
    “Temporal Adverbials and the Syntax-Semantics Interface”
    (deceased)
  • 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 
    Raytheon [June 2016]
  • 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
    Innergy Systems [August 2017]
  • 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
    Samsung [August 2017]
  • 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
    Microsoft [August 2017]
  • 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) [August 2017]
  • 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
    Mentor Graphics, a Siemens company [July 2017]
  • 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
    Co-Founder and CTO, Reactor8, Inc [October 2016]
  • 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
    Oak Ridge National Lab [June 2016]

1982

  • Arun Arya
    Super: Encapsulated Autonomous Distributed Computations on an Abstract Architecture [Aug 2002]
  • Andrew Haas
    Planning Mental Actions
    (deceased)
  • 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)
    Enterprise Systems Modelling Lab (ESML) of the Industrial Engineering & Management Department of the Technion
    Sept 2017, Retired, IBM Haifa Research Lab [Sept. 2017]

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]