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 Development Engineer, Microsoft Research, Redmond, WA

Arvind Bhusnurmath

Thesis Title: Applying Convex Optimization Techniques to Energy Minimization problems in Computer Vision, May 2008

Advisor: C.J. Taylor

Position: Software Engineer, Applied Predictive Technologies, Arlington, VA

John Blitzer

Thesis Title: Domain Adaptation of Natural Language Processing Systems, May 2008

Advisor: Fernando Pereira

Position: Postdoctoral Researcher, University of California, Berkeley, CA

Alwyn Goodloe

Thesis Title:  A Foundation for Tunnel-Complex Protocols, May 2008

Advisor: Carl Gunter

Position: Postdoctoral fellow, National Institute of Aerospace, Hampton, Virginia

Michael May

Thesis Title: Privacy APIs: Formal Methods for Analyzing Legal Privacy Requirements, May 2008

Advisor: Insup Lee & Carl Gunter

Position: Development Manager, Quantum Internet Services, Inc., Qatzrin, Israel

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: Assistat Professor, Computer Science & Engineering, Pennsylvania State University, University Park, PA

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: Product Research Engineer, NetQoS, Inc., Austin, TX

Ameesh Makadia

Thesis Title: Robust Correspondence-Free Algorithms for 3D Motion Recovery

Advisor: Kostas Daniilidis

Position: Research Scientist, Google, New York, NY

Andrew McGregor

Thesis Title: Processing Data Streams, August 2007

Advisor: Sampath Kannan

Position: TBA

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: Post-doctoral candidate, College of Information Sciences & Technology, Pennsylvania State University,

University Park, PA

Vlad Petric

Thesis Title: RENO - A Rename Based Instruction Optimizer, May 2007

Advisor: Amir Roth

Position: Software Engineer, Google, New York, NY

Usa Sammapun

Thesis Title: Monitoring and Checking of Real-time and Probabilistic Properties, May 2007

Advisors: Insup Lee & Oleg Sokolsky

Position: Researcher, Goldman Sachs, New York, NY

Fei Sha

Thesis Title:  Large Margin Training of Acoustic Models for Speech Recognition, May 2007

Advisor: Lawrence Saul

Position: Post-doctoral Candidate, Dept. of Electrical Engineering & Computer Science, University of California, Berkeley, 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 Engineering, Google, New York, NY

Geoffrey Washburn

Thesis Title: Principia Narcissus: How To Avoid Being Caught by Your Reflection, December 2007

Advisor: Stephanie Weirich

Position: Post Doctoral Researcher, Programming Methods Laboratory, Ecole Polytechnique Federale de Lausanne, Switzerland

Kilian Weinberger

Thesis Title: Metric Learning with Convex Optimization, August 2007

Advisor: Lawrence Saul

Position: Research Scientist, Yahoo, Moutain View, CA

Szu-ting Yi

Thesis Title: Robust Semantic Role Labeling Using Parsing Variations and Semantic Classes, August 2007

Advisor: Martha Palmer

Position: TBA

Gary Hui Zhang

Thesis Title: Registration of diffusion tensor magnetic resonance images and its application to the quantitative analysis of human brain white matter

Advisor: James C. Gee

Position: Post Doctoral Candidate, Radiology, University of Pennsylvania, Philadelphia, PA

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, Division of Information Systems, School of Computer Engineering,
Nanyang Technological University, Singapore

Susan Converse

Thesis Title: "Pronominal Anaphora Resolution in Chinese", May 2006

Advisor: Martha Palmer

Position: Researcher, University of Pennsylvania

Marc L. Corliss

Thesis Title: Dynamic Instruction Stream Editing, December 2006

Advisor: E Christopher Lewis

Position: Assistant Professor, Department of Mathematics & Computer Science, Hobart & Wm. Smith Colleges,

Geneva, NY

Yuan Ding

Thesis Title: Machine Translation Using Probabilistic Synchronous Dependency Insertion Grammars, December 2006

Advisor: Martha Palmer

Position: TBA

Vladimir Gapeyev

Thesis Title: "Statically Typed XML Processing in an Object-Oriented Language", May 2006

Advisor: Benjamin Pierce

Position: Post-doctoral Research Associate, IBM T.J. Watson Research Lab, Cambridge, MA

Erdan Gu

Thesis Title:  Multiple Influences on Gaze and Attention Behavior for Embodied Agents, December 2006

Advisor: Norm Badler

Position: TBA

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: TBA

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: Faculty Member, Universitat Politecnica de Catalunya, Barcelona, Spain

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: Postdoctoral Fellow, Dept. of Computer Science and Electronics, Maolardalen University, Sweden

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: Research Group Leader, Institute for Infocomm Research, Agency for Science, Technology, & Research, Singapore

Yi Chen

Thesis Title: "Efficient XPath Query Processing on Stored and Streaming XML Data", August 2005

Advisor: Susan Davidson

Position: Assistant Professor, Department of Computer Science & Engineering, Arizona State University, Tempe, AZ

Alex Garthwaite

Thesis Title: "Making the Trains Run On Time", August 2005

Advisor: Scott Nettles

Position: Research Scientist, Sun Microsystems, Burlington 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: TBA

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: TBA

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: TBA

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: Research Associate, Hedge Fund, Greenwich, CT

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 Staff Member/Group: Natural Language Systems, IBM, T.J. Watson Research Center,

Yorktown Heights, NY

David Chiang
Thesis title: "Evaluating Grammar Formalisms for Applications to Natural Language Processing and Biological
Sequence Analysis", August 2004

Advisor: Aravind Joshi
Position: Postdoctoral fellow, University of Maryland Institute for Advanced Computer Studies, College Park, MD

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: Assistant Professor, Dept. of Computer Science, Rensselaer Polytechnic Institute, Troy, NY

Panagiotis Markopoulos
Thesis title: "Product Information Dissemination in the Internet, and Markets for Product Information", May 2004

Advisor: Lyle Ungar
Position: Faculty Position, Wharton School of Business, University of Pennsylvania, Philadelphia, PA

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: TBA

Alexandrin Popescul
Thesis title: "Statistical Learning from Relational Databases", May 2004

Advisor: Lyle Ungar
Position: Senior Engineer, Ask Jeeves Inc., Piscataway, NJ

Jia Wang
Thesis title: "Loss-Sensitive Decision Rules for Intrusion Detection and Response", August 2004

Advisor: Insup Lee
Position: TBA

2003

Koji Ashida

Thesis title: "Adaptive Construction of Manifold Meshes", May 2003
Advisor: Norm Badler
Position: Developer Technology Engineering, nVIDIA, Santa Clara, CA

Karthikeyan Bhargavan

Thesis title: "Network Event Recognition", December 2003

Advisor: Carl Gunter

Position: TBA

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: Research Mathematician, Applied Computer Science & Mathematics, Merck Research Laboratories, Philadelphia, PA

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: Research Staff Member, NEC Laboratories America, Princeton, NJ

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: Postdoctoral Candidate, Electrical Engineering, University of Pennsylvania

Ying Liu

Thesis title:"Interactive Reach Planning for Animated Characters Using Hardware", August 2003

Advisor: Norm Badler

Position: Researcher, Sony Corporation

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, Pontifica Universidade Catolica do Rio Grande do Sul, Brazil

William Schuler

Thesis title:"Tractable Models of Natural Language Semantics for Recognizing Spoken Directions", August 2003

Advisor: Aravind Joshi & Martha Palmer

Position: Faculty member, University of Minnesota, Minneapolis, MN

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: Senior Software Engineer, ObjectVideo, Reston, VA

Christopher Geyer

Thesis title:"Catadioptric Projective Geometry: Theory and Applications", December 2002
Advisor: Kostas Daniilidis
Position: Visiting Post-doctoral Research Engineer, University of California, Berkeley, CA

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: Post-doctoral Fellow, University of Pennsylvania

Suejung Huh

Thesis title:"Physics Based Cloth Simulation", August 2002

Advisors: Dimitris Metaxas & Norman Badler
Position: Post-doctoral Fellow, University of Pennsylvania

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: Visiting Professor, School of Medicine, University of Pennsylvania

Jonathan Moore

Thesis title:"Practical Active Packets", August 2002
Advisor: Scott Nettles
Position: Postdoctoral Fellow, CIS Dept., University of Pennsylvania

Arnaud Sahuguet

Thesis title:"ubQL: A Distributed Query Language to Program Distributed Query Systems", August 2002
Advisor: Val Tannen
Position: Member of Technical Staff, Bell Laboratories, Lucent Corp., NJ

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

Charles Erignac

Thesis title:"Interactive Semi-Qualitative Simulation in Virtual Environments", May 2001
Advisor: Norm Badler
Position: Researcher, Boeing Industry, Seattle, WA

David Jelinek

Thesis title:"Novel View Synthesis Using Quasi-Sparse Feature Correspondences", December 2001
Advisor: C.J. Taylor
Position: Quantitative Research Associate, Susquehana International Group, Bala Cynwyd, PA

Michael Hicks

Thesis title:"Dynamic Software Updating", August 2001
Advisor: Scott Nettles
Position: Faculty member, University of Maryland, College Park, MD

Jason Eisner

Thesis title:"Smoothing a Probabilistic Lexicon via Syntactic Transformations", August 2001
Advisor: Mitch Marcus
Position: Faculty member, Johns Hopkins University, Baltimore, MD

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: Faculty member, Bryn Mawr College, Bryn Mawr, PA

Davor Obradovic

Thesis title:"Formal Analysis of Routing Protocols", December 2001
Advisor: Carl Gunter
Position: Quantitative Research Associate, Susquehanna International Group, Bala Cynwyd, PA

Stephen Muir

Thesis title:"Piglet: An Operating System for Network Appliances", May 2001
Advisor: Jonathan Smith
Position: Researcher, Vanu, Inc., Cambridge, MA

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: Software Engineer, Verplex Systems, Milpitas, CA

Fei Xia

Thesis title:"Investigating the Relationship between Grammars and Treebanks for Natural Languages",

December 2001
Advisors: Martha Palmer & Aravind Joshi
Position: Post-doctoral Research Associate, IBM T.J. Watson Research Lab, Yorktown Heights, NY

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: Lecturer, University of Pennsylvania

Hee Hwan Kwak

Thesis title:"Process Algebraic Approach to the Parametric Analysis of Real-time Scheduling Problems", May 2000
Advisor: Insup Lee
Position: Researcher, Synopsys, Inc., Mountain View, CA

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: Oracle New England Development Center, Nashua, NH

Harold Sun

Thesis title:"Curved Path Human Locomotion on Uneven Terrain", December 2000
Advisor: Dimitris Metaxas
Position: Senior Software Developer, Zebware, Inc., New York, NY

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

Wm. Arbaugh

Thesis title:"Chaining Layered Integrity Checks", May 1999
Advisor: Jonathan Smith
Position: Faculty member, University of Maryland, College Park, MD

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, MIT, Cambridge, MA

Wenfei Fan

Thesis title:"Path Constraints for Databases with or without Schemas", May 1999
Advisor: Peter Buneman
Position: Faculty member, Temple University, Philadelphia, PA, & Researcher, Bell Labs, Murray Hill, NJ

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: Instructor, Harvard Medical School and Brigham & Women's Hospital, Cambridge, MA

Jonathan Shapiro

Thesis title:"EROS: A Capability System", May 1999
Advisor: David Farber & Jonathan Smith
Position: Faculty member, Johns Hopkins University, Baltimore, MD

Sanjay Udani

Thesis title:"VENUS: A Virtual Environment Network Using Satellites", December 1999
Advisors: Jonathan Smith & David Farber

Position: Faculty member, University of Pennsylvania and Researcher, Verizon Communications, Arlington, VA

The Engineering component at Penn's Career Services webpage provides more information re: career paths of alumni of the Department of Computer and Information & Science Graduate Programs.