CIS Ph.D. Alumni
Below is a list of graduates of the CIS doctoral program from 1999 to the present, including information on their dissertations and current positions.
2024
Name: Kenneth Chaney
Advisor: Kostas Daniilidis
Thesis Title: Event-Based Vision Systems: Bridging Biological Inspiration and Robotic Perception
Position: Associate Director of AI and Technology, Penn Advanced Research Computing Center (PARCC)
Name: Neeraj Gandhi
Advisor: Linh Thi Xuan Phan
Thesis Title: Bounded-Time Detection and Recovery from Faults in Large-Scale, Distributed Cyber-Physical Systems
Position: Engineer, Oracle
Name: Harrison Goldstein
Advisor: Benjamin Pierce
Thesis Title: Property-Based Testing for the People
Position: Victor Basili Postdoc, University of Maryland
Name: Paul He
Advisor: Steve Zdancewic
Thesis Title: Rely-Guarantee Semantics for Separation-Logic-Based Specification Extraction
Position: Assistant Professor, University of Toronto
Name: Konstantinos Kallas
Advisor: Rajeev Alur
Thesis Title: Just-in-time Scale-out of Shell Programs, Correctly
Position: Assistant Professor, UCLA CS
Name: Seungwon Lee
Advisor: Eric Eaton
Thesis Title: Deep Lifelong Learning with Factorized Knowledge Transfer
Position:
Name: Tong Liu
Advisor: Konrad Kording & Lyle Ungar
Thesis Title: Improving Observational Causality Using Machine Learning
Position: Assistant Professor of CS, Mount Holyoke College
Name: Duc Nguyen
Advisor: Anderson Zhang
Thesis Title: Statistical Spectral Algorithms for Discrete Data
Position: Engineer, Aquatic Capital Management
Name: Daniel George Noble
Advisor: Brett Hemenway Falk
Thesis Title: Distributed Oblivious RAM: Progress and Pitfalls
Position: Cryptography Consultant, Silence Laboratories
Name: Prathamesh Patil
Advisor: Sanjeev Khanna
Thesis Title: Towards Scalability and Robustness for Ranking, Clustering, and Multi-Armed Bandits
Position: Senior Associate, JP Morgan Chase
Name: Sydney Pugh
Advisor: Insup Lee, Oleg Sokolsky, James Weimer
Thesis Title: Weakly-Supervised Evaluation of Medical AI Systems
Position: Postdoc, Penn
Name: Shreyas Skandan Shivakumar
Advisor: Camillo Jose Taylor
Thesis Title: Learning Visual Concepts
Position:
Name: Halley R. Young
Advisor: Osbert Bastani
Thesis Title: Specification-Guided Generative Models
Position: Postdoc, Microsoft Research
Name: Liangcheng Yu
Advisor: Vincent Liu
Thesis Title: Toward Zero-waste Terabit Networked Systems
Position: Senior Researcher, Microsoft Research
Name: Haoran Zhang
Advisor: Sebastian Angel & Vincent Liu
Thesis Title: The Design of Correct and Efficient Serverless Microservices
Position: Research Scientist, Meta
Name: Li Zhang
Advisor: Christopher Callison-Burch
Thesis Title: Structured Event Reasoning with Large Language Models
Position: Assistant Professor, Drexel University
Name: Ke Zhong
Advisor: Sebastian Angel
Thesis Title: Towards a New Online Advertising System with Privacy, Accountability, and Anti-fraud
Position: Security Engineer, Snap Inc.
Name: Xuanyu Zhou
Advisor: Dan Roth
Thesis Title: Incidental Decomposition for Complex Reasoning
Position: Assistant Professor, Arizona State University
2023
Name: Oshin Agarwal
Advisor: Ani Nenkova
Thesis Title: Practical Named Entity Recognition: The Role of Entity and its Context
Position: Senior NLP Research Engineer – Bloomberg
Name: Bernadette Bucher
Advisor: Kostas Daniilidis
Thesis Title: Active Learning of Vision-based Representations for Robotics
Position: Research Scientist – The Boston Dynamics AI Institute
Name: Haoxian Chen
Advisor: Boon Thau Loo
Thesis Title: Program Synthesis for Declarative Systems
Position: Assistant Professor, Shanghai Tech University
Name: Hangfeng He
Advisor: Dan Roth
Thesis Title: Incidental Supervision for Natural Language Understanding
Position: Assistant Professor, Goergen Institute for Data Science, U of Rochester
Name: Daphne E. Ippolito
Advisor: Chris Callison-Burch
Thesis Title: Understanding the Limitations of Using Large Language Models for Text Generation
Position: Assistant Professor, Carnegie Mellon
Name: Kishor Jothimurugan
Advisor: Rajeev Alur
Thesis Title: Specification-Guided Reinforcement Learning
Position: Quantitative Researcher, Two Sigma
Name: Seoungjun (Elijah) Lee
Advisor: Vijay Kumar
Thesis Title: Perception-Action Loop for Multi-Robot Systems with Deep Learning
Position: Software Engineer, Latitude AI
Name: Pardis Pashakhanloo,
Advisor: Mayur Naik
Thesis Title: Integrating Declarative Static Analysis with Neural Models of Code
Position: Founding AI Engineer, Codemod
Name: Oleh Rybkin
Advisor: Kostas Daniilidis
Thesis Title: Learning To Act From Diverse Data Sources Via World Models
Position: Postdoctoral Researcher, UC Berkeley
Name: Karl F. Schmeckpeper
Advisor: Kostas Daniilidis
Thesis Title: Learning Perceptual Prediction: Learning from Humans and Reasoning about Objects
Position: Research Scientist Position, Boston Dynamics AI Institute
Name: Kelly R. Shiptoski
Advisor: Joe Devietti
Thesis Title: Reproducibility and Performance Optimizations for Unmodified Linux Programs
Position: Senior Software Engineer, Bolt Labs
Name: Aalok D. Thakkar
Advisor: Rajeev Alur, Mayur Naik
Thesis Title: Example-guided Synthesis of Relational Queries
Position: Research Scientist, Aptos Labs
Name: Lingzhi Zhang
Advisor: Jianbo Shi
Thesis Title: Bridging Visual Generation and Recognition Models
Position: Research Scientist, Adobe
2022
Name: Sean Bowman
Advisor: George Pappas
Thesis Title: Semantic Simultaneous Localization and Mapping
Position: Senior Engineer, SLAM
Name: Yu Chen
Advisors: Sampath Kannan, Sanjeev Khanna
Thesis Title: Sublinear Algorithms and Lower Bounds for Combinatorial Problems
Position: Postdoc – EPFL
Name: Nikolaos Kolotouros
Advisor: Kostas Daniilidis
Thesis Title: Reconstructing 3D Humans from Images
Position: Research Scientist, Google
Name: Yao Li
Advisor: Stephanie Weirich
Thesis Title: Mechanized Reasoning about “How” using Functional Programs and Embeddings
Position: Assistant Professor at Portland State University
Name: Yishuai Li
Advisor: Benjamin Pierce
Thesis Title: Testing by Dualization
Position: Senior Development Engineer – Alibaba Group
Name: Wenxin Liu
Advisors: Kostas Daniilidis & Vijay Kumar
Thesis Title: Visual-Inertial State Estimation with Information Deficiency
Position: Localization Team Lead, R&D VP at LF Intelligence Limited
Name: Jorge Mendez Mendez
Advisor: Eric Eaton
Thesis Title: Lifelong Machine Learning of Functionally Compositional Structures
Position: Postdoctoral Fellow at the Learning & Intelligent Systems Group – MIT CSAIL
Name: Chao Qu
Advisor: Camillo J. Taylor
Thesis Title: Deep Basis Fitting for Depth Completion
Position: Autonomy Engineer – Computer Vision – Skydio
Name: Edo N. Roth
Advisor: Andreas Haeberlen
Thesis Title: Private Federated Analytics at Scale
Position: Software Engineer – Google
Name: Caleb Stanford
Advisor: Rajeev Alur
Thesis Title: Safe Programming over Distributed Streams
Position: Assistant Professor of Computer Science at USC, Davis
Name: Li-Yao Xia
Advisor: Benjamin Pierce
Thesis Title: Executable Denotational Semantics with Interaction Trees
Position: Postdoctoral Fellow at the University of Edinburgh
Name: Nofel Yaseen
Advisor: Vincent Liu
Thesis Title: Network-wide Monitoring and Debugging
Position: Research Scientist – Meta
Name: Qizhen Zhang
Advisors: Vincent Liu and Boon Thau Loo
Thesis Title: Hyperscale Data Processing With Network-Centric Designs
Position: Postdoctoral Fellow at Microsoft
2021
Name: Nitish Gupta
Thesis Title: Learning to Compositionally Reason Over Natural Language, Spring, 2021
Advisor: Dan Roth
Position: Research Scientist, Google AI
Name: Marcella Hastings
Thesis Title: Secure Multi-Party Computation In Practice, Spring 2021
Advisor: Nadia Heninger
Position: Applied Cryptographer, Bolt Labs, Inc.
Name: Sangdon Park
Thesis Title: Uncertainty Estimation Toward Safe AI, Summer, 2021
Advisor: Osbert Bastani and Insup Lee
Position: Postdoctoral Researcher, GATech
Name: Stephen Phillips
Thesis Title: Learning Representations for Matching, Spring, 2021
Advisor: Kostas Daniilidis
Position: Visiting Assistant Professor, Swarthmore College, Swarthmore, PA
Name: Nicholas Roessler
Thesis Title: Policy Implementation and Engineering for Tagged Architectures, Spring, 2021
Advisor: André DeHon
Position:
Name: Zachary Schutzman
Thesis Title: Algorithmic Processes and Social Values, June, 2021
Advisor: Aaron Roth
Position: Postdoctoral Researcher, MIT, Boston, MA
Name: Antal Spector-Zabusky
Thesis Title: Don’t Mind The Formalization Gap: The Design And Usage Of Hs-To-Coq, Spring 2021
Advisor: Stephanie Weirich
Position: Complier Engineer, Jane Street Capital, Ithaca, NY
Name: Joshua Wolper
Thesis Title: Material Point Methods for Simulating Material Fracture, April 2021
Advisor: Chenfanfu Jiang
Position: Postdoctoral Researcher, Penn MEAM Dept.
Name: Yinjun Wu
Thesis Title: Towards the Efficient Use of Fine-Grained Provenance in Data Science Applications, August, 2021
Advisor: Susan B. Davidson
Position: Postdoctoral Researcher, CIS Department, Penn
Name: Hengchu Zhang
Thesis Title: Automating Program Analysis for Differential Privacy, June, 2021
Advisor: Benjamin Pierce
Position:
Name: Nan Zheng
Thesis Title: Fine-grained Provenance and Applications to Data Analytics Computation, April, 2021
Advisor: Zachary G. Ives
Position: Lecturer, Penn
2020
Name: Anupama Jha
Thesis Title: Assembling The Building Blocks For A Unified Splicing Code, Fall, 2020
Advisor: Yoseph Barash
Position: Postdoc, University of Washington
Name: Minchen Li
Thesis Title: Robust and Accurate Simulation of Elastodynamics and Contact, Fall, 2020
Advisors: Chenfanfu Jiang
Position: Postdoctoral Researcher, Penn
2019
Name: David Arney
Thesis Title: Medical Device Interoperability with Provable Safety Properties, March, 2019
Advisor: Insup Lee
Position: Principal Associate, Harvard Medical School, Cambridge, MA
Name: Gediminas Bertasius
Thesis Title: Embodied Visual Perception Models for Human Behavior Understanding, March 2019
Advisor: Jianbo Shi
Position: Post-Doc Researcher, Facebook, Boston, MA
Name: Anne Cocos
Thesis Title: Paraphrase-Based Models of Lexical Semantics, May, 2019
Advisor: Chris Callison-Burch
Position: Engineer, GlaxoSmithKline, Philadelphia, PA
Name: David Isele
Thesis Title: Lifelong Reinforcement Learning on Mobile Robots, December, 2018
Advisors: Eric Eaton, CJ Taylor
Position: Researcher, Honda Research Institute, Columbus, OH
Name: Shahin Jabbari-Arfaee
Thesis Title: Fairness and Feedback in Learning and Games, July 2019
Advisor: Michael Kearns
Position: Post-Doc Fellow, Center for Research on Computation and Society, Harvard
Name: Daniel Khashabi
Thesis Title: Reasoning-Driven Question-Answering for Natural Language Understanding, February 2018
Advisor: Dan Roth
Position: Young Investigator, Allen Institute for AI, Seattle, WA
Name: Spyridon Leonardos
Thesis Title: Collaborative Perception from Data Association to Localization, April 2019
Advisor: Kostas Daniilidis
Position: Post-Doc Researcher, University of Pennsylvania
Name: Jason Owens
Thesis Title: Visual Perception for Robotic Spatial Understanding, December 2018
Advisor: Kostas Daniilidis
Position: Computer Scientist, US Army Research Laboratory
Name: Tolga Ozaslan
Thesis Title: Estimation, Mapping and Navigation with Micro Aerial Vehicles for Infrastructure Inspection, Spring 2018
Advisor: Vijay Kumar, CJ Taylor
Position: Director of Research Development, OteoHealth
Name: Yuanfeng Peng
Thesis Title: Efficient Precise Dynamic Data Race Detection for CPU and GPU, May 2019
Advisor: Joseph Devietti
Position: Software Engineer, Google, San Francisco, CA
Name: Rattanachai Ramaithitima
Thesis Title: Sensor Coverage Algorithms for Resource-Constrained Robot Swarms, October, 2018
Advisors: Vijay Kumar, Subhrajit Bhattacharya
Position: Software Engineer, Nuro, Mountain View, CA
Joao Sedoc
Thesis Title: Building and Evaluating Conversational Agents, August 2019
Advisor: Lyle Ungar
Position: Assistant Professor, New York University
Shyam Upadhyay
Thesis Title: Exploiting Cross-Lingual Representation for Natural Language Processing, February 2019
Advisor: Dan Roth
Position: Google Research
Name: Luke Valenta
Thesis Title: Measuring and Securing Cryptographic Deployments, May 2019
Advisors: Nadia Heninger
Position: Systems Engineer, Cloudflare, Inc., Austin, TX
2018
Name: Sepehr Assadi
Thesis Title: Combinatorial Optimization on Massive Datasets: Streaming, Distributed, and Massively Parallel Computation, December, 2018
Advisor: Sanjeev Khanna
Position: Assistant Professor, Rutgers University, New Brunswick, NJ
Name: Christian DeLozier
Thesis Title: Strong Memory Consistency for Parallel Programming, May, 2018
Advisor: Joseph Devietti
Position: Assistant Professor, United States Naval Academy, Annapolis, MD
Name: John Drake
Thesis Title: Planning for Non-Player Characters By Learning From Demonstration, December 2018
Advisor: Maxim Likhachev
Position: Software Engineer, Argo AI, Pittsburgh, PA
Name: Leonidas Lampropoulos
Thesis Title: Random Testing for Language Design, May, 2018
Advisor: Benjamin Pierce
Position: Post-Doc Researcher, University of Maryland
Name: Tiantian Liu
Thesis Title: Towards Real-time Simulation of Hyperelastic Materials, April 2018
Advisor: Ladislav Kavan
Position: Researcher, Microsoft, Beijing City, China
Name: Junkil Park
Thesis Title: Automatic Verification of Linear Controller Software, April 2018
Advisor: Insup Lee, Oleg Sokolsky
Position: STG/NASA Ames Research Center, Mountain View, CA
Name: Jennifer Paykin
Thesis Title: Linear/non-linear Types For Embedded Domain-Specific Languages, May 2018
Advisor: Steve Zdanceweic
Position: Software Engineer, Galois, Inc., Portland, OR
Name: Robert Rand
Thesis Title: Formally Verified Quantum Programming, August, 2018
Advisor: Steve Zdancewic
Position: Postdoctoral Researcher, University of Maryland
Name: Raphael Rubin
Thesis Title: Choose-Your-own-Adventure A Lightweight, High-Performance Approach to Defect and Variation Mitigation in Reconfigurable Logic, August, 2017
Advisor: Andre DeHon
Position: Engineer, Susquehanna International Group, Philadelphia, PA
Name: Nimit Singhania
Thesis Title: Static Analysis for GPU Program Performance, August, 2018
Advisor: Rajeev Alur, Joseph Devietti
Position: Software Engineer, Google, Sunnyvale, CA
Name: Meng Xu
Thesis Title: Cache-Aware Real-Time Virtualization, July, 2018
Advisor: Insup Lee, Linh Phan
Position: Software Engineer, Apple, Cupertino, CA
Name: Mabel Zhang
Thesis Title: Tactile Perception and Visuotactile Integration for Robotic Exploration , December 2018
Advisor: Kostas Daniilidis
Position: Software Engineer, Open Robotics, Boston, MA
2017
Name: Behnaz Arzani
Thesis Title: Improving Network Performance Through Endpoint Diagnosis and Multipath Communications, August 2017
Advisors: Boon Thau Loo & Roch Guerin
Position: Postdoctoral Researcher, Microsoft, Redmond, WA
Name: Arthur Azevedo De Amorim
Thesis Title: A Methodology for Micro-Policies, December 2017
Advisor: Benjamin Pierce
Position: Postdoctoral Researcher, Carnegie Mellon University, Pittsburgh, PA
Name: Ang Chen
Thesis Title: Secure Diagnostics and Forensics with Network Provenance, August_2017
Advisor: Andreas Haeberlen
Position: Assistant Professor, Rice University, Houston, TX
Name: Chen Chen
Thesis Title: Unifying Static and Runtime Analysis in Declarative Distributed Systems, August 2017
Advisors: Boon Thau Loo & Limin Jia
Position: Research Scientist, Megagon Labs, Mountain View, CA
Name: Hoda Heidari
Thesis Title: Essays in Algorithmic Market Design Under Social Constraints, August 2017
Advisor: Michael Kearns & Ali Jadbabaie
Position: Postdoctoral Fellow, ETH, Zurich, Switzerland
Name: Justin Hsu
Thesis Title: Probabilistic Couplings for Probabilistic Reasoning, December 2017
Advisors: Aaron Roth & Benjamin Pierce
Position: Postdoctoral Researcher, Cornell University, Ithaca, NY
Name: Radoslav Ivanov
Thesis Title: Context-Aware Sensor Fusion for Securing Cyber-Physical Systems (link thesis @ https://search.proquest.com/docview/1952701362), August 2017
Advisor: Insup Lee
Position: Postdoctoral Fellow, University of Pennsylvania, Philadelphia, PA
Name: Jaewoo Lee
Thesis Title: Resource-Efficient Scheduling of Multiprocessor Mixed-Criticality Real-Time Systems (link thesis @ https://search.proquest.com/docview/1952347806), August 2017
Advisor: Linh Phan & Insup Lee
Position: Assistant Professor, Chung-Ang University, Seoul, South Korea
Name: Junyi Jessy Li
Thesis Title: From Discourse Structure to Text Specificity: Studies of Coherence Preferences (link thesis @ https://search.proquest.com/docview/1952703208), August 2017
Advisor: Ani Nenkova
Position: Assistant Professor, University of Texas, Austin, TX
Name: Yang Li
Thesis Title: Computing with Distributed Information (link thesis @ https://search.proquest.com/docview/1940251316), May 2017
Advisor: Sanjeev Khanna, Boon Thau Loo, & Linh Phan
Position: Research Scientist, Facebook, New York, NY
Name: Antonios Papadimitriou
Thesis Title: Distributed Query Execution with Strong Privacy Guarantees (link thesis @ https://search.proquest.com/docview/1952047747
), August 2017
Advisor: Andreas Haeberlen
Position: Security Researcher, Intel Labs, Hillsboro, OR
Name: Ellie Pavlick
Thesis Title: Compositional Lexical Semantics in Natural Language Inference (link thesis @ https://search.proquest.com/docview/1951745507), August 2017
Advisor: Chris Callison-Burch
Position: Assistant Professor, Brown University, Providence, RI
Name: Cody J. Phillips
Thesis Title: Euclidean Shape and Pose Recovery of Surfaces of Revolution (link thesis @ https://search.proquest.com/docview/1940254418), May 2017
Advisor: Kostas Daniilidis
Position: Researcher, Cognitive Operational Systems, Inc. (COSY), Philadelphia, PA
Name: Mukund Raghothaman
Thesis Title: Regular Programming Over Data Streams (link thesis @ https://search.proquest.com/docview/1930953394), May 2017
Advisor: Rajeev Alur
Position:
Name: Rasul Tutunov
Thesis Title: Fully Distributed and Mixed Symmetric Diagonal Dominant Solvers for Large Scale Optimization (link thesis @ https://search.proquest.com/docview/1952692175), August 2017
Advisor: Ali Jadbabaie
Position: Postdoctoral Associate, Massachusetts Institute of Technology, Cambridge, MA
Name: Yang Wu
Thesis Title: Extending Provenance for Deep Diagnosis of Distributed Systems (link thesis @ https://search.proquest.com/docview/2010531414), December 2017
Advisor: Andreas Haeberlen & Jonathan Smith
Position: Research Scientist, Facebook, San Francisco, CA
Name: Zhiwei Steven Wu
Thesis Title: Data Privacy Beyond Differential Privacy (link thesis @ https://search.proquest.com/docview/1952261911), August 2017
Advisor: Aaron Roth & Michael Kearns
Position: Postdoctoral Researcher, Microsoft, New York, NY
2016
Name: Roy Anati
Thesis Title Semantic Localization and Mapping in Robot Vision, August 2016
Advisor: Kostas Daniilidis
Position: Software Engineer, Google, CA
Name: Sanjian Chen
Thesis Title: Model-Based Analysis of User Behaviors in Medical Cyber-Physical Systems, August 2016
Advisor: Insup Lee
Position: Business Consultant, Applied Predictive Technologies, Washington D.C.
Name: Richard Eisenberg
Thesis Title: Dependent Types in Haskell: Theory and Practice, December 2016
Advisor: Stephanie Weirich
Position: Assistant Professor of Computer Science, Brynn Mawr College, PA
Name: Kalin Gochev
Thesis Title: Planning with Adaptive Dimensionality, May 2016
Advisors: Maxim Likhachev & Alla Safonova
Position: Software Engineer, Uber, Pittsburgh, PA
Name: Zhihao Jiang
Thesis Title: From Verified Models to Verified Code for Safe Medical Devices,May 2016
Advisor: Rahul Mangharam
Position: Post-Doc Researcher, University of Pennsylvania, PA
Name: Bongho Kim
Thesis Title: Techniques for End-to-end TCP Performance Enhancement over Wireless Networks, August 2016
Advisor: Insup Lee
Position: Researcher, Bell Labs, Nokia, New Providence, NJ
Name: Andrew King
Thesis Title: Foundations for Safety-Critical On-Demand Medical Systems, August 2016
Advisor: Insup Lee
Position: Software Engineer, Zoox, Menlo Park, CA
Name: Mengmeng Liu
Thesis Title: Incremental Processing and Optimization of Update Streams, May 2016
Advisor: Zack Ives & Boon Loo
Position: Senior Manager, Big Fast Data Technology, WalmartLabs, San Francisco, CA
Name: Salar Moarref
Thesis Title: Compositional Reactive Synthesis for Multi-Agent Systems, August 2016
Advisor: Rajeev Alur & Ufuk Topcu
Position: Postdoctoral Associate, Cornell University, NY
Name: Alexander Roederer
Thesis Title: Parameter Invariant Statistics and their Application to Clinical Decision Support, December 2016
Advisor: Insup Lee & Clarence Hanson
Position: Software Engineer, Google, Cambridge, MA
Name: Kevin Tian
Thesis Title: Tree Stochastic Processes, December 2016
Advisor: Sampath Kannan
Position: TBA
Name: Abhishek Udupa
Thesis Title: Synthesis of Distributed Protocols from Scenarios and Specifications, May 2016
Advisor: Rajeev Alur & Milo Martin
Position: Research Software Engineer, Microsoft, Redmond, WA
Name: Zhepeng Yan
Thesis Title: Learning to Scale Up Search-Driven Data Integration, December 2016
Advisor: Zack Ives
Position: Software Engineer, Google, Mountain View, CA
Name: Yifei Yuan
Thesis Title: High-Level Abstractions for Programming Network Policies, August 2016
Advisor: Rajeev Alur & Boon Loo
Position: Postdoctoral Researcher, Carnegie Mellon University, Pittsburgh, PA
Name: Mingchen Zhao
Thesis Title: Accountability in Distributed Systems with Incomplete Information, August 2016
Advisor: Andreas Haeberlen
Position: Research Scientist, Facebook, San Francisco, CA
Name: Menglong Zhu
Thesis Title: Momocular 3D Object Recognition, May 2016
Advisor: Kostas Daniilidis
Position: Computer Vision Software Engineer, Google, Los Angeles, CA
2015
Name: Kareem Amin
Thesis Title: New Models & Algorithms for Bandits & Markets, May 2015
Advisor: Michael Kearns
Position: Google Research, NYC
Name: Mayank Bansal
Thesis Title: Disparate View Matching, May 2015
Advisor: Kostas Daniilidis
Position: Computer Vision & Robotics Researcher, Waymo, San Francisco, CA
Name: Cory Boatright
Thesis Title: Steering Contexts for Autonomous Agents Using Synthetic Data, August 2015
Advisor: Norm Badler
Position: Assistant Professor of Computer Science, Grove City College, PA
Name: Benjamin Charrow
Thesis Title: Information-Theoretic Active Perception for Multi-Robot Teams, August 2015
Advisor: Vijay Kumar
Position: Google
Name: Loris D’Antoni
Thesis Title: Programming using automata and transducers,August 2015
Advisor: Rajeev Alur
Position: Assistant Professor, Dept. of Computer Science, University of Wisconsin at Madison, WI
Name: Pengfei Huang
Thesis Title: A real-time sound packet propagation and perception model for agents in dynamic environments, August 2015
Advisor: Norm Badler
Position: Software Engineer II, Microsoft
Name: Ryan Kennedy
Thesis Title: Discrete and continuous optimization for motion estimation,May 2015
Advisor: C.J. Taylor
Position: Computer Vision Software Engineer, Skydio Inc., San Francisco, CA
Name: Baekgyu Kim
Thesis Title: Safety-assured model-based development of real-time embedded software for the GPCA infusion pump, August 2015
Advisor: Insup Lee
Position: Researcher, Systems and Software Division, Toyota InfoTechnology Center, Mountain View, CA
Name: Aline Normoyle
Thesis Title: Experimental Analysis of Motion Style, May 2015
Advisor: Norm Badler
Position: Assistant Professor of Computer Science, Bryn Mawr College, Bryn Mawr, PA
Name: Peter-Michael Osera
Thesis Title: Program synthesis with types, August 2015
Advisor: Steve Zdancewic
Position: Assistant Professor, Grinnell College, IA
Name: Alexander Shoulson
Thesis Title: Real-time storytelling with events in virtual worlds, May 2015
Advisor: Norm Badler
Position: Gameplay Systems Engineer, Red Storm Entertainment, Raleigh, NC
Name: Vilhelm Sjoberg
Thesis Title: A Dependently Typed Language with Nontermination, May 2015
Advisor: Stephanie Weirich
Position: Postdoc, Yale University, CT
2014
Jeffrey Byrne
Thesis Title: Shape Representations using Nested Descriptors, May 2014
Advisor: Jianbo Shi
Position: Senior Research Scientist, Systems & Technology Research (STR), Woburn, MA
Christopher Casinghino
Thesis Title: Combining Proofs and Programs
Advisor: Stephanie Weirich
Position: Research Scientist, Draper Labs, Cambridge, MA
Paramveer Singh Dhillon
Thesis Title: Advances in Spectral Learning with Applications to Text Analysis and Brain Imaging
Advisors: Lyle Ungar & James Gee
Position: Postdoctoral Associate, MIT Sloan School of Management, Cambridge, MA
Jennifer Gillenwater
Thesis Title: Approximate Inference for Determinantal Point Processes
Advisors: Emily Fox & Benjamin Taskar
Position: Research Scientist, Google, New York, NY
Benjamin Gojman
Thesis Title: GROK-FPGA: Generating Real On-Chip Knowledge for FPGA Fine-Grain Delays using Timing Extraction
Advisor: Andre Dehon
Position: Research Scientist, Google, New York, NY
Alexander Patterson IV
Thesis Title: Registration and Recognition in 3D, May 2014
Advisor: Kostas Daniilidis
Position: Senior Vision Scientist, Sightlogix Inc., Princeton, NJ
Brent Yorgey
Thesis Title: Combinatorial Species and Labelled Structures
Advisor: Stephanie Weirich
Position: Assistant Professor Mathematics & Computer Science Hendrix College, Conway, AK
Zhuoyao Zhang
Thesis Title: Performance modeling and resource management for MapReduce applications, May 2014
Advisors: Boon Thau Loo & Insup Lee
Position: Software Engineer, Google Inc., Mountain View, CA
2013
Kook Jin Ahn
Thesis Title: Analyzing Massive Graphs in the Semi-streaming Model, May 2013
Advisor: Sudipto Guha
Position: Software Engineer, Google Inc., Mountain View, CA
Anand Bhalgat
Thesis Title: Optimization under Uncertainty, May 2013
Advisor: Sanjeev Khanna
Position: Research Scientist, Facebook, Menlo Park, CA
Michael Brautbar
Thesis Title: The Power of Locality in Network Algorithms, August 2013
Advisor: Michael Kearns
Position: Post-doctoral Fellow, MIT, Cambridge, MA
Jian Chang
Thesis Title: Behavior-Centric Trust Management in Distributed Systems, May 2013
Advisors: Insup Lee & Sampath Kannan
Position: Software Engineer, OpenX Technologies, Inc. Los Angeles, CA
Katerina Fragkiadaki
Thesis Title: Multi-granularity Representations for Human Interactions: Pose, Motion, and Intention, December 2013
Advisor: Jianbo Shi
Position: Post-doctoral Fellow, University of California, Berkeley, CA
Michael Greenberg
Thesis Title: Manifest Contracts, December 2013
Advisor: Benjamin Pierce
Position: Post-doctoral Research Associate, Princeton University, Princeton, NJ
Zhiyi Huang
Thesis Title: New Techniques for Computation over Private Data, May 2013
Advisors: Sampathan Kannan & Aaron Roth
Position: Post-doctoral Fellow, Stanford University, Stanford, CA
Constantine Lignos
Thesis Title: Modeling Words in the Mind, December 2013
Advisors: Mitch Marcus & Charles Yang
Position: Assistant Professor, Brandeis University
Annie Louis
Thesis Title: Predicting Text Quality: Metrics for Content, Organization and Reader Interest, May 2013
Advisor: Ani Nenkova
Position: Newton International Fellow, Institute for Language, Cognition & Computation, University of Edinburgh, Edinburgh, Scotland
Karl Mazurak
Thesis Title: Linear Types, Protocols, and Processes in Classical F ,August 2013
Advisor: Steve Zdancewic
Position: Software Engineer, Google Inc. Seattle, WA
Emily Pitler
Thesis Title: Models for Improved Tractability and Accuracy in Dependency Parsing, December 2013
Advisors: Mitch Marcus & Sampath Kannan
Position: Research Scientist, Google Inc., New York, NY
Arun Raghavan
Thesis Title: Computational Sprinting: Exceeding Sustainable Power in Thermally Constrained Systems, December 2013
Advisor: Milo Martin
Position: Principal Member of Technical Staff, Oracle Labs, Redwood Shores, CA
Gang Song
Thesis Title: Quantitative Analysis of Thoracic Computed Tomography Images,August 2013
Advisors: Jianbo Shi & James Gee
Position: Post-doctoral Researcher, Radiology, University of Pennsylvania, Philadelphia, PA
Anduo Wang
Thesis Title: Automated Formal Analysis of Internet Routing Configurations, August 2013
Advisors Boon Loo & Andre Scedrov:
Position: Post-doctoral Fellow, University of Illinois, Urbana-Champaign, IL
David Weiss
Thesis Title: Enabling More Accurate and Efficient Structured Prediction, December 2013
Advisor: Ben Taskar
Position: Research Scientist, Google Inc., New York, NY
Andrew West
Thesis Title: Damage Detection and Mitigation in Open Collaboration Applications, August 2013
Advisors: Insup Lee & Oleg Sokolsky
Position: Research Scientist, Verisign Labs, Reston, VA
Jianzhou Zhao
Thesis Title: Formalizing the SSA-Based Compiler for Verified Advanced Program Transformations, August 2013
Advisor: Steve Zdancewic
Position: TBD
2012
Adam Aviv
Thesis Title: Security Side Channels Enabled by Smartphone Interaction, December 2012
Advisors Matt Blaze & Jonathan Smith
Position: Visiting Assistant Professor of Computer Science, Swarthmore College, Swarthmore, PA
Zhuowei Bao
Thesis Title: Efficiently Tracking Provenance in Scientific Workflows, December 2012
Advisor: Susan Davidson
Position: Research Scientist, Facebook, Menlo Park, CA
Axel Bernal
Thesis Title: Linear Structure Models for Eukaryotic Gene Prediction , May 2012
Advisor: Fernando Pereira
Position: Post-doctoral Fellow, Genome Frontiers Institute, University of Pennsylvania, Philadelphia, PA
Aaron Bohannon
Thesis Title: Foundations of Web Script Security, May 2012
Advisor: Benjamin Pierce
Position: Software Engineer, Google Inc., New York, NY
Joseph T. Kider, Jr.
Thesis Title: Simulation of 3D Model Shape and Appearance Mutation by Physical, Chemical, Biological, Environmental, and Weathering
Processes, August 2012
Advisor: Norman Badler
Position: Postdoctoral Researcher, Program of Computer Graphics, Cornell University, Ithaca, NY
Alex Kulesza
Thesis Title: Learning with Determinantal Point Processes, August 2012
Advisors: Ben Taskar & Fernando Pereira
Position: Post-doctoral Fellow, University of Michigan, Ann Arbor, MI
Changbin Liu
Thesis Title: Automated Cloud Resource Orchestration, August 2012
Advisor: Boon Loo
Position: Senior Member Technical Staff, AT&T Labs, Middletown, NJ
Svilen Mihalov
Thesis Title: A Scalable Approach to Complex Computations, December 2012
Advisors: Zack Ives & Sudipto Guha
Position: Postdoctoral Fellow, University of Washington, Seattle, WA
Santosh Nagarakatte
Thesis Title: Practical Low-Overhead Enforcement of Memory Safety for C Programs, December 2012
Advisor: Milo Martin
Position: Assistant Professor of Computer Science, Rutgers University, New Brunswick, NJ
Oleg Naroditsky
Thesis Title: Optimization of Polynomial System Solvers with Applications to Visual Odometry, May 2012
Advisor: Kostas Daniilidis
Position: Computer Vision Team Lead at Flyby Media Inc, New York, NY
Sudeepa Roy
Thesis Title: Data Provenance and Uncertainty, August 2012
Advisor: Susan B. Davidson & Sanjeev Khanna
Position: Postdoctoral Fellow, University of Washington, Seattle, WA
Ben Sapp
Thesis Title: Efficient Human Pose Estimation with Image-dependent Interactions, December 2012
Advisor: Ben Taskar
Position: Software Engineer, Google, Mountain View, CA
Babak Shirmohammadi
Thesis Title: Self-localizing smart cameras and their applications, May 2012
Advisor: C.J. Taylor
Position: Senior Vision Engineer, SightLogix Inc., Princeton, NJ
Wenchao Zhou
Thesis Title: Secure Time-aware Provenance for Distributed Systems, August 2012
Advisor: Boon Loo
Position: Assistant Professor, Georgetown University, Washington, DC
2011
Elena Bernardis
Thesis Title: Finding Dots in Microscopic Images, August 2011
Advisors: Jianbo Shi & Stella X. Yu
Position: Research Scientist, CHOP, Philadelphia, PA
Tanmoy Chakraborty
Thesis Title: Bargaining and Pricing in Networked Economic Systems, December 2011
Advisors: Michael Kearns & Sanjeev Khanna
Position: Postdoctoral Fellow, Center for Research on Computation and Society, Harvard University, Boston, MA
Alexy Khrabrov
Thesis Title: Mind Economy: Dynamic Graph Analysis of Communication Networks, December 2011
Advisor: Lyle Ungar:
Position: Senior Research Engineer, Klout, San Francisco, CA
Tingting Sha
Thesis Title: Exploiting Memory Dependence Prediction to Reduce Complexity of the Store-Load Datapath, May 2011
Advisor: Amir Roth
Position: MBA Candidate at MIT Sloan School of Management, Cambridge, MA
Praveen Srinivasan
Thesis Title: Holistic Shape-Based Object Recognition Using Bottom-up Image Structures, May 2011
Advisor: Jianbo Shi
Position: Software Engineer, Video Surf Inc., San Mateo, CA
Ben Sunshine-Hill
Thesis Title: Perceptually Driven Simulation, December 2011
Advisor: Norm Badler
Position: Software Developer, Havok, Dublin, Ireland
Alex Toshev
Thesis Title: Shape Representations for Object Recognition, May 2011
Advisors: Kostas Daniilidis, Jianbo Shi, Ben Taskar
Position: Research Scientist, Google, New York, NY
Qihui Zhu
Thesis Title: Shape Detection by Packing Contours and Regions, May 2011
Advisor: Jianbo Shi
Position: Associate, Goldman Sachs, New York, NY
2010
Colin Blundell
Thesis Title: Mechanisms for Unbounded Conflict-Robust Hardware Transactional Memory, December 2010
Advisor: Milo Martin
Position: Researcher at Google, Mountain View, CA
Nikhil Dinesh
Thesis Title: Regulatory Conformance: Logic and Logical Form, December 2010
Advisors: Aravind Joshi & Insup Lee
Position: NLG Engineer at Data2Text Limited, Aberdeen, United Kingdom
Ryan Gabbard
Thesis Title: Null Element Restoration, December 2010
Advisor: Mitch Marcus
Position: Research Scientist, BBN Technologies, Cambridge, MA
Kuzman Ganchev
Thesis Title: Posterior Regularization for Learning with Side Information and Weak Supervision, December 2010
Advisor: Fernando Perira & Ben Taskar
Position: Researcher, Google, New York, NY
Andrew Hilton
Thesis Title: Efficient Load Latency Tolerance: Single-Thread Performance for the Multi-core Era, August 2010
Advisor: Amir Roth
Position: Assistant Professor of the Practice in the Electrical and Computer Engineering Department at Duke University, Durham, NC
Samuel Ted Sandler
Thesis Title: Regularized Learning with Feature Networks, May 2010
Advisor: Lyle Ungar
Position: Researcher, Amazon.com , Mountain View, CA
Partha Pratim Talukdar
Thesis Title: Graph-Based Weakly-Supervised Methods for Information Extraction & Integration, May 2010
Advisor: Fernando Pereira, Zack Ives, & Mark Liberman
Position: Post Doctoral Fellow, Machine Learning Department at Carnegie Mellon University, Pittsburgh, PA
Jinsong Tan
Thesis Title: Strategic and Secure Interactions in Networks, May 2010
Advisor: Michael Kearns
Position: Energy Risk Analyst at Citadel Investment Group, Greater Chicago Area, IL
Nicholas Taylor
Thesis Title: A Distributed Storage and Query Subsystem Collaborative Data Sharing, August 2010
Advisor: Zack Ives
Position: Software Engineer, Google, New York, NY
2009
James Alexander
Thesis Title: MASKS: Maintaining Anonymity by Sequestering Key Statistics, May 2009
Advisor: Jonathan Smith
Position: Software Engineer, Cisco Systems, San Jose, CA
Jan Allbeck
Thesis Title: Creating 3D Animated Human Textures for Virtual Worlds, May 2009
Advisor: Norm Badler
Position: Assistant Professor, Dept. of Computer Science, George Mason University, Fairfax, VA
Pavol Cerny
Thesis Title: Software Model Checking for Confidentiality, August 2009
Advisor: Rajeev Alur
Position: Post-Doctoral Researcher, Inst. for Science and Technology (IST), Austria
Timothee Cour
Thesis Title: Weakly Supervised Learning from Multiple Modalities Exploiting Video, Audio, & Text for Video Understanding, May 2009
Advisor: Ben Taskar
Position:Postdoctoral Researcher, École normale supérieure, INRIA, Paris
Mark Dredze
Thesis Title: Intelligent Email: Aiding Users with AI, May 2009
Advisor: Fernando Pereira
Position: Assistant Research Professor, Computer Science Senior Research Scientist, Human Language Technology Center of Excellence, The Johns Hopkins University, Baltimore, MD
Nate Foster
Thesis Title: Bidirectional Programming Languages, December 2009
Advisor: Benjamin Pierce
Position: Assistant Professor, Dept. of Computer Science, Cornell University. Ithaca, NY
Todd J. Green
Thesis Title: Collaborative Data Sharing with Mappings and Provenance, December 2009
Advisors: Zack Ives & Val Tannen
Position: Faculty member, Dept. of Computer Science, University of California, Davis, CA
Vasileios Kandylas
Thesis Title: Online clustering and citation analysis using Streemer, December 2009
Advisor: Lyle Ungar
Position: Software Systems Development Engineer,Yahoo, Moutain View, CA
Gregoris Karvounarakis
Thesis Title: Provenance in Collaborative Data Sharing, August 2009
Advisors: Zack Ives & Val Tannen
Position: Computer Scientist at LogicBlox, Inc. & Postdoctoral Researcher at ICS-FORTH
Qian Liu
Thesis Title: Predicting Eukaryotic Genes By Integrating Evidence, May 2009
Advisor: Fernando Pereira
Position: Software Engineer, KaChing Group Inc., Palo Alto, CA
Gaurav Shah
Thesis Title: Covert Timing Channels in Uncompromised Hosts, August 2009
Advisor: Matt Blaze
Position: Researcher, Google, Mountain View, CA
Michah Sherr
Thesis Title: Coordinate-Based Routing for High Performance Anonymity, August 2009
Advisors: Matt Blaze & Boon Thau Loo
Position: Assistant Professor at Georgetown University, Washington, DC
Jeff Vaughan
Thesis Title: Aura: Programming with Authorization and Audit, December 2009
Advisor: Steve Zdancewic
Position: Researcher at Google, Brooklyn, NY
Jennifer Wortman Vaughan
Thesis Title: Learning from Collective Preferences, Behavior, and Beliefs, August 2009
Advisor: Michael Kearns
Position: Researcher at Microsoft, NYC, NY
Liming Zhao
Thesis Title: Constructing good quality motion graphs for realistic human animation, August 2009
Advisor: Alla Safonova & Norman Badler
Position: Research Scientist, D.E. Shaw Research, New York, NY
2008
Madhukar Anand
Thesis Title: Conditional Models for Compositional Design of Real-Time Embedded Systems, May 2008
Advisor: Insup Lee
Position: Researcher, Cisco Systems, San Jose, CA
Mikhail Bernadskiy
Thesis Title: Symbolic Analysis of Stochastic Discrete Event Systems, May 2008
Advisor: Rajeev Alur
Position: Software Architect at Cox Digital Solutions, San Francisco Bay Area, CA
Arvind Bhusnurmath
Thesis Title: Applying Convex Optimization Techniques to Energy Minimization problems in Computer Vision, May 2008
Advisor: C.J. Taylor
Position: Lecturer at University of Pennsylvania, Philadelphia, PA
John Blitzer
Thesis Title: Domain Adaptation of Natural Language Processing Systems, May 2008
Advisor: Fernando Pereira
Position: Research Scientist at Google, Mountain View, CA
Durell Bouchard
Thesis Title: Automated Motion Capture Segmentation Using Laban Movement Analysis, August 2008
Advisor: Norm Badler
Position: Faculty member, Dept. of Mathematics, Computer Science, & Physics, Roanoke College, Salem, VA
Anne Bracy
Thesis Title: Mini-Graph Processing , December 2008
Advisor: Amir Roth
Position: Computer Architect at Washington University in St. Louis, St. Louis, MO
Erwin Chan
Thesis Title: Structures and Distributions in Morphology Learning, August 2008
Advisor: Mitch Marcus
Position: Faculty Position, Dept. of Linguistics, University of Arizon, Tucson, AZ
Arvind Easwaran
Thesis Title: Advances in Hierarchical Real-Time Systems: Incrementality, Optimality, and
Multiprocessor Clustering, December 2008
Advisors: Insup Lee and Oleg Sokolsky
Position: Associate Professor at Nanyang Technological University, Singapore
Georgios Fainekos
Thesis Title: Robustness of Temporal Logic Specification,August 2008
Advisor: George Pappas
Position: Faculty Position, Dept. of Computer Science & Engineering, Arizona State University, Phoenix, AZ
Alwyn Goodloe
Thesis Title: A Foundation for Tunnel-Complex Protocols, May 2008
Advisor: Carl Gunter
Position: Research Compter Engineer at NASA Langley Research Center, Norfolk, VA
Liang Huang
Thesis Title: Forest-Based Algorithms in Natural Language Processing, December 2008
Advisor: Aravind Joshi
Position: Computer Scientist, University of Southern California, Marina del Rey, CA
Ankita Kumar
Thesis Title: Localization, Mapping and Recognition in Outdoor Environment, August 2008
Advisor: Kostas Daniilidis
Position: Technical staff member, Oracle, Redwood Shores, CA
Peng Li
Thesis Title: Programmable Concurrency in a Pure and Lazy Language, August 2008
Advisor: Stepanie Weirich
Position: Software Engineer, Google, Seattle, WA
Edward Loper
Thesis Title: Encoding Structured Output Values, December 2008
Advisor: Martha Palmer
Position: Visiting Professor in Language & Linguistics, Brandeis University, Waltham, MA
Xiaoyi Ma
Thesis Title: Improving Named Entity Recognition with Co-training and Unlabeled, December 2008
Advisor: Mark Liberman
Position: Program Analyst, Linguistic Data Consortium, University of Pennsylvania, Philadelphia, PA
Yun Mao
Thesis Title: A Unified Data-centric Approach towards an Extensible Internet Architecture, August 2008
Advisors: Jonathan M. Smith and Boon Thau Loo
Position: Software Engineer at Facebook, NYC, NY
Michael May
Thesis Title: Privacy APIs: Formal Methods for Analyzing Legal Privacy Requirements, May 2008
Advisor: Insup Lee & Carl Gunter
Position: Faculty Lecturer at Kinneret College on the Sea of Galilee, Tzemach Junction, Israel
Gary Morris
Thesis Title: Active Error Correction for Learning Kinship Terms, August 2008
Advisor: Lyle Ungar
Position: Adjunct Professor of Computer Science, Northern Virginia Community College
Dimitrios Vytiniotis
Thesis Title: Practical type inference for first-class polymorphism, August 2008
Advisor: Stephanie Weirich
Position: Postdoctoral Researcher, Microsoft, Cambridge, UK
2007
Stanislav Angelov
Thesis Title: Pattern Discovery in Biological Data Sets, May 2007
Advisor: Sanjeev Khanna
Position: Software Engineer, Google, New York, NY
Sebastian Burckhardt
Thesis Title: Memory Model Sensitive Analysis of Concurrent Data Types, August 2007
Advisors: Rajeev Alur & Milo Martin
Position: Researcher, Microsoft Research, Redmond, WA
Swarat Chaudhuri
Thesis Title: Logics and Algorithms for Software Analysis, August 2007
Advisor: Rajeev Alur
Position: Assistant Professor at Rice University, Houston, TX
Boulos Harb
Thesis Title: Algorithms for Linear and Nonlinear Approximation of Large Data, May 2007
Advisors: Sudipto Guha & Sampath Kannan
Position: Software Engineer, Google Inc., New York, NY
Michael Johns
Thesis Title: Human Behavior Modeling Within an Integrative Framework, May 2007
Advisors: Barry Silverman & Norm Badler
Position: Director of Research and Trading at Lake Austin Advisors, Houston, TX
Ameesh Makadia
Thesis Title: Robust Correspondence-Free Algorithms for 3D Motion Recovery, May 2007
Advisor: Kostas Daniilidis
Position: Research Scientist, Google, New York, NY
Andrew McGregor
Thesis Title: Processing Data Streams, August 2007
Advisor: Sampath Kannan
Position: Computer Science faculty member, University of Massachusetts, Amherst, MA, Spring 2009
Nicholas Montfort
Thesis Title: Generating Narrative Variation in Interactive Fiction, August 2007
Advisors: Mitch Marcus & Gerald Prince
Position: Assistant Professor of Digital Media, MIT, Cambridge, MA
Wonhong Nam
Thesis Title: Synthesis and Compositional Verification Using Language Learning, May 2007
Advisor: Rajeev Alur
Position: Associate professor at Kunkuk University, Seoul, South Korea
Vlad Petric
Thesis Title: RENO – A Rename Based Instruction Optimizer, May 2007
Advisor: Amir Roth
Position: Senior Software Architect at Hedge Fund, NYC, NY
Usa Sammapun
Thesis Title: Monitoring and Checking of Real-time and Probabilistic Properties, May 2007
Advisors: Insup Lee & Oleg Sokolsky
Position: Instructor at Kasetsart University, Thailand
Fei Sha
Thesis Title: Large Margin Training of Acoustic Models for Speech Recognition, May 2007
Advisor: Lawrence Saul
Position: Faculty member at University of Southern California, Los Angeles, CA
Siddharth Suri
Thesis Title: The Effects of Network Topology on Strategic Behavior, May 2007
Advisor: Michael Kearns
Position: Post-doctoral Candidate, Computer Science Dept., Cornell University, Ithaca, NY
Stephen Chun-To Tse
Thesis Title: Dynamic Security Policies, August 2007
Advisor: Steve Zdancewic
Position: Software Engineer at Apple, San Francisco, CA
Geoffrey Washburn
Thesis Title: Principia Narcissus: How To Avoid Being Caught by Your Reflection, December 2007
Advisor: Stephanie Weirich
Position: Researcher at LogicBlox, Atlanta, GA
Kilian Weinberger
Thesis Title: Metric Learning with Convex Optimization, August 2007
Advisor: Lawrence Saul
Position: Associate Professor at Washington University in St. Louis, St. Louis, MO
Szu-ting Yi
Thesis Title: Robust Semantic Role Labeling Using Parsing Variations and Semantic Classes, August 2007
Advisor: Martha Palmer
Position: Linguistic Consultant at Butler Hill Group
Gary Hui Zhang
Thesis Title: Registration of diffusion tensor magnetic resonance images and its application to the quantitative analysis of human brain white matter, August 2007
Advisor: James C. Gee
Position: Lecturer at University College London, London, UK
Yifeng Zheng
Thesis Title: Efficient Scientific Data Management Over Trees, May 2007
Advisor: Susan Davidson
Position: Software Engineer, Google, Mountain View, CA
2006
Jinying Chen
Thesis Title: Towards High-performance Word Sense Disambiguation by Combining Rich Linguistic Knowledge and Machine Learning Approaches , December 2006
Advisor: Martha Palmer
Position: Research Scientist, BBN Technologies, Cambridge, MA
Byron Koon Kau Choi
Thesis Title: Storing, Querying and Updating XML, August 2006
Advisor: Peter Buneman
Position: Assistant Professor, Department of Computer Science at Hong Kong Baptist University, Hong Kong
Susan Converse
Thesis Title: Pronominal Anaphora Resolution in Chinese, May 2006
Advisor: Martha Palmer
Position: Computational Linguist/Software Engineer, Lockheed Martin, Bethesda, MD
Marc L. Corliss
Thesis Title: Dynamic Instruction Stream Editing, December 2006
Advisor: E Christopher Lewis
Position: Software Engineer at Google, NYC, NY
Yuan Ding
Thesis Title: Machine Translation Using Probabilistic Synchronous Dependency Insertion Grammars, December 2006
Advisor: Martha Palmer
Position: Quantitative Trader at Graham Capital Management, NYC, NY
Vladimir Gapeyev
Thesis Title: Statically Typed XML Processing in an Object-Oriented Language, May 2006
Advisor: Benjamin Pierce
Position: Software Engineer at Cisco Systems, Raleigh, NC
Erdan Gu
Thesis Title: Multiple Influences on Gaze and Attention Behavior for Embodied Agents, December 2006
Advisor: Norm Badler
Position: Software Engineer at Google, San Francisco, CA
Matthew P. Huenerfauth
Thesis Title: Generating American Sign Language Classifier Predicates for English-to-ASL Machine Translation , December 2006
Advisors: Martha Palmer & Mitch Marcus
Position: Assistant Professor, City University of New York, New York, NY
Seung-Joo Lee
Thesis Title: PAGO (Pelvic Analysis and Gait Output , December 2006
Advisor: Norm Badler
Position: Engineer at Voxeo, Philadelphia, PA
Ryan McDonald
Thesis Title: Discriminative Learning and Spanning Tree Algorithms for Dependency Parsing, August 2006
Advisor: Fernando Pereira
Position: Research Scientist, Google, New York, NY
Nuria Pelechano Gomez
Thesis Title: Modeling Realistic High Density Autonomous Agent Crowd Movement: Social Forces, Communication, Roles, and Psychological Influences, August 2006
Advisor: Norm Badler
Position: Postdoctoral researcher at University of Pennsylvania, Philadelphia, PA
Libin Shen
Thesis Title: Statistical LTAG Parsing, August 2006
Advisor: Aravind Joshi
Position: Research Scientist, BBN Technologies, Cambridge, MA
Insik Shin
Thesis Title: A Compositional Framework for Real-time Embedded Systems, May 2006
Advisor: Insup Lee
Position: Professor at KAIST, Daejeon, South Korea
Marcello Siqueira
Thesis Title: Mesh Generation from Imaging Data, May 2006
Advisor: Jean Gallier
Position: Faculty member, Department of Computing & Statistics, Federal University of Mato Grosso do Sul, Brazil
2005
Kostas Anagnostakis
Thesis Title: Exchange Mechanisms and Cooperative Distributed System Design, May 2005
Advisor: Michael Greenwald
Position: CEO at Niometrics, Singapore
Yi Chen
Thesis Title: Efficient XPath Query Processing on Stored and Streaming XML Data, August 2005
Advisor: Susan Davidson
Position: Portfolio Manager at Quant, New York, NY
Alex Garthwaite
Thesis Title: Making the Trains Run On Time, August 2005
Advisor: Scott Nettles
Position: Staff Engineer at Twitter, Boston, MA
Zhenhua Hu
Thesis Title: Computational Modeling and Simulation of Heart Ventricular Mechanics with Tagged MRI, May 2005
Advisors: Dimitris Metaxas and Leon Axel
Position: Financial Software Engineer, Barclays Capital, New York, NY
Sotirios Ioannidis
Thesis Title: Abstraction, Specification and Enforcement of Security Policies for Decentralized Systems, August 2005
Advisor: Jonathan Smith
Position: Research Scholar, Stevens Institute of Technology, Hoboken, NJ
Michael Levin
Thesis Title: Run, Xtatic, Run: Efficient Implementation of an Object-Oriented Language with Regular Pattern Matching, December 2005
Advisor: Benjamin Pierce
Position: Researcher, Advanced Development Group, Microsoft, Redmond, WA
Craig Martell
Thesis Title: FORM: An Experiment in the Annotation of the Kinetics of Gesture, December 2005
Advisor: Mitch Marcus
Position: Associate Professor, Department of Computer Science, Naval Postgraduate School, Monterey, CA
Michael McDougall
Thesis Title: Modeling and Analyzing Integrated Policies, May 2005
Advisors: Rajeev Alur and Carl Gunter
Position: Senior Software Engineer, GrammaTech, Ithaca, NY
Tom Morton
Thesis Title: Using Semantic Relations to improve Information Retrieval, December 2005
Advisor: Martha Palmer
Position: Executive Director at Comcast Cable, Philadelphia, PA
Kyoung Ju Park
Thesis Title: Modeling, Simulation and Analysis of the Heart from 4D Cardiac tagged-MRimages, May 2005
Advisor: Dimitris Metaxas and Leon Axel
Position: Samsung
Jonathan Schug
Thesis Title: Integrating Gene Expression Signals with Bounded Collection Grammars, August 2005
Advisors: Max Mintz and Chris Stoeckert
Position: Program Analyst, Center for Bioinformatics, University of Pennsylvania, Philadelphia, PA
Andrew Schein
Thesis Title: Active Learning for Logistic Regression, December 2005
Advisor: Lyle Ungar
Position: Software Engineer at Google, San Francisco, CA
Karin Kipper Schuler
Thesis Title: VerbNet: A broad-coverage, comprehensive verb lexicon, August 2005
Advisor: Martha Palmer
Position: Research Consultant, University of Colorado, Boulder, CO
2004
Dan Bikel
Thesis Title: On the Parameter Space of Generative Lexicalized Statistical Parsing Models, December 2004
Advisor: Mitch Marcus
Position: Research Scientist at Google, San Francisco, CA
David Chiang
Thesis title: Evaluating Grammar Formalisms for Applications to Natural Language Processing and Biological Sequence Analysis, August 2004
Advisor: Aravind Joshi
Position: Research Assistant Professor, Computer Science | Project Leader, Information Sciences Institute at USC, Los Angeles, CA
Hoa Trang Dang
Thesis Title: Investigations into the Role of Lexical Semantics in Word Sense Disambiguation, December 2004
Advisor: Martha Palmer
Position: Computer Scientist, National Institute of Standards and Technology, Gaithersburg, MD
Carmem Hara
Thesis Title: Reasoning about Functional and Key Dependencies in Hierarchically Structured Data, December 2004
Advisor: Susan Davidson
Position: Faculty Member, Departamento de Informatica, Universidade Federal do Parana, Curitiba-PR, Brazil
Volkan Isler
Thesis title: Algorithms for Distributed and Mobile Sensing, August 2004
Advisors: Kostas Daniilidis & Sampath Kannan
Position: Associate Professor at University of Minnesota, Minneapolis, MN
Panagiotis Markopoulos
Thesis title: Product Information Dissemination in the Internet, and Markets for Product Information, May 2004
Advisor: Lyle Ungar
Position: Lecturer at University of Cyprus Business School, Cyprus
Albert Montillo
Thesis title: Automated Volumetric Model Construction and Dynamic Segmentation of the Heart Ventricles in Tagged MRI, August 2004
Advisors: Dimitris Metaxas and Leon Axel
Position: Research Scientist at the GE Global Research center in Niskayuna, NY
Alexandrin Popescul
Thesis title: Statistical Learning from Relational Databases, May 2004
Advisor: Lyle Ungar
Position: Data Scientist at Private Consultancy, San Francisco, CA
Jia Wang
Thesis title: Loss-Sensitive Decision Rules for Intrusion Detection and Response, August 2004
Advisor: Insup Lee
Position: N/A
2003
Koji Ashida
Thesis title: Adaptive Construction of Manifold Meshes, May 2003
Advisor: Norm Badler
Position: Software Engineer at Google, San Francisco, CA
Karthikeyan Bhargavan
Thesis title: Network Event Recognition, December 2003
Advisor: Carl Gunter
Position: Researcher at INRIA, Paris, France
Aaron Bloomfield
Thesis title:Tactor Reach Access and Constraint Environment, December 2003
Advisor: Norm Badler
Position: Faculty Member, University of Virginia, Charlottesville, VA
Eugen Buehler
Thesis title:Statistical Models for the Analysis of Heterogeneous Biological Data, December 2003
Advisor: Lyle Ungar
Position: Informatics Group Leader, NIH, Washington, DC
Bruno Carvalho
Thesis title:Cone-Beam Helical CT Virtual Endoscopy: Reconstruction, Segmentation and Automatic Navigation, December 2003
Advisor: Gabor Herman
Position: Faculty Member, Department of Informatics & Applied Mathematics, Federal University, Rio Grande do Norte, Brazil
Yael Gertner
Thesis title:A Study of the Relationships Among Cryptographic Primitives, August 2003
Advisor: Sampath Kannan
Position: Postdoctoral Candidate, University of Illinois
Franjo Ivancic
Thesis title:Modeling and Analysis of Hybrid Systems, December 2003
Advisor: Rajeev Alur
Position: Senior Software Engineer at Google, NYC, NY
Sang-Hack Jung
Thesis title:Occlusion Detection in Multi-baseline Stereo, December 2003
Advisor: C.J. Taylor
Position: Postdoctoral Research Engineer, CITRIS, University of California, Berkeley, CA
Shih-Schon Lin
Thesis title:Omni-Directional 3D Stereo Computer Vision Sensor Using Reflective Cone Mirror, May 2003
Advisor: Ruzena Bajcsy
Position: Research Consultant at Faroudja Enterprises, San Francisco, CA
Ying Liu
Thesis title:Interactive Reach Planning for Animated Characters Using Hardware, August 2003
Advisor: Norm Badler
Position: Senior Software Engineer at Walt Disney Animation Studios, Los Angeles, CA
Carlos Prolo
Thesis title:LR Parsing for Tree Adjoining Grammars and Its Application to Corpus-Based Natural Language Parsing, August 2003
Advisor: Aravind Joshi
Position: Associate Professor at Universidade Federal do Rio Grande do Norte, Caic, RN, Brazil
William Schuler
Thesis title:Tractable Models of Natural Language Semantics for Recognizing Spoken Directions, August 2003
Advisor: Aravind Joshi & Martha Palmer
Position: Associate Professor at The Ohio State University, Columbus, OH
John Spletzer
Thesis title:Sensor Fusion Techniques for Cooperative Localization in Robot Teams, August 2003
Advisor: CJ Taylor
Position: Faculty member, Lehigh University, Bethlehem, PA
Christian Vogler
Thesis title:American Sign Language Recognition: Reducing the Complexity of the Task with Phoneme-Based Modeling and Parallel Hidden Markov Models, May 2003
Advisor: Dimitris Metaxas
Position: Visiting faculty member, Gallaudet University, Washington, DC
Zhijiang Yang
Thesis title: Techniques for Reducing the Computational Requirements of Symbolic Reachability Analysis
Advisor: Rajeev Alur
Position: Faculty member, Western Michigan University, Kalamazoo, MI
2002
Alin Deutsch
Thesis title:XML Query Reformulation over Mixed and Redundant Storage, December 2002
Advisor: Val Tannen
Position: Assistant Professor, Dept. of Computer Science & Engineering, University of California, San Diego, CA
Geoffrey Egnal
Thesis title:A Self-Correcting View Synthesis System Using Stereo Vision, August 2002
Advisor: Max Mintz
Position: External Consultant at Ab Initio Software, Washington, DC
Christopher Geyer
Thesis title:Catadioptric Projective Geometry: Theory and Applications, December 2002
Advisor: Kostas Daniilidis
Position: Rocket Scientist at a Robotics Startup, Boston, MA
Siome Goldenstein
Thesis title:Statistical Cue Estimation for Model-Based Shape and Motion Tracking, December 2002
Advisor:Dimitris Metaxas
Position: Faculty member, Instituto de Computacao, Universidade Estadual de Campinas, Campinas, Brazil
Gang Huang
Thesis title:Feel the Fabric via the PHANToM, December 2002
Advisor: Dimitris Metaxas
Position: Founder, CEO & President, Boryi Network Information Inc., China
Suejung Huh
Thesis title:Physics Based Cloth Simulation, August 2002
Advisors: Dimitris Metaxas & Norman Badler
Position: Physics Engine Tool Developer at Kojima LA, Los Angeles, CA
Sooha Park Lee
Thesis title:Facial animation system with realistic eye movement based on a cognitive model for virtual agents, December 2002
Advisor: Norm Badler
Position: N/A
Jonathan Moore
Thesis title:Practical Active Packets, August 2002
Advisor: Scott Nettles
Position: Technical fellow at Comcast, Philadelphia, PA
Arnaud Sahuguet
Thesis title:ubQL: A Distributed Query Language to Program Distributed Query Systems, August 2002
Advisor: Val Tannen
Position: Senior Technology Advisor at NYU, New York, NY
Anoop Sarkar
Thesis title:Combining Labeled and Unlabeled Data in Statistical Natural Language Parsing, May 2002
Advisor: Aravind Joshi
Position: Assistant Professor, School of Computing Science, Simon Fraser University, Burnaby, Canada
Jangwoo Shin
Thesis title:State-Space Tool: Understanding Concurrent Programs Through State-Space, May 2002
Advisor: Noah Prywes & Oleg Sokolsky
Position: Technical Director, NetXentry, Philadelphia, PA
Wang-Chiew Tan
Thesis title:Data Annotations, Provenance, and Archiving, December 2002
Advisor: Peter Buneman & Sanjeev Khanna
Position: Assistant Professor, Department of Computer Science, University of California, Santa Cruz, CA
Yilun Dianna Xu
Thesis title:Incremental Algorithms for the Design of Triangular-Based Spline surfaces, December 2002
Advisor: Jean Gallier
Position: Assistant Professor, Computer Science Program, Mathematics Dept., Bryn Mawr College, Bryn Mawr, PA
2001
Adnan I. Ansar
Thesis title:Registration for Augmented Reality, December 2001
Advisor: Kostas Daniilidis
Position: Technical Staff Member, Machine Vision Group, NASA Jet Propulsion Lab, Pasadena, CA
Dmitry Cherkassky
Thesis title:Finite Representations and Solutions of Continuous Minimax Decision Problems,
December 2001
Advisor: Max Mintz
Position:President & Senior Research Scientist, Dovetail Concepts, Inc. Philadelphia, PA
Jason Eisner
Thesis title:Smoothing a Probabilistic Lexicon via Syntactic Transformations, August 2001
Advisor: Mitch Marcus
Position: Faculty member, Johns Hopkins University, Baltimore, MD
Charles Erignac
Thesis title:Interactive Semi-Qualitative Simulation in Virtual Environments, May 2001
Advisor: Norm Badler
Position: Researcher, Boeing Industry, Seattle, WA
Michael Hicks
Thesis title:Dynamic Software Updating, August 2001
Advisor: Scott Nettles
Position: Faculty member, University of Maryland, College Park, MD
David Jelinek
Thesis title:Novel View Synthesis Using Quasi-Sparse Feature Correspondences, December 2001
Advisor: C.J. Taylor
Position: Director of Quantitative Research, Vermillion Asset Management, New York, NY
Angelos Keromytis
Thesis title:STRONGMAN: Scalable Security Policy Management for Large Networks, December 2001
Advisor: Jonathan Smith
Position: Faculty member, Columbia University, New York, NY
Moonjoo Kim
Thesis title:Information Extraction for Run-time Formal Analysis, December 2001
Advisors: Sampath Kannan & Insup Lee
Position: Researcher, SECUi.com, Seoul, Korea
Salvatore La Torre
Thesis title:Verification of Reactive Systems and Decision Problems in Temporal Logic, December 2001
Advisor: Rajeev Alur
Position: Faculty member, Universita di Salerno, Salerno, Italy
Rebecca Mercuri
Thesis title:Electronic Vote Tabulation Checks & Balances, May 2001
Advisor: Norm Badler
Position: Computer Forensics Expert and Security Consultant at Notable Software, Inc., Greater Philadelphia Area, PA
Stephen Muir
Thesis title:Piglet: An Operating System for Network Appliances, May 2001
Advisor: Jonathan Smith
Position: Senior Director. Software Architecture at Comcast Cable, Greater Boston Area, MA
Davor Obradovic
Thesis title:Formal Analysis of Routing Protocols, December 2001
Advisor: Carl Gunter
Position: Quantitative Research Associate, Susquehanna International Group, Bala Cynwyd, PA
David Parkes
Thesis title:Iterative Combinatorial Auctions: Achieving Economic and Computational Efficiency, May 2001
Advisor: Lyle Ungar
Position: Faculty member, Harvard University, Cambridge, MA
Dimitrios Samaras
Thesis title:Integration of Illumination Constraints in Deformable Models, May 2001.
Advisor: Dimitris Metaxas
Position: Faculty member, State University of New York, Stony Brook, New York
Bow-Yaw Wang
Thesis title:Hierarchical Reduction and Refinement Checking for Asynchronous Processes, December 2001
Advisor: Rajeev Alur
Position: Adjunct Assistant Professor, National Taiwan University, Information Management
Fei Xia
Thesis title:Investigating the Relationship between Grammars and Treebanks for Natural Languages, December 2001
Advisors: Martha Palmer & Aravind Joshi
Position: Associate Professor at University of Washington, Seattle, Washington
Liwei Zhao
Thesis title:Synthesis and Acquisition of LMA Qualitative Parameters for Communicative Gestures, August 2001
Advisor: Norm Badler
Position: Senior Software Developer, Synygy Inc., Conshohocken, PA
2000
Rama Bindiganavale
Thesis title:Building Parameterized Action Representations from Observation, August 2000
Advisor: Norm Badler
Position: Quantitative Research Associate, Susquehanna International Group, Bala Cynwyd, PA
Faik Goktas
Thesis title:Distributed Control over Communication Networks-DisCoNet, December 2000
Advisors: Ruzena Bajcsy & Jonathan Smith
Position: Quantitative Research Associate, Susquehanna International Group, Bala Cynwyd, PA
John Granieri
Thesis title:Time-Critical Human Figure Animation for Interactive 3D Visual Simulation Applications, May 2000
Advisor: Norm Badler
Position: Susquehanna Partners
Seth Kulick
Thesis title:Constraining Non-Local Dependencies in Tree Adjoining Grammar: Computation and Linguistic Perspectives, August 2000
Advisor: Aravind Joshi
Position: Research staff at University of Pennsylvania, Linguistic Data Consortium, Philadelphia, PA
Hee Hwan Kwak
Thesis title:Process Algebraic Approach to the Parametric Analysis of Real-time Scheduling Problems, May 2000
Advisor: Insup Lee
Position: Director at SOLiD, Inc., Korea
Lucian Popa
Thesis title:Object/Relational Query Optimization with Chase and Backchase, December 2000
Advisor: Val Tannen
Position: Research Staff Member, IBM Almaden Research Center, San Jose, CA
Jianping Shi
Thesis title:Joining a Real-Time Simulation: Parallel Finite-State Machines and Hierarchical Action Level Methods for Mitigating Lag Time, December 2000
Advisors: Norm Badler & Michael Greenwald
Position: Trader at WorldQuant, New York, NY
Harold Sun
Thesis title:Curved Path Human Locomotion on Uneven Terrain, December 2000
Advisor: Dimitris Metaxas
Position: Co-Founder at MindPirate, Inc., Portland, OR
Mahesh Viswanathan
Thesis title:Foundations for the Run-time Analysis of Software Systems, December 2000
Advisors: Sampath Kannan & Insup Lee
Position: Faculty member, University of Illinois, Urbana, IL
1999
William. Arbaugh
Thesis title:Chaining Layered Integrity Checks, May 1999
Advisor: Jonathan Smith
Position: President and CTO at Five Directions, Inc., Washington, DC
Julie Bourne
Thesis title:Generating Effective Natural Language Instructions based on Agent Expertise, August 1999
Advisor: Bonnie Webber
Position: Faculty member, DePaul University, Chicago, IL
Robert Buccigrossi
Thesis title:Compression & Segmentation of Images Using an Inter-Subband Wavelet Probability Model, August 1999
Advisor: Eero Simoncelli
Position: Chief Scientist, Turner Consulting Group, Washington, DC
Diane Chi
Thesis title:A Motion Control Scheme for Animating Expressive Figure Movements, May 1999
Advisor: Norman Badler
Position: Quantitative Research Associate, Susquehanna International Group, Bala Cynwyd, PA
Sonu Chopra-Khullar
Thesis title:Where to Look? Automating Certain Visual Attending Behaviors of Human Characters, May 1999
Advisor: Norman Badler & Bonnie Webber
Position: Quantitative Research Associate, Susquehanna International Group, Bala Cynwyd, PA
Michael John Collins
Thesis title:Head-Driven Statistical Models for Natural Language Parsing, May 1999
Advisor: Mitch Marcus
Position: Faculty member, Columbia University, New York, NY
Wenfei Fan
Thesis title:Path Constraints for Databases with or without Schemas, May 1999
Advisor: Peter Buneman
Position: Faculty Member at University of Edinburgh, Scotland, UK
Nobo Komagata
Thesis title:A Computational Analysis of Information Structure Using Parallel Expository Texts in English & Japanese, August 1999
Advisor: Mark Steedman
Position: Faculty member, College of New Jersey, Ewing, NJ
Omolola Ogunyemi
Thesis title:TraumaSCAN: Assessing Penetrating Injury with Abductive & Geometric Reasoning, May 1999
Advisor: Bonnie Webber
Position: Associate Professor at Charles R. Drew University of Medicine & Science, Los Angeles, CA
Jonathan Shapiro
Thesis title:EROS: A Capability System, May 1999
Advisor: David Farber & Jonathan Smith
Position: Managing Partner for AetherMagic, LLC, Seattle, WA
Sanjay Udani
Thesis title:VENUS: A Virtual Environment Network Using Satellites, December 1999
Advisors: Jonathan Smith & David Farber
Position: Executive Director of Public Policy at Verizon, Washington, DC
The University’s Career Services website provides more information regarding career paths of alumni of the Department of Computer and Information Science graduate programs.
Our Alumni: