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

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.

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.

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.

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.

Liming's research interests include software architecture and empirical software engineering.

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.

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.

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.

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.

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

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."

Software engineering, enterprise systems, cloud computing

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.

I am a project leader in the Software Systems Group at NICTA and I am heading the research and development of the Goanna tool that combines model checking with static analysis for C/C++ source code analysis. Goanna is available commercially as well as for academic use. My main research interests are in the formal analysis and verification of large scale real-life embedded systems. This includes working on tools an techniques related to model checking, abstract interpretation, SMT solving and static analysis. Applications areas are software bug detection, automated quality assurance and software security.

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

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.

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.

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.

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.

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.

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.

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.

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

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.

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.

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

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.

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

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

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.

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

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

ICT innovations in Transportation and Logistics, Systems Architecture (Enterprise/Business/IT/Software), Software Engineering, Technology Modernisation, IT Service Management, Intelligent Systems

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.

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.

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

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.

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

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.

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.

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

Software Engineering, Human Computer Interaction and Human Computation

symbolic computation and fourier analysis.

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

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.

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.

Interested in developing software systems that allow value to be extracted from large quantities of data. Primarily focused on leveraging the Hadoop data storage and processing stack and deploying machine learning algorithms on it. Have developed a Scala productivity library for Hadoop called Scoobi - http://github.com/NICTA/scoobi.

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.

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.

Daniel is interested in interactive theorem provers and proof automation.

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

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

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.

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.

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.

Cloud computing

Irving's main interest is in embedded and digital electronics. He is also intrigued by power management and robotics.

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

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).

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

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

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.

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

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.

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

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

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

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

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.

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

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

Jan's research interests include software and systems engineering for safety and security critical systems, runtime verification, temporal logics, mobile and especially android security as well as security standards.

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

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

He is working on the HW/SW Co-design and Co-verification project. He is looking at methodologies and frameworks to improve device driver and the device reliability. He also looking at ways to reuse code generated during pre-silicon validation environment implementation in system software development especially device drivers. Currently, he looking at applying symbolic execution techniques to pre-silicon HW/SW co-verification environments.

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

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

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.

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

Basem's research interests include Cloud Computing, particularly Economics and Elasticity, SLA Management and Architecture of Web Applications on Public Cloud Infrastructure, Service-Oriented Computing, Automated Support for Business Process Management, Business-IT Service Management and Automated Tools for Enterprise Services.

Michael is interested in operating systems, formal verification, multiprocessing, virtualisation, security, cryptography and trusted computing. His PhD is about formal verification of multiprocessor microkernels.

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).

Adam is working on implementing a reliable device driver framework using CAmkES. Research interests include embedded systems and drivers.

Charith is a third year Electrical Engineering student currently working on generating efficiency maps for the MPPT's of the Sunswift Solar Race Team. Other interests include renewable energy, solar cars, embedded systems and power electronics.

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.

Alex is a summer student working on the race strategy for Sunswift's 2011 WSC campaign.