 |
 |
 |
|
 |
 |
| Doctoral Program Graduates |
|
2012
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: TBA 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 Oleg Naroditsky Thesis Title: Optimization of Polynomial System Solvers with Applications to Visual Odometry, May 2012 Advisor: Kostas Daniilidis Position: Computer Vision Scientist, Ogmento, 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 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: Postdoctoral Fellow, Section of Biomedical Image Analysis, Department of Radiology, University of Pennsylvania 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: Processor Architect Nvidia. Santa Clara, CA 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: 2010 Josef Raviv Memorial Postdoctoral Fellow, IBM Research, Yorktown Heights, NY Nikhil Dinesh Thesis Title: Regulatory Conformance: Logic and Logical Form, December 2010 Advisors: Aravind Joshi & Insup Lee Position: Computer Scientist, SRI International, Menlo Park, CA 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: Modelling & Analysis Researcher, IBM, Research Triangle Park, 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: Visiting Research Scientist, Microsoft Research, Mountain View, CA Jinsong Tan Thesis Title: Strategic and Secure Interactions in Networks, May 2010 Advisor: Michael Kearns Position: Research Associate, Goldman Sachs, New York, NY 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: Postdoctoral Researcher, Dept. of Computer & Information Science, University of Pennsylvania, Philadelphia, PA Jeff Vaughan Thesis Title: Aura: Programming with Authorization and Audit, December 2009 Advisor: Steve Zdancewic Position: Postdoctoral Fellow, Center for Research on Computation & Society, Harvard University, Cambridge, MA Jennifer Wortman Vaughan Thesis Title: Learning from Collective Preferences, Behavior, and Beliefs, August 2009 Advisor: Michael Kearns Position: Computing Innovation Fellow, School of Engineering & Applied Sciences, Harvard University, Cambridge, MA. In Fall 2010, she will join the CS Faculty as an Assistant Professor at UCLA 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 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 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: Research Scientist, Intel Corporation, Santa Clara, CA 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 Advisors: Insup Lee and Oleg Sokolsky Position: Research Associate, CISTER/IPP-Hurray Lab, Polytechnic Institute, Porto, Portugal 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 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 Alwyn Goodloe Thesis Title: A Foundation for Tunnel-Complex Protocols, May 2008 Advisor: Carl Gunter Position: Postdoctoral fellow, National Institute of Aerospace, Hampton, Virginia 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: Researcher, AT&T, New York, NY 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 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: 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, 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: 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 Engineer, 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, August 2007 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, 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: 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: Software Engineer, EFI, 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: 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: 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: 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
Advisor: Aravind Joshi 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
Advisors: Kostas Daniilidis
& Sampath Kannan Advisor: Lyle Ungar Advisors: Dimitris Metaxas
and Leon Axel Advisor: Lyle Ungar Advisor: Insup Lee 2003
Koji Ashida Thesis title: Adaptive
Construction of Manifold Meshes, May 2003 Karthikeyan Bhargavan Thesis title: Network Event Recognition, December 2003 Advisor: Carl Gunter Position: Software Development Engineer, Microsoft Research, Redmond, WA 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 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 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 Geoffrey Egnal Thesis title:A
Self-Correcting View Synthesis System Using Stereo Vision,
August 2002 Christopher Geyer Thesis title:Catadioptric
Projective Geometry: Theory and Applications, December
2002 Siome Goldenstein Thesis title:Statistical
Cue Estimation for Model-Based Shape and Motion Tracking, December 2002 Gang Huang Thesis title:Feel
the Fabric via the PHANToM, December 2002 Suejung Huh Thesis title:Physics Based Cloth Simulation, August 2002 Advisors: Dimitris
Metaxas & Norman Badler Sooha Park Lee Thesis title:Facial
animation system with realistic eye movement based on a cognitive
model for virtual agents, December 2002 Jonathan Moore Thesis title:Practical
Active Packets, August 2002 Arnaud Sahuguet Thesis title:ubQL:
A Distributed Query Language to Program Distributed Query Systems,
August 2002 Anoop Sarkar Thesis title:Combining
Labeled and Unlabeled Data in Statistical Natural Language Parsing, May 2002 Jangwoo Shin Thesis title:State-Space
Tool: Understanding Concurrent Programs Through State-Space,
May 2002 Wang-Chiew Tan Thesis title:Data
Annotations, Provenance, and Archiving, December 2002 Yilun Dianna Xu Thesis title:Incremental
Algorithms for the Design of Triangular-Based Spline surfaces, December 2002 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 Dmitry Cherkassky Thesis title:Finite Representations and Solutions of Continuous Minimax Decision Problems, December 2001 Charles Erignac Thesis title:Interactive
Semi-Qualitative Simulation in Virtual Environments, May
2001 David Jelinek Thesis title:Novel
View Synthesis Using Quasi-Sparse Feature Correspondences,
December 2001 Michael Hicks Thesis title:Dynamic
Software Updating, August 2001 Jason Eisner Thesis title:Smoothing
a Probabilistic Lexicon via Syntactic Transformations,
August 2001 Angelos Keromytis Thesis title:STRONGMAN:
Scalable Security Policy Management for Large Networks,
December 2001 Moonjoo Kim Thesis title:Information
Extraction for Run-time Formal Analysis, December 2001 Salvatore La Torre Thesis title:Verification
of Reactive Systems and Decision Problems in Temporal Logic, December 2001 Rebecca Mercuri Thesis title:Electronic
Vote Tabulation Checks & Balances, May 2001 Davor Obradovic Thesis title:Formal
Analysis of Routing Protocols, December 2001 Stephen Muir Thesis title:Piglet:
An Operating System for Network Appliances, May 2001 David Parkes Thesis title:Iterative
Combinatorial Auctions: Achieving Economic and Computational
Efficiency, May 2001 Dimitrios Samaras Thesis title:Integration
of Illumination Constraints in Deformable Models, May
2001. Bow-Yaw Wang Thesis title:Hierarchical
Reduction and Refinement Checking for Asynchronous Processes,
December 2001 Fei Xia Thesis title:Investigating the Relationship between Grammars and Treebanks for Natural Languages, December 2001 Liwei Zhao Thesis title:Synthesis
and Acquisition of LMA Qualitative Parameters for Communicative
Gestures, August 2001 2000 Rama Bindiganavale Thesis title:Building
Parameterized Action Representations from Observation, August 2000 Faik Goktas Thesis title:Distributed
Control over Communication Networks-DisCoNet, December
2000 John Granieri Thesis title:Time-Critical
Human Figure Animation for Interactive 3D Visual Simulation
Applications, May 2000 Seth Kulick Thesis title:Constraining
Non-Local Dependencies in Tree Adjoining Grammar: Computation
and Linguistic Perspectives, August 2000 Hee Hwan Kwak Thesis title:Process
Algebraic Approach to the Parametric Analysis of Real-time Scheduling
Problems, May 2000 Lucian Popa Thesis title:Object/Relational
Query Optimization with Chase and Backchase, December
2000 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 Harold Sun Thesis title:Curved
Path Human Locomotion on Uneven Terrain, December 2000 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 Julie Bourne Thesis title:Generating
Effective Natural Language Instructions based on Agent Expertise,
August 1999 Robert Buccigrossi Thesis title:Compression & Segmentation of Images Using an Inter-Subband Wavelet
Probability Model, August 1999 Diane Chi Thesis title:A
Motion Control Scheme for Animating Expressive Figure Movements, May 1999 Sonu Chopra-Khullar Thesis title:Where
to Look? Automating Certain Visual Attending Behaviors of Human
Characters, May 1999 Michael John Collins Thesis title:Head-Driven
Statistical Models for Natural Language Parsing, May 1999 Wenfei Fan Thesis title:Path
Constraints for Databases with or without Schemas, May
1999 Nobo Komagata Thesis title:A
Computational Analysis of Information Structure Using Parallel
Expository Texts in English & Japanese, August 1999 Omolola Ogunyemi Thesis title:TraumaSCAN:
Assessing Penetrating Injury with Abductive & Geometric
Reasoning, May 1999 Jonathan Shapiro Thesis title:EROS:
A Capability System, May 1999 Sanjay Udani Thesis title:VENUS:
A Virtual Environment Network Using Satellites, December
1999 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. |
|
|
|
|
|
|
|