PhD Degrees Awarded

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

Please send updates to


  • Lele Chen
    High-Fidelity Talking Avatar Video Generation
    Staff Research Scientist, Innopeak Technology [May 2022]
  • Lisa Jin
    Hierarchical Graph Decomposition for Natural Language Generation
    Research Scientist, Meta [July 2022]
  • Gene Kim
    Corpus Annotation, Parsing, and Inference for Episodic Logic Type Structure 
    Visiting Assistant Professor, University of South Florida [February 2022]
  • Weijian Li
    Relation-Based Learning for Healthcare and Beyond
    Applied Scientist, Amazon [June 2022]
  • Divya Ojha
    Redesigning Caches to Resist Side Channel Attacks 
    Senior Computer Vision Architect, Nvidia [June 2022]
  • Andrew Read-McFarland
    Sampling and Decision Problems with Connectivity Constraints  
    Assistant Professor of Instruction, University of Rochester [June 2022]
  • Yapeng Tian
    Audio-Visual Scene Understanding Towards Unified, Explainable, and Robust Multisensory Perception
    Assistant Professor, University of Texas at Dallas [June 2022]
  • Wei Xiong
    Guidance-Driven Visual Synthesis with Generative Models 
    Research Scientist, Adobe [June 2022]


  • Tianlang Chen
    Joint Visual-Textual Modeling for Multimodal Content Classification, Retrieval and Generation 
    Applied Scientist, Amazon [June 2021]
  • Shupeng Gui
    Neural Embedding: Compact, Robust, and Non-Euclidean Solutions 
    Research Scientist, Facebook [June 2021]
  • Zahra Razavi
    Dialogue Management and Turn-Taking Automation in a Speech-Based Conversational Agent
  • Parker Riley
    Text Rewriting with Missing Supervision 
    Software Engineer, Google [June 2021]
  • Samiha Samrose
    Modeling and Mediating Conversational Norm Violations 
    Data Scientist, Read AI [June 2021]
  • Taylan Sen
    Interpersonal Communication Analysis with Facial Expression Encoding and Interactional Modeling
    Assistant Professor, Niagara University [September 2021]
  • Hanlin Tang
    Communication Efficient Machine Learning
    Research Scientist, Tencent [July 2021] 
  • Zhengyuan Yang
    Visual Grounding: Building Cross-Modal Visual-Text Alignment
    Researcher, Microsoft [June 2021]
  • Anis Zaman
    Combining Traditional and Non-traditional Data Stream for Understanding Mental Health
    Research Scientist, eBay [February 2021]


  • Rupam Acharyya
    Approximating Partition Functions of Sprin Systems and Its Applications
    Postdoctorate, SUNY Buffalo [October 2020]
  • Mohammad Rafayet Ali 
    Feedback Strategies on Verbal and Nonverbal Cues to Improve Communication Skills
    Postdoctorate, University of Rochester [July 2020]
  • Ritwik Bose
    Towards Resolving Ambiguity in Semantic Parsing with Hints
    Visiting Assistant Professor, Knox College [September 2020]
  • Brian Dickinson 
    Improving our Understanding of Society through Global Patterns of Human Mobility
    Assistant Professor, Grove City College [August 2020]
  • Nabil Hossain
    Creative Natural Languaage Generation: Humor and Beyond
    AI Research Scientist, Intel [August 2020]
  • Yang Feng
    Localizing Content in Videos via Textual and Visual Queries 
    Software Engineer, Google Cloud AI [June 2020]
  • Jansen Orfan
    Toward Deep Language Understanding: Methods for Learning Conceptual Knowledge from Definitions 
    Lecturer, Rochester Institute of Technology [August 2020]
  • Haichuan Yang
    Sparse Learning for Model Optimization
    Research Scientist, Facebook [August 2020]
  • Xiong Zhang
    Contextualized Exploratory Programming using Webpages as Substrates
    Research Scientist, Facebook [October 2020]


  • Scott Ames
    Theoretical and Practical Efficiency of Cryptographic Primitives
  • Dong Chen
    Program Locality Analysis Based on Reuse Intervals
    Assistant Professor, National University of Defense Technology (China) [August 2019]
  • Xiaowan Dong
    Toward Efficient and Protected Address Translation in Memory Management
    Software Engineer, Google [July 2019]
  • Tianran Hu
    Decoding Human Lives from Social Media Data
    Assistant Professor, College of William & Mary [August 2019]
  • Xiangru Lian
    Large Scale Optimization for Deep Learning
    Senior Research Scientist, Kwai Inc [August 2019]
  • Haofu Liao
    Deep Learning Methods for Medical Image Computing 
    Applied Scientist, Amazon Web Services, Inc. [November 2019]
  • Linfeng Song
    Tackling Graphical NLP Problems with Graph Recurrent Networks
    Senior Research Scientist, Tencent Seattle [May 2019]
  • Sharanyan Srikanthan
    Sharing-Aware Resource Management for Multicore Systems
    Software Development Engineer, Intel [May 2019]
  • Phyo Thiha
    Web and SMS Interfaces to Create and Share Personal Resilience Testimonials for Youth Suicide Prevention
    GroupM [July 2019]
  • Ryan Yates
    Improving Haskell Transactional Memory
    Assistant Professor of Computer Science and Data Science, Houghton College [August 2019]
  • Jianbo Yuan
    Towards Knowledge Incorporation in Multimodal Healthcare Analytics
    Applied Scientist, Amazon Fashion Science [September 2019]


  • Jacob (Jake) Brock
    Pareto Optimization for Cache and Memory Management
    HPE [August 2018]
  • Joseph Izraelevitz
    Concurrency Implications of Nonvolatile Byte-Addressable Memory
    Assistant Professor, University of Colorado Boulder [August 2019]
  • Rahman Lavaee Mashhadi
    Profile-Guided Memory Layout: Theory and Practice
    Google [June 2018]
  • Xiaochang Peng
    Mapping Natural Language Sentences to Semantic Graphs
    Facebook [July 2018]
  • Adam Purtee
    Toward Better Reasoning from Natural Language
    Rochester Institute of Technology [2018]


  • Omid Bakhshandeh
    Language Learning Through Comparison
    Verneek [May 2018]
  • 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 [June 2018]
  • Nasrin Mostafazadeh
    From Event to Story Understanding
    Senior Staff Research Scientist, Elemental Cognition [June 2018]
  • 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]


  • 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 Scientist, GE Digital [June 2018]


  • 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 [June 2018]
  • Walter Lasecki
    Crowd Agents: Interactive Intelligent Systems Powered by the Crowd
    Assistant Professor, University of Michigan [June 2018]
  • 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 [June 2018]
  • Yu Zhong
    Enhancing Access to Complex and Spatial Information for Blind Users of Mobile Devices
    Software Engineer, Google [August 2016]


  • Marzieh Bazrafshan
    Semantic Features for Statistical Machine Translation
    Data Science Engineer, H5 [August 2016]
  • Chetan Bhole
    Graphical Models for Segmenting Images, Volumes and Videos
    Software Engineer, Google [June 2018]
  • 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, University of Washington [Feb. 2018]
  • 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 [June 2018]
  • Jonathan Gordon
    Inferential Commonsense Knowledge from Text
    Visiting Professor, Vassar College (Fall 2018) [June 2018]
  • Xiaoming Gu
    Optimal Collaborative Caching: Theory and Applications
    Salesforce [June 2018]
  • 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
    Staff Software Engineer, Waymo [December 2018]
  • James (Stan) Park
    Managing and Exploiting Flash-based Storage for Data-intensive Systems
    Staff Kernel Engineer, Huawei Technologies [December 2016]
  • Xiaoya Xiang
    A Higher Order Theory of Locality and Its Application in Multicore Cache Management
    Software Engineer, Google [June 2018]
  • Hongzhou Zhao
    Application-Directed Cache Coherence Design
    Architect, NVIDIA [August 2016]


  • 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
  • Curtis Menton
    Attacking and Defending Popular Election Systems
  • Adam Sadilek
    Modeling Human Behavior at a Large Scale
    Senior Engineer, Google [June 2018]
  • Naushad Uz Zaman
    Interpreting the Temporal Aspects of Language
    Senior Research Scientist, Nuance Communications [August 2016] and
    CTO/Co-Founder, SocialTrendly [August 2016]


  • Tongxin Bai
    Program Parallelization through Safe Dependence Hints and All-context Dependence Analysis
    Associate Professor, Shenzhen Institute of Advanced Technology, Chinese Academy of Sciences [June 2018]
  • 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]


  • Carlos Gomez Gallo
    Incremental understanding and production across clauses
    Northwestern University [Jan. 2018]
  • Philip Michalak
    Task Model Reasoning
    Digital Reasoning Systems [May 2011]
  • Matthew Post
    Syntax-based Language Models for Statistical Machine Translation
    Johns Hopkins University [Jan. 2018]
  • Arrvindh Shriraman
    Architectural Support for Overseeing Memory in Multiprocessors
    Simon Fraser University [Jan. 2018]
  • Bin Wei
    Graphical Models for Heterogeneous Transfer Learning and Co-reference Resolution
    Alibaba Group [May 2015]
  • Shaojun Zhao
    On Word Alignment Models for Statistical Machine Translation
    Facebook [June 2018]


  • 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]


  • Paul Ardis
    Controlling and Evaluating Inpainting
    Digital Twin Mission Leader, GE Global Research [June 2018]
  • Fabrizio Morbini
    Computational Infrastructure for a Self-Aware Agent [June 2018]
  • Michael Spear
    Fast Software Transactions
    Lehigh University [June 2018]
  • Benjamin Van Durme
    Extracting Implicit Knowledge from Text
    Johns Hopkins University [Mar. 2018]


  • 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 2018]
  • Ashwin Lall
    Streaming Algorithms for Network Flow Data Analysis
    Denison University [Jan. 2018]
  • 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
    Oracle [Jan. 2018]
  • 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]


  • Ellen Campana
    Natural versus Standardized Approaches to Spoken System Design: A Comparison Using the Dual-Task Paradigm
    KPMG [Jan. 2018]
  • 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 
    Google, Seattle, WA [Jan. 2018]
  • Ming Zhong
    Exploiting Object Usage Non-uniformity in Distributed Data Management
    Google, CA [August 2007]


  • Xue Gu
    An Equilibrium Point Based Humanoids Control Model
    Towers Perrin [Sept. 2006]
  • Athanasios Papathanasiou
    Power Efficiency through I/O Access Pattern Reshaping
    Amazon Web Services [May 2015]
  • William N. Scherer III
    Synchronization and Concurrency in User-Level Software Systems
    Hewlett-Packard [Jan. 2018]
  • Jonathan M. Shaw
    Unifying Perception and Curiosity
    Shaw Technologies, Inc. [Aug. 2006]
  • Xipeng Shen
    Large-Scale Program Behavior Analysis for Adaptation and Parallelization
    North Carolina State [Jan. 2018]
  • Weilie Yi
    Modeling Sequential Natural Behavior Based on Visual Routines
    VP of Data Science, Placed, Inc. [July 2017]


  • Nathan J. Blaylock
    Towards Tractable Agent-Based Dialogue
    Senior Manager, Nuance Communications [July 2017]
  • Matthew R. Boutell
    Exploiting Context for Semantic Scene Classification
    Professor of Computer Science and Software Engineering, Rose-Hulman Inst. of Tech. (Terre Haute, IN) [June 2018]
  • Bo Hu
    Cast Shadows in Augmented Reality Systems
    Google, CA [Jan. 2017]
  • Grigorios Magklis
    Increasing Energy Efficiency in Adaptive Architectures
    ARM [Aug. 2014]
  • Brandon C.S. Sanders
    A Theory of Quasi-Static Object Discovery
    Dexcom [Oct. 2015]
  • Joel R. Tetreault
    Empirical Evaluations of Pronoun Resolution
    Grammarly [February 2018]
  • Rahul Tripathi
    Complexity of Concrete Problems and Test Languages
    Walmart Technology [Jan. 2012]
  • Yutao Zhong
    Distance-Based Whole-Program Data Locality and Reference Affinity Hierarchy
    George Mason University [Jan. 2018]


  • David D. Ahn
    The Role of Situations and Presuppositions in Restricting Adverbial Quantification
    Google [May 2012]
  • 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 [Jan. 2018]
  • Myroslava Dzikovska
    A Practical Semantic Representation for Natural Language Parsing
    Google, London UK [Jan. 2018]
  • Tao Li (deceased)
    Knowledge Discovery from Labeled and Unlabeled Data
    Florida International University
  • Umit Rencuzogullari
    Dynamic Resource Management for Parallel Applications in an Autonomous Cluster of Workstations
    Cicso [Jan. 2018]
  • Nathan R. Sprague
    Learning to Coordinate Visual Behaviors
    James Madison University [Jan. 2018]
  • Chunqiang Tang
    Data Sharing and Information Retrieval in Wide-Area Distributed Systems
    Facebook [July 2013]
  • Kumar Mayur Thakur
    General Tools for Determining Problem Complexity
    Goldman Sachs, NYC [Jan. 2018]
  • Chen Yu
    Embodied Language Learning in Humans and Machines
    U. Indiana, Bloomington, Cognitive Sci. Program [May 2005]


  • Rajeev Balasubramonian
    Dynamic Management of Microarchitecture Resources in Future Microprocessors
    U. Utah School of Computing [Feb. 2018]
  • Alina Y. Beygelzimer
    Alternative Notions of Approximation and Space-Bounded Computations
    IBM T.J. Watson Research Center [Feb. 2018]
  • Rahul Bhotika
    Scene-Space Methods for Bayesian Inference of 3D Shape and Motion
    Amazon, Seattle [Feb. 2018]
  • Melissa Dominguez
    Developing Vision
    Google [June 2016]
  • Christopher K. Eveland
    Utilizing Visible and Thermal Infrared Video for the Fast Detection and Tracking of Faces [June 2018]
  • 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
    Wink, Inc. [March 2018]
  • Christopher M. Homan
    Redundancy: Eliminating It, Exploiting It
    Rochester Inst. of Technology [March 2018]
  • Zuohua Zhang
    Distributed Synchrony
    Amazon [Feb. 2018]
  • Shenghuo Zhu
    Learning to Cooperate
    Alibab Group [Febuary 2018]
  • Teresa Zollo
    Detecting and Correcting Speech Recognition Errors during Natural Language Understanding


  • 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
    Frankfurt School of Finance & Mgt [Feb. 2018]


  • Jessica D. Bayliss
    A Flexible Brain-Computer Interface
    Rochester Inst. of Technology [January 2018]
  • 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 [January 2018]
  • Amit Singhal
    Bayesian Evidence Combination for Region Labeling
    Rossi Kimms & McDowell LLC [Feb. 2018]
  • Amanda J. Stent
    Dialogue Systems as Conversational Partners: Applying Conversation Acts Theory to Natural Language Generation for Task-Oriented Mixed-Initiative Spoken Dialogue
    Bloomberg [June 2018]
  • Meghan Hyland
    Role Selection in Teams of Non-Communicating Agents
    Zillow [March 2018]


  • Mark G. Core
    Dialog Parsing: From Speech Repairs to Speech Acts
    U. Southern Calif. Inst. Creative Technologies, [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. [Feb. 2018]
  • Eric K. Ringger
    Correcting Speech Recognition Errors
    Zillow [February 2018]
  • Amon B. Seagull
    Well-Foundedness and Reliability in Statistical Natural Language Parsing
    Magic Leap, Inc [June 2016]


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


  • 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 [Feb. 2018]
  • 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. [Feb. 2018]
  • Choh Man Teng
    Non-Monotonic Inference: Characterization and Combination
    Institute for Human Machine Cognition [Feb. 2018]
  • James R. Vallino
    Interactive Augmented Reality
    Rochester Institute of Technology [January 2018]
  • Mohammed J. Zaki
    Parallel Data Mining for Rules in Very Large Databases
    Rensselaer Polytechnic Institute [Feb. 2018]


  • 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 [Feb. 2018]
  • Peter A. Heeman
    Speech Repairs, Intonational Boundaries and Discourse Markers: Modeling Speakers' Utterances in Spoken Dialog
    Oregon Health and Science University [Feb. 2018]
  • Jonas Karlsson
    Learning to Solve Multiple Goals
    Overview Project [Feb. 2018]
  • Wagner Meira, Jr.
    Understanding Parallel Program Performance Using Cause-Effect Analysis
    Universidade Federale de Minas Gerais, Brazil [Feb. 2018]
  • Maged M. Michael
    Reducing the Overhead of Sharing on Shared Memory Multiprocessors
    Facebook [Feb. 2018 ]
  • Justinian P. Rosca
    Hierarchical Learning with Procedural Abstraction Mechanisms
    Siemens Corporate Research Center [Dec. 2005]


  • 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 [Feb. 2018]
  • 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
    Lyft, Inc. [Feb. 2018]
  • 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]


  • 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 [February 2018]
  • 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
    Bloomberg [Feb. 2018]
  • Jeff Schneider
    Robot Skill Learning through Intelligent Experimentation
    CMU Robotics Inst. /Uber ATC [Jan. 2018]
  • 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 (deceased) Hybrid Cache Coherency Protocols


  • Corinna Cortes
    Prediction of Generalization Ability in Learning Machines
    Google (NY) [February 2018]
  • Mark E. Crovella
    Performance Prediction and Tuning of Parallel Programs
    Professor of Computer Science, Boston University [June 2018]
  • Virginia R. de Sa
    Unsupervised Classification Learning from Cross-Modal Environmental Structure
    U. Cal., San Diego, Cognitive Science Dept. [March 2018]
  • Yenjo Han
    On Accessing and Hiding Information
    Dasan Networks, Inc. (Seoul) [June 2006]
  • Janet Marie Hitzeman
    “Temporal Adverbials and the Syntax-Semantics Interface”
  • 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
    Queen Mary University of London, Dept. of Computer Science [June 2018]
  • Ramprasad Polana
    Temporal Texture and Activity Recognition
    Innominds[March 2018]
  • Raymond D. Rimey
    Control of Selective Perception using Bayes Nets and Decision Theory
    Lockheed Martin Corp. (Littleton, CO) [February 2018]
  • Lambert E. Wixson
    Gaze Selection for Visual Search
    Clarifai [June 2018]
  • Ju Zhang
    Density Control and On-Line Labeling Problems
    JPMorgan Chase (New York, NY) [March 2004]


  • William J. Bolosky
    Software Coherence in Multiprocessor Memory Systems
    Microsoft Corporation [June 2018]
  • Cezary Dubnicki
    The Effects of Block Size on the Performance of Coherent Caches in Shared-Memory Multiprocessors
    9LivesData [February 2018]
  • Evangelos Markatos
    Using Cache (and Memory) Affinity in Scheduling for Shared-Memory Multiprocessors
    FORTH ICS and U. Crete [February 2018]
  • 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 [March 2018]


  • David J. Coombs
    Real-Time Gaze Holding in Binocular Robot Vision 
    Raytheon [June 2018]
  • Alan L. Cox
  • The Implementation and Evaluation of a Coherent Memory Abstraction for NUMA Multiprocessors
    Rice University [March 2018]
  • 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
    Google [February 2018]
  • Lata Narayanan
    Selection, Sorting and Routing on Mesh-Connected Processor Arrays
    Concordia University [February 2018]
  • 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
    Retired from Verizon [July 2018]


  • 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 [February 2018]


  • Peter C. Dibble
    A Parallel Interleaved File System
    Google (Custom Search) [June 2018]
  • 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 [February 2018]
  • Michael J. Swain
    Color Indexing
    athenahealth (Watertown, MA) [August 2017]
  • Sue-Ken Yap
    Programming Environment for Graphical User Interfaces
    Silanna (Australia) [February 2018]


  • 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
    Retired [January 2018]
  • John Mellor-Crummey
    Debugging and Analysis of Large-Scale Parallel Programs
    Rice University CSD [January 2018]
  • Thomas J. Olson
    An Architectural Model of Visual Motion Understanding
    ARM Media Processing Division [January 2018]
  • 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
    Code for Thought [June 2018]
  • Susan Hollbach Weber
    A Structured Connectionist Approach to Direct Inferences and Figurative Adjective-Noun Combinations
    U. Stanford School of Medicine [June 2018]


  • 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 [January 2018]
  • Ronald P. Loui
    Theory and Computation of Uncertain Inference and Decision
    CivicFeed (Springfield, IL) [June 2018]
  • 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 [January 2018]
  • Josh D. Tenenberg
    Abstraction in Planning
    U. Washington, Tacoma [January 2018]


  • John Aloimonos
    Computing Intrinsic Images
    University of Maryland [January 2018]
  • Amit Bandopadhay
    A Computational Study of Rigid Motion Perception
    Fannie Mae [January 2018]
  • Alan M. Frisch
    Knowledge Retrieval as Specialized Inference
    University of York [January 2018]
  • Henry A. Kautz
    A Formal Theory of Plan Recognition
    University of Rochester [January 2018]
  • Richard E. Newman
    Communication Issues in Parallel Computation
    University of Florida at Gainesville [January 2018]


  • Diane J. Litman
    Plan Recognition and Discourse Analysis: An Integrated Approach for Understanding Dialogues
    U. Pittsburgh, Computer Science Dept. [January 2018]
  • Lokendra Shastri
    Evidential Reasoning in Semantic Networks: A Formal Theory and its Parallel Implementation
    Samsung R & D Institute Bengaluru [January 2018]


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


  • 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 [January 2018]
  • Mark Kahrs
    Silicon Compilation of Very High Level Languages
    U. Pittsburgh, Electrical Engg. Dept. [January 2018]
  • Yuki Watanabe
    IC Layout Generation and Compaction Using Mathematical Optimization
    Lehman Brothers (New York, NY) [August 2007]


  • 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]


  • Arun Arya
    Super: Encapsulated Autonomous Distributed Computations on an Abstract Architecture [Aug 2002]
  • Andrew Haas
    Planning Mental Actions
  • Daniel Sabbah
    A Connectionist Approach to Visual Recognition
    DSabbah LLC [January 2018]
  • Robert Schudy
    Harmonic Surfaces and Parametric Image Operators: Their Use in Locating the Moving Endocardial Ultrasound Data
    Metropolitan College, Boston U. [January 2018]
  • Peter Selfridge
    Reasoning about Success and Failure in Aerial Image Understanding
    DARPA [January 2018]
  • Edward Smith
    Debugging Techniques for Communicating Loosely-Coupled Processes
    Concentrick Sky Inc [January 2018]


  • Anil Nigam
    A Specification and Proof Technique for Message-Based Systems and Its Application to Distributed Database Algorithms
    Independent Technology Advisor [January 2018]
  • Donald Perlis 
    Language, Computation, and Reality
    University of Maryland [January 2018]
  • Uri Shani
    Understanding Three Dimensional Images: The Recognition of Abdominal Anatomy from Computer Axial Tomograms (CAT)
    Retired, IBM Haifa Research Lab, currently part-time consultant at the Technion, Israel Institute of Technology [June 2018]


  • Ilya Gertner
    Performance Evaluation of Communicating Processes
    Aerospace Corp. [July 2006]
  • Keith A. Lantz
    Uniform Interfaces for Distributed Systems
    Practive Health Inc (Jan. 2018)
  • Joseph T. Maleson (deceased)
    Texture in Natural Images
  • Richard F. Rashid
    LIGHTS: A System for Interpretation of Moving Light Displays
    Microsoft Research [Nov 2016]
  • Jonathan E. Shopiro
    A Very High Level Language and Optimized Implementation Design for Relational Databases
    In*Sight Massage [January 2018]
  • Graeme J. Williams
    Program Checking
    Self Employed [January 2018]