Gernot's main research interests are in operating systems, especially microkernel-based systems, and their use in embedded systems, OS security and robustness issues, energy/power management, real-time systems and virtualization. Other interests include computer architecture, especially architectural support for operating systems.

Software Engineering, Distributed Systems, Performance Engineering, Middleware and Cloud Architectures

Gerwin's research interest is in Formal Methods, more specifically in interactive theorem proving, software verification, and semantics of programming languages. Generally, he wants software systems to be dependable, and thinks that formal specification and proof can make a very significant contribution towards that goal.

Guido's research interests include non-classical logics, non-monotonic reasoning, formal models of normative reasoning, and their applications to business process modelling. A basic guideline of my research is to investigate conceptually sound formal models and methods grounded on understood principles of the underlying (application) phenomena, and with the aim of providing logic-based computationally oriented solutions.

Kevin's main research interests lie in the area of operating systems, specifically small operating system kernels and the infrastructure required to support larger systems upon them. His current focus includes secure embedded operating systems suitable for formal verification, and for being the basis of secure systems for embedded devices. He also has interests in componentised operating systems (and operating systems in general), security, real-time systems, computer architecture as it pertains to operating systems, and virtualisation.

Liming's main research interests are in software architecture and empirical software engineering.

Advancement of automated deduction, in particular first-order logic theorem proving; applications for software verification, knowledge representation, and business rules/process analysis; exploiting connections into related areas such as logic programming, description logics and nonmonotonic reasoning.

Software engineering, enterprise systems, cloud computing

Brian's research interests include non-monotonic reasoning, formal models of normative reasoning, and their applications. A basic guideline of my research is to improve the computational complexity of defeasible logic (with different variants) and their use in different application domains, such as UAV navigation, business process compliance, etc.

Franck's research interests include infinite state systems, semantics of reactive and timed systems, and verification and control of timed systems.

Jason's main research interests include software & systems process (modeling, simulation, mining, analysis and improvements), empirical and evidence-based software engineering.

Hiroshi's research interests include distributed computing, performance engineering, biologically-inspired computing and model-driven software engineering.

Distributed systems, database systems and transaction processing.

Ihor's research interests include operating systems and distributed systems. With regards to operating systems, he focuses on the design of flexible and modular operating systems. In distributed systems, he is interested in distributed system middleware, supporting services, and management of distributed resources.

Cloud Computing,Software Performance, Scalability and Reliability,Applied Optimization on Software Systems,Service Computing,Middleware,Distributed Systems

June's main research interest is in formal verification and certification of software systems, and more precisely in formal proof of correctness and security properties of programs using interactive theorem proving.

Kai's research mostly attempts to refute the third sentence of the following proverb of unknown (?) origin. "The problem with engineers is that they cheat in order to get results. The problem with mathematicians is that they work on toy problems in order to get results. The problem with program verifiers is that they cheat on toy problems in order to get results."

My research interests center around software architecture and its applications. Over the years, this has ranged from architecture evaluation, design, and documentation to supporting usability through software architecture to requirements elicitation to help define the software architecture to global software development to defining architecture related security controls for the smart grid. Currently, I am interested in the problem of creating trusted connectors within an architecture.

Leonid's research interests are centred around the use of formal techniques for building better operating systems.

Marcello's research interests embrace different topics in the area of Business Process Management (BPM), such as process modelling, process automation and risk-aware BPM. He has a major interest in the management of variability in process-aware information systems and recently in the management of large process model collections. Other interests include the analysis and design of Service Oriented Architectures.

Mark's research interests are in software engineering, including software configuration management, software architecture, software product line development, and software process improvement.

Matthias' research interest is in Formal Methods, more specifically in interactive theorem proving, software verification, and concurrency.

Michael is interested in the use of mathematics and logic to help in the specification and development of computer hardware and software. He is interested both in working on specific applications projects in this area, and in the development of tools to make all such projects easier to work on.

Paul's research interests include software and systems technology adoption and utilisation (such as cloud computing), risk management, project management, software engineering governance, organisational capabilities in software engineering and the alignment of software engineering practices with organisational needs and objectives. He supervise thesis students (Masters and PhD) in these and related research areas.

Peter's research interests are Formal Methods, more specifically he is interested in methods for describing software systems, in particular distributed and concurrent systems such as routing protocols or hybrid systems. For analysing and verifying these techniques he uses algebraic techniques such as process algebra and semirings. Moreover he tries to use off-the-shelf verification tools (automated theorem provers, model checkers) to automate the developed approaches.

Quanqing (QQ) is interested in cloud computing, cloud storage, disaster recovery in the cloud, cloud performance evaluation and monitoring, cloud data management, large-scale distributes systems, Peer-to-Peer computing and Web 2.0.

Rafal is interested in the verification of system-level software, particularly software involving virtual memory such as operating systems. He is very interested in separation logic and the possibilities it creates for making this verification task easier.

My main research interest is to to apply Model-Driven Engineering (MDE) to software architecture performance evaluation, model transformation, and model integration. I am currently using the MDE paradigm to support model-based cloud provisioning and configuration. I am also using the MDE paradigm to predict the optimal cloud configuration for cloud web applications.

Developing software systems that enable machine learning techniques to be applied to big data assets in order to solve problems for enterprise. Currently building on the Hadoop software stack to solve problems in financial services, including: propensity modelling, classification, recommendation and clustering.

Rob strives to create and study comprehensive models and theories of concurrent processes, thereby answering fundamental questions such as: which problems can be solved in a distributed way, using only asynchronous communication, and which cannot. These insights are applied to the modelling, verification and analysis of distributed systems, in particular to popular routing protocols in wireless mesh networks.

Ross' current research interests lie in software development process modelling and improvement, software cost modelling and estimation, software metrics and systems adaptation.

Data Management in Cloud Computing. Database Indexing and Query Optimization Techniques. Graph Data Management and Social Networks. Web Databases, Web 2.0 Technology and Semantic Web. Business Process Modeling and Management.

Toby's research interests broadly concern the application of formal methods to enable the development of secure software. His current research focuses on the formal verification of security properties of capability-based systems and software, in particular information flow security for the seL4 microkernel.

Research interests: 1) Business-driven run-time management (monitoring and control, particularly dynamic adaptation without human intervention) of complex computing/software systems and business processes they implement. 2) Software engineering resulting in self-managing/autonomic computing systems. 3) Emerging distributed computing technologies, particularly for cloud computing, service-oriented computing, mobile computing, and pervasive/ubiquitous computing. 4) Strategies for commercialization of academic software engineering research. 5) Software patents and patent analysis software.

Xiwei is interested in software architecture, including architecture adaptation, evolution, quality attributes, and business process, including modeling, adaption, and management.

Yao is interested in operating system analysis, compiler optimizations, concurrent program analysis and software reliability. He was a developer of Open64 compiler and has rich experience on the internals of mainstream compilers.

Adnene's research interests include Service Oriented Computing, Business Process Management, Cloud Computing, Business Intelligence, Software Engineering and Web Information technologies.

Adrian is interested in the development of operating systems, especially when it involves micro-kernels, Intel architecture and virtualization.

Aleksander is interested in many aspects of Operating System design. He enjoys working at the low level, including working on embedded systems, and is also interested in challenging entrenched abstractions. He is intrigued by formal methods.

Alex is interested in applying formal methods to operating systems and embedded platforms. He is interested in taking theoretical results, such as program synthesis, and applying them to real world problems.

Andreas' current research interests include: software and systems engineering for safety and security critical systems, automata theory, temporal logics and formal languages, runtime verification, and diagnosis.

Anna is currently working on a variety of projects. Her main interest at the moment is in exploring ways of running the realtime Java JVM FIJI on seL4. She is also interested in microkernels and ways of making them scale to multiple cores for the not-to-distant devices of the future, and in such a way that verification is still possible. Finally, Anna is interested in exploring research practise and how lessons from the agile development world can be applied to improving research experience and outcomes.

Software Engineering, Human Computer Interaction and Human Computation

Corey's research interests include formal methods, functional programming and program verification. He is also interested in mathematically analysing graph models of large real world networks.

Dan is a research engineer in the Power Management group. He is interested in operating system design and hardware development, and has dabbled lightly in Linux kernel hacking. He is also interested in website development.

Daniel is interested in interactive theorem provers and proof automation.

Joel's research interests include the application of formal mathematical principles (especially number theoretic concepts) to computing design, as well as the use of formal methods in operating systems.

Dr John Judge is a senior research engineer in SSRG and works with the Broadband and Digital Economy business group. His research interests include and home and zeroconf networking.

Kevin's research interests are primarily in cloud computing, distributed computing, description logics, belief revision and automated reasoning.

Programming Languages and Systems, Type Theory, Category Theory, Concurrent and Distributed Systems, Functional Programming and Formal Verification.

Matthew's current research interests include formal verification and security properties in operating systems.

Nelson's research interests include formal methods, interactive theorem proving, program verification, functional programming and theory of computation.

Peter's research interests include operating system algorithms for scalability, including storage, scheduling, memory management, and locking. He is also interested in systems performance measurement and optimisation. Related hobbies include music, photography and fine wines, these also occasionally lead to research.

Cloud computing

Thomas is interested in program verification, programming languages and operating systems. Specific interests include language semantics, refinement calculi, interactive theorem provers and proof automation approaches.

Tim is interested in the formal modelling and verification of embedded systems; particularly issues of programming language design and semantics for reactive and timed aspects.

Programming Languages, Algorithms and Complexity, Computability, Concurrency, Formal Methods.

Algorithm design and analysis, Computer graphics, Computer vision, Artificial Intelligence

symbolic computation and fourier analysis.

Web application, CMS, mobile application, machine learning and Cloud computing.

Aaron works on operating-system-level approaches to power management, particularly on embedded, mobile and multi-core systems. He is also interested in applications of I/O scheduling on modern storage hardware.

Adam's interests include microkernel based operating systems and embedded systems.

Andrew is interested in proving computer programs to work the way that they should. Currently he is proving initialisation code that sets up the user level programs that run on seL4.

Bernard's research interests include worst-case execution time analysis, process checkpointing, and generally messing with executables.

Off-the-shelf (OTS)-based software development OTS-based software acquisition OTS-based software risks Systematic mapping study Empirical software engineering

My current research area is metrics and countermeasures for side-channel leaks in componentized secure systems. My previous research areas include: High-performance architectural simulation, Domain-specific languages, Theorem Prover performance and automation, Kernel development, Verified software

David's research interests include microkernel-based operating systems, embedded virtualisation, and practical formal verification of C and systems code. His current research involves automatic generation of abstract specifications from low-level C code in Isabelle/HOL.

Jan's research interests include runtime verification, (first order) temporal logics, automata theory, formal methods, software and systems engineering for safety and security critical embedded systems, and especially android security.

John's main research interests are software architecture, and architectural dependency modelling and evaluation.

My research interest is on the general area of deploying data-intensive applications on cloud environments. In particular, I am investigating trade-offs (e.g. performance, scalability, and data consistency) of the different approaches of hosting the database tier (e.g. DaaS, NoSQL systems, virtualized database servers) of software applications in public cloud platforms. My research is mainly focusing on the consumer perspective and aims of bridging the gaps between the SLA requirements of consumer applications (e.g. transaction response time and replication delay) and the SLA guarantees of cloud providers (e.g. availability).

Web Service Composition, Web Service Selection, Automated Negotiation, Combinatorial Auctions

Matthew's research interests include kernel design, component systems, security, correctness and compiler implementation.

Adaptive and Self Managing Systems; Cloud Computing; Software Architecture, and User Interface Design

Michael is interested in operating systems (microkernels, multiprocessing, virtualisation, device drivers, networking, distributed systems), security (trusted computing, cryptography, security protocols) and formal verification (theorem proving, concurrency).

I am interested in Automation and Analysis of Business Process, Business Rules Compliance Management, Defeasible Logic, Non-monotonic Reasoning and their applications to solve complex problems in Large Scale Enterprises.

Qinghua's interest includes business-driven IT management, autonomic computing, IT system and service management, and service-oriented computing.

Cloud Computing, Distributed Computing, Performance Engineering, Software Design and Architecture, Software Engineering, Machine Learning

Shukor's research interests include empirical software engineering, mining software repository and software configuration management.

Sidney's main research interests are formal methods applied to operating system internals such as device drivers and file systems.

My research interests include non-monotonic reasoning applied to legal reasoning and business process compliance. In particular, the aim of my actual research is finding conditions and methodologies to automatically revise a non-compliant business process in case of breaches of norms or not fulfillment of some internal goals, in order to obtain both norm and goal compliance at the end of the revision process.

Van's research interests are cloud computing, distributed computing, empirical software engineering, and software architecture.

Yanyan enjoys operating system development and low-level programming. He reads hardware manuals and produces code running on ARM or Intel CPUs. Currently he is working on the seL4 micro-kernel.

Software architecture, software product line and open platform API design principles.

Zheng Li's main research interests include Empirical Software Engineering　(Software Cost/Effort Estimation), Web Service Composition, and Cloud computing (Evaluation of Commercial Cloud Services).

Embedded systems and design.

My interests are wide, and I always like learning something new. I have specifically focused on areas such as operating systems, security and graphics/cv.

Programming Languages Type Systems Domain specific languages Parallel Computing GPGPU

Mr Leslie's primary research interest is increasing the reliability of operating systems by exploring the performance of user-level device drivers. He is also researching the use of existing operating systems on top of the L4 microkernel.

Computer-Supported Cooperative Work, Adaptive Enterprise Systems, Complex Systems, Software Engineering, Distributed Systems, (some) Algorithms and Data Structures relevant to the other stuff.