| Malihe Alikhani | Ph.D. | 2020 | Matthew Stone | Multimodal Communication: Commonsense, Grounding, and Computation Abstract |
| Aleander Conway | Ph.D. | 2020 | Martin Farach-Colton | Understanding Dictionaries at the Intersection of Theory and Practice |
| Zachary Daniels | Ph.D. | 2020 | Dimitris Metaxas | Explanation-Driven Learning-Based Models for Visual Recognition Tasks |
| Guangyan Hu | Ph.D. | 2020 | Thu D. Nguyen | Distributed Frameworks for Approximate Data Analytics |
| Tugba Kulahcioglu | Ph.D. | 2020 | Gerard de Melo | Computational Approaches for Semantics-Aware Typographical Choices |
| Chaitanya Mitash | Ph.D. | 2020 | Abdeslam Boularias | Scalable, Physics-aware 6D Pose Estimation for Robot Manipulation |
| Cong Zhang | Ph.D. | 2020 | Rebecca Wright | Order-Revealing Encryption: New Constructions and Barriers |
| Benham Babagholami Mohamadabadi | Ph.D. | 2020 | Vladimir Pavlovic | Unsupervised visual domain adaptation: a probabilistic approach |
| Liu Liu | Ph.D. | 2020 | Ulrich Kremer | Trading quality for resource consumption through approximation management |
| Chaowei Tan | Ph.D. | 2020 | Dimitris Metaxas | Machine learning based image segmentation for large-scale osteoarthritis analysis |
| Abhishek Bhrushundi | Ph.D. | 2020 | Swastik Kopparty | Towards understanding the approximation of Boolean functions by nonclassical polynomials |
| Shaoua Duan | Ph.D. | 2020 | Manish Parashar | Addressing fault tolerance for staging based scientific workflows |
| Rahul Shome | Ph.D. | 2020 | Kostas Bekris | The problem of many: efficient multi-arm, multi-object task and motion planning with optimality guarantees |
| Zhihan Fang | Ph.D. | 2020 | Desheng Zhang | Human mobility modeling based on heterogeneous urban sensing systems |
| Eduard Gibert Renart | Ph.D. | 2020 | Manish Parashar | Programming and managing data-driven applications between the edge and the cloud |
| Zakary Littlefield | Ph.D. | 2020 | Kostas Bekris | Efficient and asymptotically optimal kinodynamic motion planning |
| Ji Zhang | Ph.D. | 2020 | Ahmed Elgammal | Scene graph parsing and its application in cross-modal reasoning tasks |
| Aditya Potukuchi | Ph.D. | 2020 | Swastik Kopparty | Combinatorial methods in algorithms and complexity theory |
| Ana P. Centeno | Ph.D. | 2019 | Richard P. Martin | Optimizing Task Scheduling in Emergency Departments |
| Chintan Dalal | Ph.D. | 2019 | Dimitris Metaxas | High-Dimensional Manifold Geostatistics |
| Daeyoung Kim | Ph.D. | 2019 | Vinod Ganapathy | Regulating Smart Devices in Restricted Spaces |
| Bo Liu | Ph.D. | 2019 | Dimitris Metaxas | Optimization in Sparse Learning: from Convexity to Non-convexity |
| Hai Pham | Ph.D. | 2019 | Vladimir Pavlovic | Learning human facial performance: analysis and synthesis |
| Zi Yan | Ph.D. | 2019 | Abhishek Bhattacharjee | Virtual Memory for Next-Generation Tiered Memory Architectures |
| Han Zhang | Ph.D. | 2019 | Dimitris Metaxas | Generative adversarial networks for image synthesis |
| Chen Cong | Ph.D. | 2019 | Naftaly Minsky | Broad-Spectrum, Dependable, and Secure Protocol Enforcement Mechanism for Multi-Agent Systems |
| Dong Yang | Ph.D. | 2019 | Dimitris Metaxas | Deformable models and machine learning for large-scale cardiac MRI image analytics |
| Daniela Vianna | Ph.D. | 2019 | Amélie Marian | Searching heterogeneous personal data |
| Adarsh Yoga | Ph.D. | 2019 | Santosh Nagarakatte | Parallelism-driven performance analysis techniques for task parallel programs |
| Ali Reza Zamani Zadeh Najari | Ph.D. | 2019 | Manish Parashar | Scheduling edge and in-transit computing resources for stream processing applications |
| Priya Govindan | Ph.D. | 2018 | Shan Muthukrishnan | Core Structure and Influence in Social Networks |
| David Menendez | Ph.D. | 2018 | Santosh Nagarakatte | Practical formal techniques and tools for developing LLVM's peephole optimizations |
| Xi Peng | Ph.D. | 2018 | Dimitris Metaxas | Learning Disentangled Representations in Deep Visual Analysis |
| Vilelmini Kalampratsidou | Ph.D. | 2018 | Elizabeth Torres | Co-adaptive multimodal interface guided by real-time multisensory stochastic feedback |
| Ioannis Manousakis | Ph.D. | 2018 | Thu D. Nguyen | Resource Provisioning and Placement for Cost-efficient Datacenters |
| Jun Hu | Ph.D. | 2018 | Ping Li | Collaborative Ranking-based Recommender Systems |
| Qiong Hu | Ph.D. | 2018 | Tomasz Imielinski | Boundless Data Analytics through Progressive Mining |
| Matthew Mitsui | Ph.D. | 2018 | Chirag Shah | Adopting a Graphical Perspective in Interactive Information Retrieval Research |
| Guilherme Mota Cavalcanti A Cox | Ph.D. | 2018 | Abhishek Bhattacharjee | Improving and Complementing Virtual Memory Using Hardware Techniques |
| Hai Nguyen | Ph.D. | 2018 | Vinod Ganapathy | Exploring Security Support for Cloud-based Applications |
| Jie Shen | Ph.D. | 2018 | Ping Li | Learning from Structured Data: Algorithms, Theories, and Applications |
| John Wiedenhoeft | Ph.D. | 2018 | Alexander Schliep | Dynamically compressed Bayesian hidden Markov models using Haar wavelets |
| Chaolun Xia | Ph.D. | 2018 | Shan Muthukrishnan | Pricing Problems in Online Markets |
| Erick Chastain | Ph.D. | 2017 | Eric Allender | The Multiplicative Weight Updates method for Evolutionary Biology |
| Jongpil Kim | Ph.D. | 2017 | Vladimir Pavlovic | Discovering Visual Saliency for Image Analysis |
| Babak Saleh | Ph.D. | 2017 | Ahmed Elgammal | A Novel Framework for Understanding Atypical Images |
| Abdul Basit | Ph.D. | 2017 | William Steiger | Some Applications of Algebraic Methods in Combinatorial Geometry |
| Amey Bhangale | Ph.D. | 2017 | Swastik Kopparty | Property Testing, PCPs and CSPs |
| Mrinal Kumar | Ph.D. | 2017 | Swastik Kopparty | Lower bounds for bounded depth arithmetic circuits |
| Daehan Kwak | Ph.D. | 2017 | Badri Nath | Supporting route choice via real-time visual traffic information and counterfactual arrival times |
| Benjamin Lund | Ph.D. | 2017 | Shubhangi Saraf | Incidences and extremal problems on finite point sets |
| Fengpeng Yuan | Ph.D. | 2017 | Janne Lindqvist | Predicting Mobile Interruptibility |
| Andrew Dobson | Ph.D. | 2017 | Kostas Bekris | Compact Representations for Efficient Robot Motion Planning with Formal Guarantees |
| Fatma B. Durak | Ph.D. | 2017 | David Cash | Cryptanalytic study of property-preserving encryption |
| Athanasios Krontiris | Ph.D. | 2017 | Kostas Bekris | Hierarchical Frameworks for Efficient Prehensile Rearrangement with a Robotic Manipulator |
| Long Le | Ph.D. | 2017 | Chirag Shah | Extracting Users in Community Question-Answering in Particular Contexts |
| Jingjing Liu | Ph.D. | 2017 | Dimitris Metaxas | Exploiting Multispectral and Contextual Information to Improve Human Detection |
| Ruilin Liu | Ph.D. | 2017 | Badri Nath | Capturing and Analyzing Human Driving Behavior to Improve Road Travel Experience |
| Neil Lutz | Ph.D. | 2017 | Rebecca Wright | Algorithmic Information, Fractal Geometry, and Distributed Dynamics |
| Qian Sun | Ph.D. | 2017 | Manish Parashar | Staging-Based Data Management for Extreme Scale Coupled Scientific Workflows |
| Meng-Tsung Tsai | Ph.D. | 2017 | Martin Farach-Colton | On the Algorithmic Aspects of Turan's Theorem |
| Yan Zhu | Ph.D. | 2017 | Dimitris Metaxas | Towards Active and Interactive Visual Learning |
| Tarek El-Gaaly | Ph.D. | 2016 | Ahmed Elgammal | A Joint Framework for Object Recognition: Categorization, Instance Recognition and Pose Estimation |
| Chathra Hendahewa | Ph.D. | 2016 | Chirag Shah | Implicit Search Feature Based Approach to Assist Users in Exploratory Search Tasks |
| Binh Q. Pham | Ph.D. | 2016 | Abhishek Bhattacharjee | Architectural Support for Efficient Virtual Memory on Big-Memory Systems |
| Mark Dilsizian | Ph.D. | 2016 | Dimitris Metaxas | Hybrid Discriminative-Generative Methods and Applications for Human Pose Reconstruction from Monocular Imagery |
| Md E. Haque | Ph.D. | 2016 | Thu D. Nguyen | Managing Tail Latency in Interactive Services for Multicore Servers |
| Chetan Tonde | Ph.D. | 2016 | Ahmed Elgammal | Supervised Feature Learning via Dependency Maximization |
| Rodrigo F. Toso | Ph.D. | 2016 | Casimir Kulikowski | Adaptive Clustering with a Variance-Aware Criterion: An Alternative to k-Means |
| Amr Bakry | Ph.D. | 2016 | Ahmed Elgammal | Leveraging Image Manifolds for Visual Learning |
| Mohamed H. Elhoseiny | Ph.D. | 2016 | Ahmed Elgammal | Language Guided Visual Perception |
| Faisal Khan | Ph.D. | 2016 | Casimir Kulikowski | Semi-Supervised Transductive Regression for Survival Analysis in Medical Prognostics |
| Qiang Ma | Ph.D. | 2016 | Shan Muthukrishnan | Modeling Users For Online Advertising |
| Minji Wu | Ph.D. | 2016 | Amélie Marian | Corroborating information from multiple sources |
| Zhennan Yan | Ph.D. | 2016 | Dimitris Metaxas | Robust Medical Image Recognition and Segmentation |
| Sejong Yoon | Ph.D. | 2016 | Vladimir Pavlovic | Generalized Distributed Learning Under Uncertainty for Camera Networks |
| Shakeel Butt | Ph.D. | 2015 | Vinod Ganapathy | Self-Service Cloud Computing |
| Scott Kulp | Ph.D. | 2015 | Dimitris Metaxas | Ventricular Blood Flow Simulation and Analysis for Cardiovascular Diagnostics |
| Vukosi Marivate | Ph.D. | 2015 | Michael L. Littman | Improved Empirical Methods in Reinforcement-Learning Evaluation |
| Mustafa G. Uzunbas | Ph.D. | 2015 | Dimitris Metaxas | Automatic and Interactive Segmentations Using Deformable and Graphical Models |
| Kevin Sanik | Ph.D. | 2015 | Manish Singh | The relative effectiveness of line drawing algorithms at depicting 3D shape |
| Turgay Senlet | Ph.D. | 2015 | Ahmed Elgammal | Visual Localization, Semantic Video Segmentation and Labeling Using Satellite Maps |
| Lin Zhong | Ph.D. | 2015 | Dimitris Metaxas | Single Image deblurring with or without face prior and its applications |
| John-Austen Francisco | Ph.D. | 2015 | Richard P. Martin | A Novel Characterization of Signal Space Distortion and its Application to the Quantification of Localization Algorithm Error |
| Amruta Gokhale | Ph.D. | 2015 | Vinod Ganapathy | Similarity Detection Techniques for Mobile Platform Artifacts |
| Rezwana Karim | Ph.D. | 2015 | Vinod Ganapathy | Techniques and Tools for Secure Web Browser Extension Development |
| Darja Krushevskaja | Ph.D. | 2015 | Shan Muthukrishnan | Observing and Optimizing Online Ad Assignments |
| Cheng Li | Ph.D. | 2015 | Thu D. Nguyen | Improving and Tuning the Performance of Server Systems |
| Jason Perry | Ph.D. | 2015 | Rebecca Wright | Putting Secure Computation to Work |
| Yixin Xu | Ph.D. | 2015 | Mario Szegedy | Impossibility Theorems and the Universal Algebraic Toolkit |
| Jinyun Yan | Ph.D. | 2015 | Shan Muthukrishnan | Analyzing and modeling groups |
| Xiang Yu | Ph.D. | 2015 | Dimitris Metaxas | Unconstrained Face Landmark Localization: Algorithms and Applications |
| Yang Yu | Ph.D. | 2015 | Dimitris Metaxas | Sparsity-based Methods for Cardiac Magnetic Resonance Image Reconstruction and Analysis |
| Peter Borosan | Ph.D. | 2014 | Andrew Nealen | Automatic Meshing and Rigging for the Creation and Deformation of 3D Shapes |
| Ishani Chakraborty | Ph.D. | 2014 | Ahmed Elgammal | Object Category Recognition Through Visual-Semantic Context Networks |
| Ali El Qursh | Ph.D. | 2014 | Ahmed Elgammal | Online Non-rigid Motion and Scene Layer Segmentation |
| Gayatree Ganu | Ph.D. | 2014 | Amélie Marian | Understanding Preferences and Similarities from User-Authored Text: Applications to Search and Recommendations |
| Brian Thompson | Ph.D. | 2014 | Shan Muthukrishnan | Models and Algorithms for Event-Driven Networks |
| Ariel Weinstein | Ph.D. | 2014 | Michael L. Littman | Local Planning for Continuous Markov Decision Processes |
| Qingyuan Deng | Ph.D. | 2014 | #N/A | Active Low-Power Modes for Main Memory |
| Sergiu Goschin | Ph.D. | 2014 | Michael L. Littman | Stochastic Dilemmas: Foundations and Applications |
| Hans C. Woithe | Ph.D. | 2014 | Ulrich Kremer | Design and Implementation of an Energy Aware Programming Framework for Autonomous Underwater Vehicles |
| Mingchen Gao | Ph.D. | 2014 | Dimitris Metaxas | Cardiac Reconstruction and Analysis from High Resolution CT Images |
| Md P. Mahmud | Ph.D. | 2014 | Alexander Schliep | Reduced Representations for Efficient Analysis of Genomic Data: From Microarray to High Throughput Sequencing |
| Robert Moore | Ph.D. | 2014 | Richard P. Martin | Owl Platform: Design and Evaluation of a Practical Sensor System |
| Aleksandar Nikolov | Ph.D. | 2014 | Shan Muthukrishnan | New Computational Aspects of Discrepancy Theory |
| Begumhan Turgut | Ph.D. | 2014 | Richard P. Martin | Advances In Instantaneous and Dynamic Localization In Indoor Environments |
| Rajat S. Roy | Ph.D. | 2014 | Alexander Schliep | Improving genome assembly by identifying reliable sequencing data |
| Mudassir Shabbir | Ph.D. | 2014 | William Steiger | Some Results in Computational and Combinatorial Geometry |
| Andrew Tjang | Ph.D. | 2014 | Thu D. Nguyen | Model Based Validation for Improving Availability of Internet Services |
| Monica Vroman | Ph.D. | 2014 | Michael L. Littman | Maximum Likelihood Inverse Reinforcement Learning |
| John R. Yaros | Ph.D. | 2014 | Tomasz Imielinski | Data Mining Perspectives on Equity Similarity Prediction |
| Kien T. Le | Ph.D. | 2013 | #N/A | Managing Energy Usage and Cost Through Load Distribution in Multi-Data-center Services |
| John Asmuth | Ph.D. | 2013 | Michael L. Littman | Model-based Bayesian reinforcement learning with generalized priors |
| Xinyi Cui | Ph.D. | 2013 | Dimitris Metaxas | Towards Accurate Group Activity Analysis in Videos: Robust Saliency Detection and Effective Feature Modeling |
| Mohan Dhawan | Ph.D. | 2013 | Vinod Ganapathy | Rethinking Web Platform Extensibility |
| Luke B. Friedman | Ph.D. | 2013 | Eric Allender | Some Applications of Randomness in Computational Complexity |
| Lu Han | Ph.D. | 2013 | Liviu Iftode | Social Caching and Vehicular Social Networks: Two Contributions to The Theory and Practice of Online Social Networks |
| Liu Yang | Ph.D. | 2013 | Vinod Ganapathy | New Pattern Matching Algorithms for Network Security Applications |
| Devendra Desai | Ph.D. | 2013 | Mario Szegedy | Approximability of Modularity Clustering and related results |
| Edinah K. Gnang | Ph.D. | 2013 | Ahmed Elgammal | Computational aspects of the Combinatorial Nullstellensatz method via a polynomial approach to matrix and hypermatrix algebra |
| Darakhshan J. Mir | Ph.D. | 2013 | Rebecca Wright | Differential Privacy: The privacy-Utility Landscape |
| Shahriar Shariat Talkhoonche | Ph.D. | 2013 | Vladimir Pavlovic | Robust Time-Series Retrieval using Adaptive Segmental Alignment |
| Tam Vu | Ph.D. | 2013 | Marco Gruteser | Enriching Communication Methods for Composable Mobile Systems |
| Michael Wunder | Ph.D. | 2013 | Matthew Stone | Transferable Strategic Meta-reasoning Models |
| Fei Yang | Ph.D. | 2013 | Dimitris Metaxas | Facial Expression Transfer by using 3D-Aware Expression Flow |
| Rekha Bachwani | Ph.D. | 2012 | #N/A | Preventing and Diagnosing Software Upgrade Failures |
| Nikolaos Leonardos | Ph.D. | 2012 | Michael Saks | Information theory methods in communication complexity |
| Nicholas Michael | Ph.D. | 2012 | Dimitris Metaxas | A Face Tracking System for Dynamic Event Recognition |
| Fengming Wang | Ph.D. | 2012 | Eric Allender | On Circuit Complexity Classes and Iterated Matrix Multiplication |
| Lei Wang | Ph.D. | 2012 | Mario Szegedy | Some Problems On Discrete Geometry and Combinatorics |
| Luiz Ramos | Ph.D. | 2012 | #N/A | Exploiting Phase-Change Technology in Server Memory Systems |
| Shaoting Zhang | Ph.D. | 2012 | Dimitris Metaxas | Towards robust and effective shape prior modeling |
| Tin Lam | Ph.D. | 2012 | Naftaly Minsky | Making SOA-Based Systems Coherent and Trustworthy |
| Saman Zarandioon | Ph.D. | 2012 | Danfeng Yao | Improving the security and usability of cloud services with user-centric security models |
| Wei Zheng | Ph.D. | 2012 | #N/A | Experiment-Based Management of Data Centers |
| Baiyang Liu | Ph.D. | 2012 | Casimir Kulikowski | Selection-based Dictionary Learning for Sparse Representation in Visual Tracking |
| Ali Nouri | Ph.D. | 2011 | Michael L. Littman | Efficient model-based exploration in continuous state-space environments |
| Toufiq Parag | Ph.D. | 2011 | Ahmed Elgammal | Labeling Hypergraph-structured Data using Markov Network |
| Jiankuan Ye | Ph.D. | 2011 | Casimir Kulikowski | Experimental Study and Geometrical Analysis on a Linear Programming Support Vector Machine |
| Gayathri Chandrasekaran | Ph.D. | 2011 | Richard P. Martin | Direct Inference of Location-related Context from Wireless Signal Strength |
| Imdadullah Khan | Ph.D. | 2011 | Endre Szemeredi | Spanning subgraphs in graphs and hypergraphs |
| Tracey Lall | Ph.D. | 2011 | Matthew Stone | JobPlan - A New Integrated Representation and Planner for Batch Job Workflow Automation |
| Pavel P. Kuksa | Ph.D. | 2011 | Vladimir Pavlovic | Scalable Kernel Methods and Algorithms for General Sequence Analysis |
| Rajat Mittal | Ph.D. | 2011 | Mario Szegedy | Application of SDP to product rules and quantum query complexity |
| Steve Smaldone | Ph.D. | 2011 | Liviu Iftode | Improving the Performance, Availability, and Security of Data Access for Opportunistic Mobile Computing |
| Xiaoxu Wang | Ph.D. | 2011 | Dimitris Metaxas | Meshless Deformable Models for LV Motion and Strain Computation from TMRI |
| Peng Yang | Ph.D. | 2011 | Dimitris Metaxas | Facial Expression Recognition and Expression Intensity Estimation |
| Smriti Bhagat | Ph.D. | 2011 | Shan Muthukrishnan | Masking and Labeling Problems in Social Network Data Management |
| Mangesh Gupte | Ph.D. | 2011 | Michael Saks | Applications of Algorithms to Social Networks, Secretary Problems and Differential Privacy |
| Junzhou Huang | Ph.D. | 2011 | Dimitris Metaxas | Structured Sparsity: Theorems, Algorithms and Applications |
| Thang Le | Ph.D. | 2011 | Casimir Kulikowski | Clustering by Graph Density Variation Analysis with Density-based Cluster Validity Indices |
| Pravin Shankar | Ph.D. | 2011 | Liviu Iftode | Improving Performance, Privacy and Relevance of Location-based Services for Mobile Users |
| Marwan Torki | Ph.D. | 2011 | Ahmed Elgammal | Learning the manifolds of local features and their spatial arrangement |
| Wenxuan Zhang | Ph.D. | 2011 | Naftaly Minsky | Governance-Based Management of Open Distributed Systems |
| Bruno Dufour | Ph.D. | 2010 | Barbara Ryder | Practical analysis of framework-intensive applications |
| Atul Kanaujia | Ph.D. | 2010 | Dimitris Metaxas | Conditional Models For 3D Human Pose Estimation |
| Qi Wei | Ph.D. | 2010 | Dinesh Pai | Biomechanical Modeling and Simulation of Human Eye Movement |
| Jihui Zhao | Ph.D. | 2010 | William Steiger | Partitioning Problems in Discrete and Computational Geometry |
| Geetha Jagannathan | Ph.D. | 2010 | Rebecca Wright | Data Privacy in Knowledge Discovery |
| Shu Chen | Ph.D. | 2010 | Wade Trappe | Providing Trustworthiness to the Operation of Location Based Services in Mobile Networks |
| Carlos Diuk | Ph.D. | 2010 | Michael L. Littman | An Object-oriented Representation for Efficient Reinforcement Learning |
| Yuchi Huang | Ph.D. | 2010 | Dimitris Metaxas | Hypergraph Based Visual Object Categorization and Segmentation |
| Asif Jamshed | Ph.D. | 2010 | Endre Szemeredi | Embedding Spanning Subgraphs into Large Dense Graphs |
| Zhiguo Li | Ph.D. | 2010 | Dimitris Metaxas | Video-based Facial Expression Analysis |
| Xiaofeng Mi | Ph.D. | 2010 | Douglas DeCarlo | Representation and Depiction of 2D Shapes using Parts |
| Fabio A. Oliveira | Ph.D. | 2010 | #N/A | Towards Mistake-Aware Systems |
| Tom Walsh | Ph.D. | 2010 | Michael L. Littman | Efficient Learning of Relational Models for Sequential Decision Making |
| Wei Wang | Ph.D. | 2010 | Amélie Marian | Unified Structure and Content Search for Personal Information Management Systems |
| Danny M. Kaufman | Ph.D. | 2009 | Dinesh Pai | Coupled Principles for Computational Frictional Contact Mechanics |
| Lihong Li | Ph.D. | 2009 | Michael L. Littman | A Unifying Framework for Computational Reinforcement Learning Theory |
| Nikita Lytkin | Ph.D. | 2009 | Casimir Kulikowski | Variance-based Clustering Methods and Higher Order Data Transformations and Their Applications |
| Andre Madeira | Ph.D. | 2009 | Shan Muthukrishnan | Private Approximation and Streaming Protocols: Theory and Applications |
| Christopher Peery | Ph.D. | 2009 | Thu D. Nguyen | Wayfinder: A Federated Information Sharing and Management System |
| Zhipeng Zhao | Ph.D. | 2009 | Ahmed Elgammal | Towards a Local-Global Visual Feature-Based Framework for Recognition |
| Arati Baliga | Ph.D. | 2008 | Liviu Iftode | Automated Detection and Containment of Stealth Attacks on the Operating System Kernel |
| Su Chen | Ph.D. | 2008 | Shan Muthukrishnan | Data Compression in Dynamic Systems |
| David DeVault | Ph.D. | 2008 | Matthew Stone | Contribution Tracking: Participating in Task-Oriented Dialogue under Uncertainty |
| Timothy Edmunds | Ph.D. | 2008 | Dinesh Pai | Improving Interactive Multisensory Simulation and Rendering Through Focus On Perceptual Processes |
| Jerry Hom | Ph.D. | 2008 | Ulrich Kremer | An Execution Context Optimization Framework for Disk Energy |
| Pai-Hsi Huang | Ph.D. | 2008 | Vladimir Pavlovic | Protein Homology Detection with Sparse models |
| Rui Huang | Ph.D. | 2008 | Dimitris Metaxas | Graphical Models for Object Segmentation |
| Mihail N. Ionescu | Ph.D. | 2008 | Naftaly Minsky | A Regulatory Architecture for a Digital Enterprise |
| Minyoung Kim | Ph.D. | 2008 | Vladimir Pavlovic | Discriminative Models and Dimensionality Reduction for Regression |
| Konstantinos Kleisouris | Ph.D. | 2008 | Richard P. Martin | Improving the Speed and Accuracy of Indoor Localization |
| Bethany R. Leffler | Ph.D. | 2008 | Michael L. Littman | Perception-Based Generalization in Model-Based Reinforcement Learning |
| Kooksang Moon | Ph.D. | 2008 | Vladimir Pavlovic | Coupled Embedding Of Sequential Processes Using Gaussian Process Models |
| Vivek Pathak | Ph.D. | 2008 | Liviu Iftode | Robust Decentralized Authentication for Public Keys and Geographic Location |
| Brian K. Russell | Ph.D. | 2008 | Michael L. Littman | Learning-Based Route Management in Wireless Ad Hoc Networks |
| Cuneyt O. Tuzel | Ph.D. | 2008 | Peter Meer | Learning on Riemannian Manifolds for Interpretation of Visual Environments |
| Gang Xu | Ph.D. | 2008 | Liviu Iftode | Trusted Application Centric Ad Hoc Network |
| Bing Bai | Ph.D. | 2007 | Paul Kantor | Feature extraction and matching in content-based retrieval of functional Magnetic Resonance Images |
| Suhrid Balakrishnan | Ph.D. | 2007 | David Blei (Princeton University) | Algorithms and Applications for Classifiers of Massive and Structured Data Problems |
| Aniruddha Bohra | Ph.D. | 2007 | Liviu Iftode | System Architectures Based on Functionality Offloading |
| Yingying Chen | Ph.D. | 2007 | Richard P. Martin | Securing Wireless Networks against Signal Attacks |
| Rohan Fernandes | Ph.D. | 2007 | Martin Farach-Colton | Algorithms and LP-Duality Based Lower Bounds in Ad-hoc Radio Networks |
| Chen Fu | Ph.D. | 2007 | Barbara Ryder | Improving Software Reliability Using Exception Analysis of Object Oriented Programs |
| Taliver Heath | Ph.D. | 2007 | #N/A | Component-level Modeling of Power, Energy, and Temperature |
| Chunling Hu | Ph.D. | 2007 | Daniel A. Jimenez | An Infrastructure for Program Power Behavior Characterization and Optimization Evaluation |
| Yang Huang | Ph.D. | 2007 | Martin Farach-Colton | The Galois lattice and its application in gene-expression analysis |
| Pandurang Kamat | Ph.D. | 2007 | Wade Trappe | Privacy in Emerging Wireless Networks |
| Chan-Su Lee | Ph.D. | 2007 | Ahmed Elgammal | Modeling Human Motion Using Manifold Learning and Factorized Generative Models |
| Jon C Mesterharm | Ph.D. | 2007 | Haym Hirsh | Improving On-line Learning |
| Viorel Mihalef | Ph.D. | 2007 | Dimitris Metaxas | The Marker Level Set method: applications to simulation of liquids |
| Nishkam Ravi | Ph.D. | 2007 | Liviu Iftode | Bootstrapping Location-aware Personal Computing |
| Xiaoxia Ren | Ph.D. | 2007 | Barbara Ryder | Change Impact Analysis for Java Programs and Applications |
| Peter Richter | Ph.D. | 2007 | Mario Szegedy | Quantum walks and ground state problems |
| Irina Rozenbaum | Ph.D. | 2007 | Shan Muthukrishnan | FILTERING TECHNIQUES FOR DATA STREAMS |
| Constantin Serban | Ph.D. | 2007 | Naftaly Minsky | Advances in Decentralized and Stateful Access Control |
| Vladislav Shkapenyuk | Ph.D. | 2007 | Shan Muthukrishnan | Scalable and Robust Data Stream Processing |
| Alexander L Strehl | Ph.D. | 2007 | Michael Littman | Probably Approximately Correct (PAC) Exploration in Reinforcement Learning |
| Yihua Wu | Ph.D. | 2007 | Shan Muthukrishnan | Streaming Techniques for Statistical Modeling |
| Fancong Zeng | Ph.D. | 2007 | Michael L. Littman | Just-in-time and Just-in-place Deadlock Resolution |
| Xiaomin Chen | Ph.D. | 2006 | Mario Szegedy | Some Problems in Discrete Geometry |
| Aynur Dayanik | Ph.D. | 2006 | Craig Neville-Manning | Using Domain Knowledge for Text Mining |
| Eiman Elnahrawy | Ph.D. | 2006 | Richard Martin | Indoor Localization Using Signal Strength |
| Dmitriy Fradkin | Ph.D. | 2006 | Casimir Kulikowski | Within-Class and Unsupervised Clustering Improve Accuracy and Extract Local Structure for Supervised Classification |
| Xiaolei Huang | Ph.D. | 2006 | Dimitris Metaxas | Shape and Appearance Information Integration in Medical Image Analysis and Computer Vision |
| Ramana Isukapalli | Ph.D. | 2006 | Ahmed Elgammal | Learning Effective Interpretation Policies |
| Jaewon Kang | Ph.D. | 2006 | Badri Nath | Congestion Control in Wireless Sensor Networks |
| Xiaoyan Li | Ph.D. | 2006 | Richard Martin | Characterizing and Accommodating Spatial Aspects of Wireless Networks |
| Miguel Mosteiro | Ph.D. | 2006 | Martin Farach-Colton | Upper and Lower Bounds in Radio Networks |
| Marcelo Mydlarz | Ph.D. | 2006 | Endre Szemeredi | Packing Theorems in Graph Theory and Packing Integer Programs |
| Kiran Nagaraja | Ph.D. | 2006 | Thu D. Nguyen | A Systematic Approach to Quantifying and Improving the Availability of Cluster-Based Internet Services |
| Yang Ni | Ph.D. | 2006 | Ulrich Kremer | Programming Ad-Hoc Networks |
| Sambuddha Roy | Ph.D. | 2006 | Eric Allender | Complexity Theoretic Aspects of Planar restrictions and Obliviousness |
| Akshay Vashist | Ph.D. | 2006 | Casimir Kulikowski | Multipartite Graph Clustering for Structured Clustering and Automating Ortholog Extraction |
| HwaSeob Joseph Yun | Ph.D. | 2006 | Casimir Kulikowski | Consistent Triplets in Graph Clustering for Protein Sequence Analysis |
| Rong Zhang | Ph.D. | 2006 | Dimitris Metaxas | Image and Video Classification |
| Xuhui Ao | Ph.D. | 2005 | Naftaly Minsky | A Hierarchical Model for Distributed Access Control Policies |
| Budhaditya Deb | Ph.D. | 2005 | Badri Nath | Algorithms for Resource Utilization in Sensor Networks |
| Samir Goel | Ph.D. | 2005 | Tomasz Imielinski | Etiquettte Protocol for Ultra Low Power Operation in Energy Constrained Sensor Networks |
| Navin Goyal | Ph.D. | 2005 | Michael Saks | Information Theoretic Limitations on Computation |
| Yi Jin | Ph.D. | 2005 | Bahman Kalantari | Combinatorics of Polynomial Root-Finding Algorithms |
| Yakov Keselman | Ph.D. | 2005 | Sven Dickinson | Generic Model Abstraction from Examples |
| Gabriela Oana Cula | Ph.D. | 2005 | Kristin Dana | Bidirectional Imaging and Modeling of Real-World Textured Surfaces |
| Eduardo Souza De Albuquerque Pinheiro | Ph.D. | 2005 | #N/A | Energy Conservation for Server Systems |
| Anthony Santella | Ph.D. | 2005 | Doug DeCarlo | The Art of Seeing: Visual Perception in Design and Evaluation of Non-Photorealistic Rendering |
| Ravi Venkata Batchu | Ph.D. | 2004 | Daniel Jimenez | Temporal Locality at Procedure Level-It's Study and Explolitation |
| Sudeep Bhatnagar | Ph.D. | 2004 | Badri Nath | Distributed Admission Control in Core-Stateless Networks |
| Cristian Mihai Borcea | Ph.D. | 2004 | Liviu Iftode | Programming Outdoor Distributed Embedded Systems |
| Francisco Matias Cuenca-Acuna | Ph.D. | 2004 | Thu D. Nguyen | A Probabilistic Approach to Building Large Scale Federated Systems |
| Samir Datta | Ph.D. | 2004 | Eric Allender | Bounded Depth Arithmetic Circuits |
| Bogdan Dorohonceanu | Ph.D. | 2004 | Craig Neville-Manning | Interface Heterogeneity and Group Interaction |
| Bogdan Georgescu | Ph.D. | 2004 | Peter Meer | Interpretation of the 3D Visual Environment from Uncalibrated Image Sequences |
| Takahiro Murata | Ph.D. | 2004 | Naftaly Minsky | On Regulating Open Distributed Systems |
| Dragos Stefan Niculescu | Ph.D. | 2004 | Badri Nath | Forwarding and Positioning Problems in Ad Hoc Networks |
| Detlef Ronneberger | Ph.D. | 2004 | Eric Allender | Power from Random Strings |
| Florin Sultan | Ph.D. | 2004 | Liviu Iftode | System Support for Service Availability, Remote Healing and Fault Tolerance Using Lazy State Propagation |
| Samrat Ganguly | Ph.D. | 2003 | Badri Nath | Mobility Sensitive QoS Provisioning in Wireless cellular networks |
| Chung-Hsing Hsu | Ph.D. | 2003 | Ulrich Kremer | Compiler-Directed Dynamic Voltage and Frequency Scaling for CPU Power and Energy Reduction |
| Michal Kouck√Ω | Ph.D. | 2003 | Eric Allender | On Traversal Sequences, Exploration Sequences, and Completeness of Kolmogorov Random Strings |
| Anna Milanova | Ph.D. | 2003 | Barbara Ryder | Precise and Practical Flow Analysis of Object-Oriented Software |
| Glenn Charles Rhoads | Ph.D. | 2003 | Vasek Chv√°tal | Planar Tilings and the Search for an Aperiodic Prototile |
| Gary Mitchell Weiss | Ph.D. | 2003 | Haym Hirsh | Learning in the Presence of Rarity: The Effect of Small Disjuncts and Class Distribution on Classifier Learning |
| Matthew Richard Arnold | Ph.D. | 2002 | Barbara Ryder | Online Profiling and Feedback-Directed Optimization of Java |
| Chumki Basu | Ph.D. | 2002 | Haym Hirsh | Recommendation as Classification and Recommendation as Matching: Two Information-Centered Approaches to Recommendation |
| Khaled M Elbassioni | Ph.D. | 2002 | Leonid Khachiyan | Incremental Algorithms for Enumerating Extremal Solutions of Monotone Systems of Submodular inequalities and Their Applications |
| Sofus Attila Macskassy | Ph.D. | 2002 | Haym Hirsh | New Techniques in Intelligent Information Filtering |
| Sarah Zelikovitz | Ph.D. | 2002 | Haym Hirsh | Using Background Knowledge to Improve Text Classification |
| Amin Arshad Abdulghani | Ph.D. | 2001 | Tomasz Imielinski | Cubegrades-Generalization of association rules to mine large datasets |
| Sukmoon Chang | Ph.D. | 2001 | Casimir Kulikowski | Sketching Skeletons of Elongated Objects Using Scan Line Algorithm |
| Siu Ngan (Vicky) Choi | Ph.D. | 2001 | Martin Farach-Colton | Barnacle: An Assembly Algorithm for Clone-based Sequences of Whole Genomes |
| Brian D Davison | Ph.D. | 2001 | Haym Hirsh | The Design and Evaluation of Web Cache Prefetching Techniques |
| Srikrishna Divakaran | Ph.D. | 2001 | Michael Saks | Approximation Algorithms for Problems in Scheduling with Set-Ups |
| Amr A Elmasry | Ph.D. | 2001 | Michael Fredman | Adaptive Algorithms and Structures |
| Safiullah Faizullah | Ph.D. | 2001 | Saul Levy | Measuring and Pricing the Delivered QoS in QoS-enabled Internetworks |
| Clark Gregory Hagerty | Ph.D. | 2001 | Casimir Kulikowski | Data Abstraction and analysis Using Qualitative Scaling |
| John Iacono | Ph.D. | 2001 | Michael Fredman | Distribution Sensitive Data Structures |
| Ayman Ahmed Khalfalah | Ph.D. | 2001 | Endre Szemeredi | Problems in Additive and Computational Number Theory |
| Sachin Premsukh Lodha | Ph.D. | 2001 | Endre Szemeredi | On-Line Algorithms and Fast Digital Identity Revocation |
| Julio Cesar Navas | Ph.D. | 2001 | Tomasz Imielinski | Geographic Routing in a Datagram Internetwork |
| Atanas Ivanov Rountev | Ph.D. | 2001 | Barbara Ryder | Dataflow Analysis of Software Fragments |
| Rahul T Shah | Ph.D. | 2001 | Martin Farach-Colton | Undiscretized Dynamic Programming and Ordinal Embeddings |
| Pradeep Sudhakar Sudame | Ph.D. | 2001 | B. R. Badrinath | Transformer Tunnels and their Application to Aggregation in IP Networks |
| Stefan Langerman F Swarzberg | Ph.D. | 2001 | William Steiger | Algorithms and Data Structures in Computational Geometry |
| Arunava Banerjee | Ph.D. | 2000 | Haym Hirsh | The Phase-Space Dynamics of Systems of Spiking Neurons |
| Ramkrishna Chatterjee | Ph.D. | 2000 | Barbara Ryder | Modular Data-Flow Analysis Of Statically Typed Object-Oriented Programming Languages |
| Bela Csaba | Ph.D. | 2000 | Endre Szemeredi | Finding Spanning Subgraphs of Dense Graphs and some New Results on the k-server Problem |
| Gabriela Hristescu | Ph.D. | 2000 | Martin Farach-Colton | COFE: A Scalable Feature Extraction Method for Protein and other Complex Object Databases |
| Victoria Ungureanu | Ph.D. | 2000 | Naftaly Minsky | A Mechanism For Supporting Communication Policies In Distributed Systems |
| Philip Lewis Bohannon | Ph.D. | 1999 | B. R. Badrinath | Fault Resilience In Main-Memory Databases:Handling Process Halting Failures And Data Corruption |
| Souripriya Das | Ph.D. | 1999 | Chitoor Srinivasan | Restclk:A Communication Paradigm For Observation And Control Of Object Interaction |
| Adrian Dumitrescu | Ph.D. | 1999 | William Steiger | Several Problems In Combinatorial Geometry |
| Nathalie Japkowicz | Ph.D. | 1999 | Casimir Kulikowski | Concept-Learning In The Absence Of Counter-Examples: An Autoassociation-Based Approach To Classification |
| David M Loewenstern | Ph.D. | 1999 | Haym Hirsh | Sequence Classification Learning Using Methods Derived from Entropy Estimation |
| Ming Ouyang | Ph.D. | 1999 | Vasek Chv√°tal | Implementations Of The DPLL Algorithm |
| Ali Shokoufandeh | Ph.D. | 1999 | Endre Szemeredi | Graph Theoretical Methods In Object Recognition And Related Problems In Extremal Graph Theory |
| Anup Kumar Talukdar | Ph.D. | 1999 | B. R. Badrinath | An Architecture For Integrated Services In Mobile Networks |
| Girish Sharad Welling | Ph.D. | 1999 | B. R. Badrinath | Designing Adaptive Environment-Aware Applications For Mobile Computing |
| Dongsuk Yuk | Ph.D. | 1999 | | Robust Speech Recognition Using Neural Networks & Hidden Markov Models |
| Jyh-Shiarn Yur | Ph.D. | 1999 | Barbara Ryder | Incremental Analysis For Flow-And Context-Sensitive Data-Flow Problems |
| Sarmad Abbasi | Ph.D. | 1998 | Endre Szemeredi | Spanning Subgraphs Of Dense Graphs and a Combinatorial Problem on Strings |
| John L Bresina | Ph.D. | 1998 | Saul Amarel | Stochastic Heuristic Search and Evaluation Methods for Constrained Optimization |
| Daniel Kudenko | Ph.D. | 1998 | Haym Hirsh | Feature Generation for Sequence Categorization |
| Vincenzo Liberatore | Ph.D. | 1998 | Martin Farach-Colton | Efficient Replacement Strategies in the Memory Hierarchy |
| Khaled Mohamed Rasheed | Ph.D. | 1998 | Haym Hirsh | GADO: A Genetic Algorithm for Continuous Design Optimization |
| Aashu Virmani | Ph.D. | 1998 | Tomasz Imielinski | Second Generation Data Mining: Concepts and Implementation |
| Xiang-Xiang Sean Zhang | Ph.D. | 1998 | Barbara Ryder | Practical Pointer Aliasing Analysis |
| Csaba Csaba | Ph.D. | 1997 | Casimir Kulikowski | Problems in Learning and in Extremal Graph Theory |
| Vipul Kashyap | Ph.D. | 1997 | Haym Hirsh | Information Brokering Over Heterogeneous Digital Data: A Metadata-Based Approach |
| Junbiao Zhang | Ph.D. | 1997 | Naftaly Minsky | Optimal Buffering Algorithms for Client-Server VBR Video Retrieval |
| Ajay Bakre | Ph.D. | 1996 | B. R. Badrinath | Design and Implementation of Indirect Protocols for Mobile Wireless Environments |
| Mike Barley | Ph.D. | 1996 | Louis Steinberg | Model-Based Refinement of Search Biases |
| Valerie Barr | Ph.D. | 1996 | Casimir Kulikowski | Applications of Rule-Base Coverage Measures to Expert System Evaluation |
| Valerie Barr | Ph.D. | 1996 | Casimir Kulikowski | Aplications of Rule-Base Coverage Measures to Expert System Evaluation. |
| Tim Cooley | Ph.D. | 1996 | Evangelia Micheli-Tzanakou | An Automated System for the Classification of Mammograms |
| Jia Jiao | Ph.D. | 1996 | Apostolos Gerasoulis | Software Support for Parallel Processing of Irregular and Dynamic Computations |
| John Keane | Ph.D. | 1996 | Tom Ellman | Knowledge-Based Management of Legacy Codes for Automated Design |
| Deborah McGuinness | Ph.D. | 1996 | Alex Borgida | Explaining Reasoning in Description Logics |
| Deborah McGuinness | Ph.D. | 1996 | Alex Borgida | Explaining Reasoning in Description Logics. |
| Partha Pal | Ph.D. | 1996 | Naftaly Minsky | Darwin-E: An Environment for Imposing Regularities on Object-Oriented Software |
| Hemant Pande | Ph.D. | 1996 | Barbara Ryder | Compile Time Analysis of C and C++ Systems |
| Mark Schwabacher | Ph.D. | 1996 | Tom Ellman | The Use of Artificial Intelligence to Improve the Numerical Optimization of Complex Engineering Designs |
| Leon Shklar | Ph.D. | 1996 | L. Thorne McCarty | Web Access to Heterogeneous Information: Methods and Applications |
| Hui-Yu Wang | Ph.D. | 1996 | Vasek Chv√°tal | Which Claw-Free Graphs Are Strongly Perfect? |
| Ke-Thia Yao | Ph.D. | 1996 | Andrew Gelsey | Intelligent Automated Grid Generation for Numerical Simulations |
| Ke-Thia Yao | Ph.D. | 1996 | A Gelsey | Intelligent Automated Grid Generation for Numerical Simulations |
| Shiyu Zhou | Ph.D. | 1996 | Michael Saks | Reducing Randomness in Computation via Explicit Constructions |
| Arup Acharya | Ph.D. | 1995 | B. R. Badrinath | Structuring Distributed Algorithms and Services in Networks with Mobile Hosts |
| Sui Ringo Ling | Ph.D. | 1995 | Louis Steinberg | Automated Modeling of Distributed and Lumped Phenomena in Heat Transfer |
| Elefterios Melissaratos | Ph.D. | 1995 | Gerard Richter | Mesh Generation and Geometric Optimization |
| Sunil Mohan | Ph.D. | 1995 | Tom Ellman | Two Approaches to the Hierarchical Solution of Constraint Satisfaction Problems |
| Steven W Norton | Ph.D. | 1995 | Haym Hirsh | Exploiting Knowledge of Uncertainty: Induction of Classifiers by the Incremental Combination of Probabilistic Evidence |
| Vidyadar Phalke | Ph.D. | 1995 | B. Gopinath | Modeling and Managing Program References in a Memory Hierarchy |
| S Viswanathan | Ph.D. | 1995 | | Publishing in Wireless and Wireline Environments |
| Kerstin Voigt | Ph.D. | 1995 | Chris Tong | Automating Software Design for Resource Assignment Problems |
| Dawn Cohen | Ph.D. | 1994 | Casimir Kulikowski | Knowledge-Based Generation of Machine Learning Experiments |
| Prem Devanbu | Ph.D. | 1994 | Alex Borgida | Software Information Systems. |
| Premkumar Devanbu | Ph.D. | 1994 | Alex Borgida | Software Information Systems |
| Vipul Gupta | Ph.D. | 1994 | Miles Murdocca | Mapping Techniques and Performance Analysis for an Interconnection Cached Multiprocessor Network |
| John Storrs Hall | Ph.D. | 1994 | Saul Levy | Associative Processing: Architectures, Algorithms, and Applications |
| Kyungsook Han | Ph.D. | 1994 | Andrew Gelsey | Compositional Modeling for Spatial Problems |
| Suman Kanjilal | Ph.D. | 1994 | Miles Murdocca | Synthesis for Testability Using Test Functions |
| Chun Wai Liew | Ph.D. | 1994 | Louis Steinberg | Feedback Directed Optimization |
| Gabor N Sarkozy | Ph.D. | 1994 | Endre Szemeredi | Finding Trees & Cycles In Graphs: Existence Theorems and Fast Parallel Algorithms |
| Ileana Streinu | Ph.D. | 1994 | William Steiger | Some Positive and Negative Results in Computational Geometry |
| Ileana Streinu | Ph.D. | 1994 | William Steiger | Some Positive and Negative Results in Computational Geometry. |
| Sizheng Wei | Ph.D. | 1994 | Saul Levy | Efficient Hierarchical Interconnection Networks for Large Parallel Systems |
| Diane Zimmerman | Ph.D. | 1994 | Casimir Kulikowski | An Extended CSP Architecture for the Sequential Assignment Problem in the Interpretation of Protein Nuclear Magnetic Resonance D |
| Iliana Bjorling-Sachs | Ph.D. | 1993 | Diane L. Souvaine | Variations of the Art Gallery Theorem |
| Vivek Gore | Ph.D. | 1993 | Eric Allender | Lower Bounds for Uniform Constant Depth Circuits |
| Celina Imielinska | Ph.D. | 1993 | Bahman Kalantari | A General Class of Heuristics for Constrained Forest and Cycle Problems |
| David Lubinsky | Ph.D. | 1993 | Sholom Weiss | Bivariate Splits and Consistent Split Criteria in Dichotomous Classification Trees |
| Stacy Marsella | Ph.D. | 1993 | Charles F. Schmidt | Planning Under the Restriction of Hierarchical Partial Orders |
| Stephen P Masticola | Ph.D. | 1993 | Barbara Ryder | Static Detection of Deadlocks in Polynomial Time |
| Lorien Y Pratt | Ph.D. | 1993 | Jack Mostow | Transferring Previously Learned Back-Propagation Neural Networks to New Learning Tasks |
| Hava Siegelman | Ph.D. | 1993 | Eduardo Sontag | Foundations of Recurrent Neural Networks |
| Seshadri Venugopal | Ph.D. | 1993 | Gerard Richter | Parallelizing Unstructured Sparse Computations on Large-Scale Multiprocessors |
| Tao Yang | Ph.D. | 1993 | Apostolos Gerasoulis | Scheduling and Code Generation for Parallel Architectures. |
| Tao Yang | Ph.D. | 1993 | Apostolos Gerasoulis | Scheduling and Code Generation for Parallel Architectures |
| Arthur M Berman | Ph.D. | 1992 | Marvin Paull | Lower and Upper Bounds for Incremental Algorithms |
| Neeraj Bhatnagar | Ph.D. | 1992 | Jack Mostow | On-Line Learning from Search Failures |
| Anthony Bonner | Ph.D. | 1992 | Tomasz Imielinski | Hypothetical Reasoning in Deductive Databases |
| Wesley Braudaway | Ph.D. | 1992 | Chris Tong | Knowledge Compilation for Incorporating Constraints |
| Leiguang Gong | Ph.D. | 1992 | Casimir Kulikowski | Composition of Image Analysis Processes through Object-Centered Hierarchical Planning |
| William Landi | Ph.D. | 1992 | Barbara Ryder | Interprocedural Aliasing in the Presence of Pointers |
| Yong-Fong Lee | Ph.D. | 1992 | Barbara Ryder | Performing Data Flow Analysis in Parallel |
| Chi-yuan Lo | Ph.D. | 1992 | William Steiger | Ham-Sandwich Cuts and Related Problems |
| Ronald van der Meyden | Ph.D. | 1992 | L. Thorne McCarty | The Complexity of Querying Indefinite Information: Defined Relations, Recursion and Linear Order |
| Marian Gunsher Sackrowitz | Ph.D. | 1992 | Joan Lucas | Efficient Parallel Algorithms for Directed Graph Problems |
| Kumar Vadaparty | Ph.D. | 1992 | Tomasz Imielinski | Querying Databases with Non-Deterministic Information |
| Shiva P Chaudhuri | Ph.D. | 1991 | Ravi Boppana | Lower bounds in parallel computation |
| Marie-Therese Daulard | Ph.D. | 1991 | Marvin Paull | Incremental Routing Algorithms in Multistage Multiprocessor Networks |
| Magnus Halldorsson | Ph.D. | 1991 | Ravi Boppana | Frugal Methods for the Independent Set and Graph Coloring Problems |
| Nitin Indurkhya | Ph.D. | 1991 | Sholom Weiss | Monte-Carlo Simulation-Based Evaluation and Refinement of Rule-Based Systems |
| Jaikumar Radakrishnan | Ph.D. | 1991 | Endre Szemeredi | Graph Entropy and formula complexity. |
| Jaikumar Radhakrishnan | Ph.D. | 1991 | Endre Szemeredi | Graph Entropy and Formula Complexity |
| Patricia Riddle | Ph.D. | 1991 | Saul Amarel | Automatic Shifts of Problem Representation |
| Kathy Hamilton Abbott | Ph.D. | 1990 | Louis Steinberg | Robust Fault Diagnosis of Physical Systems in Operation |
| Srimat Chakradhar | Ph.D. | 1990 | Apostolos Gerasoulis | Neural Network Models and Optimization Methods for Digital Testing |
| Jan Chomicki | Ph.D. | 1990 | Tomasz Imielinski | Functional Deductive Databases: Query Processing in the Presence of Limited Function Symbol |
| William Cohen | Ph.D. | 1990 | Alex Borgida | Concept Learning Using Explanation Based Generalization as an Abstraction Mechanism |
| William W Cohen | Ph.D. | 1990 | Alex Borgida | Concept Learning Using Explanation Based Generalization as an Abstraction Mechanism |
| Ioannis Kapouleas | Ph.D. | 1990 | Sholom Weiss | Model Based Interpretation of Magnetic Resonance Human Brain Scans |
| Sridhar Mahadevan | Ph.D. | 1990 | Tom Mitchell | An Apprentice-Based Approach to Learning Problem-Solving Knowledge. |
| Sridhar Mahadevan | Ph.D. | 1990 | Tom Mitchell | An Apprentice-Based Approach to Learning Problem-Solving Knowledge |
| Armand Prieditis | Ph.D. | 1990 | Jack Mostow | Discovering Effective Admissible Heuristics by Abstraction and Speedup: A Transformational Approach |
| Cullen Schaffer | Ph.D. | 1990 | Casimir Kulikowski | Domain-Independent Scientific Function Finding |
| Michael Sims | Ph.D. | 1990 | Saul Amarel | IL:An AI Approach to Theory Formation in Mathematics |
| Liping Sun | Ph.D. | 1990 | Vasek Chv√°tal | Two New Classes of Perfect Graphs |
| Prasad Tadepalli | Ph.D. | 1990 | Tom Mitchell | Tractable Learning and Planning in Games. |
| Prasad Tadepalli | Ph.D. | 1990 | Tom Mitchell | Tractable Learning and Planning in Games |
| Rajesh Dube | Ph.D. | 1989 | Sholom Weiss | A State Transition Model for Rule-Based Expert Systems |
| Friedrich Henglein | Ph.D. | 1989 | Robert Paige | Polymorphic Type Inference and Semi-Unification |
| Thomas J Marlowe | Ph.D. | 1989 | Barbara Ryder | Data Flow Analysis and Incremental Iteration |
| Miles J Murdocca | Ph.D. | 1989 | Saul Levy | Theory and Applications of Free-Space Digital Optical Computing |
| Israel Nelken | Ph.D. | 1989 | Apostolos Gerasoulis | Parallelization for MIMD Multiprocessors with Applications to Linear Algebra Algorithms |
| Martin D Carroll | Ph.D. | 1988 | Barbara Ryder | Data Flow Update via Dominator and Attribute Updates |
| Arding Hsu | Ph.D. | 1988 | Tomasz Imielinski | Integrity Checking and View Maintenance for Multiple Updates |
| Smadar Tova Kedar-Cabelli | Ph.D. | 1988 | Tom Mitchell | Formulating Concepts and Analogies According to Purpose |
| Jiazhen Cai | Ph.D. | 1987 | Robert Paige | Fixed Point Computation and Transformational Programming |
| Richard Michael Keller | Ph.D. | 1987 | Tom Mitchell | The Role of Explicit Contextual Knowledge in Learning Concepts to Improve Performance |
| Donna Jo Nagel | Ph.D. | 1987 | N. S. Sridharan | Learning Concepts with a Prototype-Based Model for Concept Representation |
| Jeffrey S Salowe | Ph.D. | 1987 | William Steiger | Selection Problems in Computational Geometry |
| Von-Wun Soo | Ph.D. | 1987 | Casimir Kulikowski | A Qualitative Matching Scheme for Postulating Enzyme Kinetic Models and Experimental Conditions: Reasoning with Constraints |
| Allen Ginsberg | Ph.D. | 1986 | Sholom Weiss | Refinement of Expert System Knowledge Bases: A Metalinguistic Framework for Heuristic Analysis |
| Bernard Nadel | Ph.D. | 1986 | William Steiger | The Consistent Labeling Problem and Its Algorithms: Towards Exact-Case Complexities and Theory-Based Heuristics |
| Van E Kelly | Ph.D. | 1985 | Louis Steinberg | The CRITTER System: An Artificial Intelligence Approach to Digital Circuit Design Critiquing |
| Richard M King | Ph.D. | 1985 | William Steiger | Knowledge-Based Transformational Synthesis of Efficient Structures for Concurrent Computation |
| Richard Poulo | Ph.D. | 1985 | Casimir Kulikowski | Three Dimensional Recognition from Depth Images by Detailed Surface Encoding |
| Chidanand V Apté | Ph.D. | 1984 | Sholom Weiss | On Encoding Functional and Schematic Descriptions of Complex Systems |
| Heiner Biesel | Ph.D. | 1984 | | On Encoding Functional and Schematic Descriptions of Complex Systems |
| Frank Michael Hawrusik | Ph.D. | 1984 | Ann Yasuhara | An Extension of the Pebble Game for LISP-Like Programs |
| Paul Utgoff | Ph.D. | 1984 | Tom Mitchell, Saul Amarel | Shift of Bias for Inductive Concept Learning |
| Paul Utgoff | Ph.D. | 1984 | Tom Mitchell | Shift of Bias for Inductive Concept Learning |
| Susan Lynn Epstein | Ph.D. | 1983 | N. S. Sridharan | Knowledge Representation in Mathematics: A Case Study in Graph Theory |
| John Kastner | Ph.D. | 1983 | Sholom Weiss | Strategies for Expert Consultation in Therapy Planning |
| Peter Politakis | Ph.D. | 1983 | Sholom Weiss | Using Empirical Analysis to Refine Expert System Knowledge Bases |
| Ravi Sandhu | Ph.D. | 1983 | Naftaly Minsky | Design and Analysis of Protection Schemes Based on the Send-Receive Transport Mechanism |
| Ravinderpal Sandhu | Ph.D. | 1983 | Naftaly Minsky | Design and Analysis of Protection Schemes Based on the Send-Receive Transport Mechanism |
| John B Bowles | Ph.D. | 1982 | Manfred Ruschitzka | Queueing Systems and Networks with Symmetric Station Balance Solutions |
| Robert N Goldberg | Ph.D. | 1982 | Robert L. Smith | Software Design Issues in the Architecture and Implementation of Distributed Text Editors |
| Barbara Ryder | Ph.D. | 1982 | Marvin Paull | Incremental Data Flow Analysis Based on a Unified Model of Elimination Algorithms |
| Barbara Gershon Ryder | Ph.D. | 1982 | Marvin Paull | Incremental Data Flow Analysis Based on a Unified Model of Elimination Algorithms |
| Donald E Smith | Ph.D. | 1982 | Robert L. Smith | FOCUSER: A Strategic Interaction Paradigm for language Acquisition |
| Asser N Tantawi | Ph.D. | 1982 | Manfred Ruschitzka | Performance Analysis of Rollback Recovery Systems and Breakdown Queueing Networks |
| Yi-Ling Fan Chiang | Ph.D. | 1981 | Michael Mock | Numerical Experiments for Solving Symmetric Hyperbolic systems with Discontinuous Initial Data |
| John Franco | Ph.D. | 1981 | Marvin Paull | Sensitivity to Instance Distribution of the Average Complexity of Algorithms for Solving Satisfiability and other NP-Hard Proble |
| John Franco | Ph.D. | 1981 | Marvin Paull | Sensitivity to Instance Distribution of the Average Complexity of Algorithms for Solving Satisfiability and other NP-Hard Probl |
| Venkataraman Natarajan | Ph.D. | 1981 | Ann Yasuhara | Decidability of the Purely Existential Fragment of the Theory of Term-Algebras |
| Bobbie Ann Fredsall Othmer | Ph.D. | 1981 | Robert L. Smith | Restructuring COBOL Programs to Improve Readability |
| Victor Ciesielski | Ph.D. | 1980 | Robert L. Smith | A Methodology for the Construction of Natural Language Front Ends for Medical Consultation Systems |
| David Sandford | Ph.D. | 1979 | Chitoor Srinivasan | HL-Resolution: A Semantic Refinement of Resolution and a Theory of Model Specification |
| Lawrence A Welsch | Ph.D. | 1979 | Ann Yasuhara | ASQ: Automatic Synthesis of Questions |
| Paul E Murphy | Ph.D. | 1978 | Marvin Paull | Minimum Comparison Merging and Merging Algorithms |
| Michael Trigoboff | Ph.D. | 1978 | Casimir Kulikowski | IRIS: A Framework for the Construction of Clinical Consultation Systems |
| Elaine Weyuker | Ph.D. | 1977 | Ann Yasuhara | Program Schemas with Semantic Restrictions |
| Christian J Wild | Ph.D. | 1977 | Richard LeFaivre | The Early Stages of Machine Perception: An Application to Reading Machines |
| Sholom Weiss | Ph.D. | 1974 | Casimir Kulikowski | A System for Model-Based Computer-Aided diagnosis and Therapy |
| Philip A Johnson | Ph.D. | 1973 | Fred G. Fender | A Class of Real-Time Virtual Memory Systems: A Multi-Faceted Approach to Computer System Design |
Department of Computer Science
