PhD Degrees Awarded
Dates after affiliations represent the latest date the information was confirmed.
Please send updates to robin.clark@rochester.edu.
2022
- 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]
2021
- 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]
2020
- 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]
2019
- 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 LianLarge Scale Optimization for Deep LearningSenior Research Scientist, Kwai Inc [August 2019]
- Haofu Liao
Deep Learning Methods for Medical Image Computing
Applied Scientist, Amazon Web Services, Inc. [November 2019] - Linfeng SongTackling 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]
2018
- 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]
2017
- 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]
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 Scientist, GE Digital [June 2018]
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 [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]
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
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]
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 [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]
2012
- Tongxin BaiProgram Parallelization through Safe Dependence Hints and All-context Dependence AnalysisAssociate 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]
2011
- 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]
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 [June 2018] - Fabrizio Morbini
Computational Infrastructure for a Self-Aware Agent
Tact.ai [June 2018] - Michael Spear
Fast Software Transactions
Lehigh University [June 2018] - Benjamin Van Durme
Extracting Implicit Knowledge from Text
Johns Hopkins University [Mar. 2018]
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 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]
2007
- 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]
2006
- 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]
2005
- 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]
2004
- 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]
2003
- 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
EyesOn.ai [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
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
Frankfurt School of Finance & Mgt [Feb. 2018]
2001
- 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]
2000
- 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]
1999
- 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]
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 [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]
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 [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]
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 [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]
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 [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
1994
- 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”
(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
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]
1993
- 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]
1992
- 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]
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 [February 2018]
1990
- 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]
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
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]
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 [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]
1987
- 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]
1986
- 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]
1985
- 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]
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 [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]
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
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]
1981
- 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]
1980
- 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]