• Professor, Department of Computer Science

    Research Interests: Software Testing and Analysis, Software Security, Trust-worthy Software Construction

    Read More
  • Assistant Professor, Department of Computer Science

    Research Interests: verification, semantic models, machine-checked proof, and computer security, verifying graph-manipulating programs, developing certified decision procedures, parallel programming, and Bitcoin

    Read More
  • Senior Lecturer, Department of Computer Science

    Research Interests: Context-Aware Computing, Technology in Education, Usability & User Studies, Formal Methods, Software Metrics, Serious Games

    Read More
  • Associate Professor, Department of Computer Science

    Research Interests: Automated Program Verification, Secure and Dependable Software, Type Systems and Program Analyses, Software Specification and Models, Programming Language Design

    Read More
  • Associate Professor, Department of Computer Science

    Research Interests: Software engineering education, Software maintenance, Software reuse, and Software development best practices

    Read More
  • Dean, Professor, Department of Computer Science

    Research Interests: software specification, architecture, design, testing, analysis and maintenance, scalability of architectures for large-scale software systems; probabilistic verification of software systems, the design and validation of mobile, context-aware adaptive systems for ubiquitous computing

    Read More
  • Associate Professor, Department of Computer Science

    Research Interests: design analysis and verification (PAT), context awareness and pervasive computing (Semantic Space), real-time concurrent system specification (TCOZ), web semantics, services, agent and reasoning, formal methods and safety critical systems, object, component, and language semantics

    Read More
  • Associate Professor, Department of Computer Science

    Research Interests: Embedded Systems, Program Verification including Parallel Systems, Computer Security

    Read More
  • Professor, Department of Computer Science

    Research Interests: Programming Language

    Read More
  • Associate Professor, Department of Computer Science

    Research Interests: Specification Mining

    Read More
  • Associate Professor, Department of Computer Science

    Research Interests: Combinatorial Optimization, Defining Evolution, Client-centered Web-based Computing

    Read More
  • Associate Professor, Department of Computer Science

    Research Interests: AI, Constraints, Big Data; Cloud Computing, Programming Languages, Security, Social Networks

    Read More