Education

• M.S. University of Zurich, Switzerland
• Ph.D. Eidgenössische Technische Hochschule Zürich, Switzerland

Research Interests

• Programming Languages
• Program Verification
• Type Theory
• Logic

• 

Education

• Ph.D. University of California at Berkeley

Research Interests

• Natural Language Processing
• Machine Learning
• Artificial Intelligence

• 

Education

• B.S. University of Udine, Italy
• M.S. University of Houston, Texas
• Ph.D. University of Torino, Italy

Research Interests

• Computational Logic
• Programming Languages
• Computer Security
• Encryption Protocols
• Computer Science Education

• 

Education

• Laurea, University of Bologna, Italy
• D.E.A. Universite Libre de Bruxelles, Brussels, Belgium
• Doctorate, Universite Libre de Bruxelles, Brussels, Belgium

Research Interests

• Planning, Coordination, and Navigation in Robot Swarms and in Networked Multi-Robot Systems
• Interaction and Cooperation between Humans and Multi-Robot Systems
• Routing and Control in Sensor and Mobile Ad Hoc Networks
• Bio-Inspired Computing and Swarm Intelligence
• Mathematical and Heuristic Optimization
• Artificial Intelligence

• 

Education

• Diplomate, National Technical University of Athens, Greece
• Ph.D. University of Pennsylvania

Research Interests

• Motion Perception
• Video Segmentation
• Tracking
• Body Pose Estimation
• 3-D Modeling

• 

Education

• B.Tech. Maharaja Agrasen Institute of Technology, New Delhi, India
• M.S. Georgia Institute of Technology

Research Interests

• Designing, Implementing and Testing New Sensing Systems
• Mobile Computing, Sensing, Signal Processing and Machine Learning
• Health Sensing, Technologies for Global Development, and Novel Interactions

• 

Education

• B.S. University of Southern California
• M.S. University of Tokyo, Japan
• Ph.D. University of Tokyo, Japan

Research Interests

• Wearable Cameras
• First-Person Vision
• Activity Forecasting and Prediction
• Inverse Optimal Control
• Pedestrian Detection by Synthesis
• Vision for Navigation for the Blind
• Vision for Upper-Extremity Stroke Rehabilitation
• Deep Learning

• 

Education

• B.S. Kent State University, Ohio
• Ph.D. University of Hawaii

Research Interests

• Combinatorics and Graph Theory
• Ordered Sets
• Lattices
• Coding Theory
• Computer Science and mathematics Curricula for K-12 Students

• 

Education

• Dip.-Ing., Upper Austria University of Applied Sciences, Hagenberg
• Ph.D. Johannes Kepler University, Linz, Austria

Research Interests

• Modeling, Refactoring, Collaboration, and Verification Methods for Hybrid Systems
• Applying Software Engineering Methods to Support System Design and Verification

• 

Education

• Dip.-Inf. Eberhard-Karls-Universität Tübingen, Germany
• Doctoral studies Max-Planck Institute for Intelligent Systems
• Doktor-Ing. Technische Universität Darmstadt, Germany

Research Interests

• Robotics
• Software Engineering
• Human Motor Control
• Computational Drug Design and Neurobiology
• Manipulation
• Planning
• Robot Learning Architectures
• Machine Learning
• Human-Robot Interaction
• Motor Control and Intelligent Autonomous Prosthetics

• 

Education

• B.S. University of Illinois at Urbana-Champaign
• M.S. Kyoto University, Kyoto, Japan
• Ph.D. Kyoto University, Kyoto, Japan

Research Interests

• Human-Machine Communication
• Natural Language Processing
• Machine Translation
• Text Analysis
• Language Processing

• 

Education

• B.S. Carnegie Mellon University
• Ph.D. Georgia Institute of Technology

Research Interests

• Understanding and Analyzing Parallel Programs Using Architecture and Computer Techniques

• 

Education

• B.Tech. Indian Institute of Technology, Bombay, India
• Ph.D. Carnegie Mellon University

Research Interests

• Artificial Intelligence
• Statistical Machine Learning
• Inferring Conclusions from Observations or Data

• 

Education

• B.S. Federal University of Minas Gerais, Belo Horizonte, Brazil
• M.S. Federal University of Minas Gerais, Belo Horizonte, Brazil
• Ph.D. Vienna University of Technology, Austria

Research Interests

• Proof Theory
• Structural Proof Theory
• Automated Deduction and Logical Frameworks for Developing Correct Software

• 

Education

• B.S. University of Colorado, Boulder
• M.S. University of Colorado, Boulder
• Ph.D. Northwestern University

Research Interests

• Robotics and Biologically-Inspired Control
• Subfields Include Fundamental Mechanics
• Motion Planning
• Biological Locomotion
• Snake-Like Robots, Walking Robots, and Nonlinear Control

• 

Education

• Dipl.-Ing. Universitatea Petrol-Gaze din Ploiești, Romania
• B.S. Universidad de Castilla-La Mancha, Spain
• M.S. Eindhoven University of Technology, Netherlands
• Ph.D. Eindhoven University of Technology, Netherlands

Research Interests

• Scaling Up Distributed Software Development
• Diversity in Distributed Software Teams
• Software Engineering Processes
• Productivity and Outcomes in Distributed Software Development
• Collaboration in Online Communities

• 

Education

• B.S. University of California at Berkeley
• M.S. Carnegie Mellon University
• Ph.D. Carnegie Mellon University

Research Interests

• Machine Learning
• Statistics
• Network Analysis
• Algorithms
• Multimedia Databases
• Data Mining
• Advanced Statistical Theory
• Computer Vision

• 

Education

• B.A. Harvard University
• M.S. Massachusetts Institute of Technology
• Ph.D. Massachusetts Institute of Technology

Research Interests

• Programming Language Design
• Software Verification
• Privacy and Security

•