Research areas: Data Management and Data Analysis | Databases | Data Mining | Query Processing | Machine Learning
Google Scholar profile |
Personal webpage
Research areas: Computer Science | Programming | Logic | Semantics
Google Scholar profile |
Personal webpage
Research areas: Algorithms | Data Structure
(part-time)
Research areas: Human-Computer Interaction | HCI | CSCW | Interaction Design | Participatory Design
Google Scholar profile |
Personal webpage
Research areas: Theoretical Computer Science | Algorithms | Artificial Intelligence | Algorithmic Game theory
Google Scholar profile
Personal webpage
Research areas: Cryptography | Computational Number Theory | Quantum Information | Algorithms
Google scholar profile |
Personal webpage
Research areas: Visualization | Information visualization | Human Computer Interaction | Visual Analytics | Big data
Google Scholar profile |
Personal webpage
Research areas: Ubiquitous Computing | HCI | Visual Analytics | Hypermedia
Google Scholar profile |
Personal webpage
Research areas: Data Structures | Computational Geometry | Theoretical Computer Science | Machine Learning | Complexity Theory
(part-time)
Research areas: Object-Oriented Programming | Object Technology | Software Systems | Pervasive Computing
Google Scholar profile |
Personal webpage
Research areas: Programming Languages| Software Engineering | Program Analysis | Static Analysis | Software Testing
Research areas: Cryptography | Distributed Systems | Blockchain
Google scholar profile |
Personal webpage
Research areas: Computer Science | Cryptography | Secure Computation<
Research areas: Interaction Design | Human Computer Interaction | Shape-Changing Interfaces | Tangible User Interfaces | Child Computer Interaction
Google Scholar profile |
Personal webpage
Research areas: Formal Methods | Verification and validation | High Performance Model Checking
Google Scholar profile |
Personal webpage
Research areas: Theoretical Computer Science | Data Structures | Algorithms | Computational Geometry
Research areas: Cryptographic Engineering ECC| PBC | Electronic Voting
Google Scholar profile |
Personal webpage
Research areas: Programming Languages | Computer Security
Google Scholar profile |
Personal webpage
Research areas: Human-Computer Interaction | Participatory Design | Computer Supported Collaborative Work
Research areas: Distributed Systems | Peer to Peer Networking | Cyber Foraging | Hypermedia
Google Scholar profile |
Personal webpage
Research areas: Computational Complexity Theory | Algorithms | Algorithmic Game Theory
Research areas: Multimodal Interaction | Mobile Interaction | Multi-Touch Techniques | Human-Computer Interaction
(part-time)
Google Scholar profile |
Personal webpage
Research areas: Data Management | Data Mining | Privacy | Artificial Intelligence
Google Scholar profile | Personal webpage
Research areas: Human Computer Interaction | Interactive Systems
Google Scholar profile |
Personal webpage
Research areas: Programming Languages | Compilers | Static Analysis | Functional Programming | Logic Programming
Google Scholar profile |
Personal webpage
Research areas: Graph Mining | Database Usability | Machine Learning | Data Mining
Google Scholar profile |
Personal webpage
Research areas: Formal Methods | Programming Languages | Algorithmic Verification | Concurrency | Evolutionary Game Theory
Google Scholar profile |
Personal webpage
Research areas: Visual Analytics | Information Visualization
Google Scholar profile |
Personal webpage
Research areas: Categorical Type Theory | Semantics | Program Verification | Blockchain
Google Scholar profile |
Personal webpage
Research areas: Programming Languages | Type Theory | Logic | Semantics
Research areas: Programming languages | Relaxed memory models | Systems programming
Research areas: Human Computer Interaction | Eye Tracking | Ubiquitous Computing
Google Scholar profile |
Personal webpage
Research areas: HCI | Fabrication | Engineering | Interactive Systems
Research areas: Cryptography | Combinatorics
(part-time)
Research areas: Data Mining | Algorithms | Graph Mining | Information Propagation | Social Influence Analysis
Research areas: Human-Computer Interaction | Proxemics | Mixed Reality Collaboration
Google Scholar profile
Personal webpage
Research areas: Programming Languages | Logic | Cryptography | Type Theory | Fomal Methods