Graphical Moldels; Graph and Group Theory; Applications to Bioinformatics and Biophysics; Stochastic Texture Generation and Models of Visual Perception.
Advancement of automated deduction, in particular first-order logic theorem proving. Design of calculi (in particular the Model Evolution calculus), implementations (in particular the Darwin system) and their application for software verification and knowledge representation purposes; exploiting connections into related areas such as logic programming, description logics and nonmonotonic reasoning.
Affiliated with:
The Knowledge Representation and Reasoning Group at NICTA, Canberra; and The Diagnosis, Planning and Optimisation Group at the Computer Science Laboratory, Australian National University, Canberra.
Grid and Web Service Architectures; Architectural analysis methods
Non-functional architectural qualities (eg Performance, Dependability, Agility, Usability); Architectural design methods, styles, tactics, and design patterns; Measurement and modeling of non-functional characteristics of Enterprise Systems; Enterprise Integration technologies including XML, JCA, ebXML, Web Services, and Service Oriented Architectures; J2EE, application servers, and JVMs; Automated testing and evaluation of middleware systems; Object-oriented methods and tools; Software Process Improvement.
Duties:
Currently with the NICTA Empirical Software Engineering Program working in the e-government project.
Bio:
Paul has more than 25 years experience in computer science and software development, with experience in diverse areas such as Enterprise architectures and technologies, middleware, Object Orientation and Java, Web and Service Orientation, distributed systems development, knowledge based systems, and software process improvement.
He previously worked for CSIRO (1996-2006): in the ICT Centre (2005-2006), the Software Architectures and Component Technologies project (1999-2003), and the Software Engineering Initiative (1996-1998).
Analysis of algorithms, computational complexity, computational number theory, parallel/distributed computing, parallel computer architectures, randomised algorithms, random number generators, scientific computing.
Duties:
In March 2005 he took up a 5-year position as ARC Federation Fellow in the Mathematical Sciences Institute and the Research School of Information Sciences and Engineering at the Australian National University.
He is also a Chief Investigator in the ARC Centre of Excellence for Mathematics and Statistics of Complex Systems (MASCOS) and head of the Computational Mathematics group in the Mathematical Sciences Institute at ANU.
Tim Brook is the father of three daughters and the husband of a visual artist.
Tim is an independent multimedia artist—among other things, he makes slide-tape works. He blends colour slides on a screen one after the other to produce a sequence of slowly changing images. He describes each slide-tape work as ‘an invitation to make connections’. He’s been making them since 1981, working with composers, performers, theatrical directors and with other visual artists. Once he worked with a Reggae band and once with a Nigerian Rastafarian and four drummers. Now he works mainly with recorded sound and commissioned music.
As a photographer, Tim was originally known for documenting the work of visual and performing artists. Since 1994, most of his work has been a close study of surfaces—their textures, patterns and colours. His corrugated iron series is one result of this study. More recently he has been photographing reflections.
Tim lives in the capital of Australia. His three daughters and three grandchildren all live in a provincial capital.
Wray BUNTINE
Email:
Department:
CSL, NICTA
Research Interests:
Theoretical and applied work in machine learning, probabilistic methods, graphical models, and discrete component methods for text analysis.
Bio:
Undergraduate in mathematics and MQual (1st class) in Computer Science at University of Queensland, PhD. in the area of machine learning in 1992 at UTS (Sydney), and a Docentship at University of Helsinki in 2006. Been on committees and/or reviewing for
AAAI, IJCAI, UAI, KDD, COLT, ICML, ECML-PKDD,
NIPS, Discovery Science, AI and Statistics,
ECIR, WSDM and WWW.
I am a Senior Researcher at NICTA's Canberra Laboratory, where I am a member of the Statistical Machine Learning research group. I am also affiliated to the Australian National University as an adjunct research fellow in the Research School of Information Sciences and Engineering.
Before joining NICTA in January 2005, I have been a post-doctoral fellow for a few months in 2004 with the AICML at the University of Alberta, Canada, where I worked with Dale Schuurmans.
I wrote my PhD thesis in the area of structural pattern recognition. I was supervised by Terry Caelli and Dante Barone. The defense took place in Porto Alegre on July 2004.
Prior to starting my PhD, I worked three years for a Nuclear Medicine company (ADAC Laboratories), which was later bought by PMS. As an undergraduate I did research in theoretical physics with Felipe Rizzato.
Record Linkage, Entity Resolution, Data Mining, Privacy-Preserving Record Linkage and Data Sharing, Machine Learning, Geocoding, Data Pre-Processing, Health Data Mining, Parallel and Distributed Computing, Scientific Computing
Formal verification; Automated theorem proving, especially in relation to metalogic and cut-elimination, termination of term-rewriting; Functional programming.
Duties:
My research work previously at NICTA (and, prior to that, in my position as a Senior Research Associate on an ARC Large Grant held by Dr Rajeev Goré at the ANU) has largely been embedding a display calculus in Isabelle/HOL, and proving, in Isabelle, Belnap's cut-elimination theorem. In the course of work on a stronger result, the strong normalization property of the set of proof reductions used in cut-elimination, we discovered that the published proof of this omits a case, requiring a largely new proof, which we have now completed.
We have realised that this proof can be translated into the context of general term-rewriting theory, and have accordingly derived theorems on termination of term-rewriting.
Recently I have also mechanised some cut-elimination proofs for sequent calculi. I've been doing other things as well, see the publication list on my homepage.
In the last couple of years with NICTA I was mostly working on Isabelle theories for fixed-length words in support of NICTA's L4 MicroKernel Verification project.
Since returning to RSISE I first worked on machine-checked proof theory, doing a proof in Isabelle of the cut-elimination result for provability logic. Now I am working with Alwen Tiu on machine-checked proofs for the spi-calculus. Most recently I have formalised bitrace consistency, and proved results making it clear that consistency of an observer theory is decidable. I have also proved results which show, in combination with other published work, that consistency of a bitrace is decidable.
My main interests are in Gentzen systems for various logics, particularly modal logics and temporal logics. Currently I am working on the intricacies of Display Logic and how to obtain Gentzen systems for hybrid logics like intuitionistic modal logic. With Jeremy Dawson, I am working on formalising proofs of weak and strong normalisation for various calculi in the logical framework Isabelle. With Vaughan Coulthard, Jen Davoren and Thomas Moor I am working on inventing bi-modal tense logics with applications in hybrid systems. I am also interested in software engineering and security aspects of Java applications, particularly for JavaCards.
Duties:
I am a researcher in the Automated Reasoning Group of the Computer Sciences Laboratory (Research School of Information Sciences and Engineering) here at the Australian National University in Canberra.
My main research topic is the diagnosis of discrete-event systems. The basic idea is the following. Consider a system (for instance a machine, such as a computer, a car, a space robot, or machine in a factory, etc.) which performs some actions. The system is subject to faults (such as short-circuit, leaking, break of a component, etc.) which leads to an uncorrect behaviour of the system. The goal is to use the observations (alarms generated by the system, informations provided by sensors, etc.) on the system find out what happened on the system.
More precisely, I am interested in discrete-event systems. Such systems are so that their behaviour is not continuous but can be modeled as a discrete evolution (by events). A set of behaviours on such a system can be represented by an automaton. For instance, the model is often an automaton (or an equivalent representation). I often define the diagnosis as the computation of all the possible behaviours on the system consistent with the observations. This can also be represented by an automaton. The problem is quite well defined, and the main issue is the complexity which is exponential in the number components in the system.
Duties:
I currently hold a position of researcher level B at NICTA, at the Research School of Information Sciences and Engineering. I am working on the SuperCom project: supervision of composite systems. I also do some teaching: AI and Advanced AI courses.
Bio:
I got a Master degree in 2002 in Computer Science(fr) from the INSA de Rennes (fr) (National Institute of Applied Science). The same year, I got a DEA (Master degree more dedicated to researcher).
I worked with Pierre-Yves Glorennec during summer 2001 on fuzzy logic and regression tree.
I did my Master thesis under the supervision of Marie-Odile Cordier and Christine Largouët on the topic of using model-checking techniques to solve diagnosis problems. In October 2002, I started my PhD under the supervision of M-O Cordier and Ch Largouët on decentralised and incremental diagnosis of reconfigurable discrete-event systems. I worked with two roommates: Élisa Fromont (mostly fr) and François Portet. I defended my thesis one week after them (grumpf!) in December 2005. During my PhD and my Master, I did some teaching (introduction to algorithmic, advanced course on compilation, artificial intelligence).
For details concerning my research interests & publications, student project topics, and some pictures of random trees, please see http://users.rsise.anu.edu.au/~patrik/.
Dr Huang is a senior researcher at NICTA (Managing Complexity Research Group), with an adjunct appointment in the School of Computer Science at the Australian National University. His research interests include logical and probabilistic reasoning and their applications, and artificial intelligence in general. He completed his PhD in 2005 in the Computer Science Department at the University of California, Los Angeles as a member of the Automated Reasoning Group.
Dr Huang is available to supervise summer scholar, honors, and PhD projects at the ANU.
Marcus Hutter has worked as an active software developer for various companies while at high school and university. A CAD program for 8 bit computers in Assembler is his most famous achievement from this time. He received a Masters degree in computer science in 1992 at the Munich University of Technology, Germany. After his PhD in theoretical particle physics in 1995, he developed algorithms in a medical software company for 5 years. From 2000 till 2006 he has published about 40 research papers, while working as a Senior Researcher at the Artificial Intelligence institute IDSIA in Lugano, Switzerland. In 2003 he completed his Habilitation at the Munich University of Technology, and has since then been an honorary official lecturer there. In his recently published book "Universal Artificial Intelligence" (Springer, EATCS, 2005), he unifies sequential decision theory with algorithmic information theory. In 2006 he became Associate Professor in the RSISE at the ANU and NICTA adjunct.
Lynette JOHNS-BOAST
Email:
Department:
DCS
Research Interests:
Software Engineering and human aspects thereof, Education, especially as it applies to education of professionals, Women in Engineering
Chris JOHNSON
Email:
Department:
DCS
No Image Available
Richard JONES
Email:
Department:
DCS
Alexei KHOREV
Email:
Department:
DCS
Research Interests:
graphics programming, GPGPU, theory of computation,quantum computing, computational theory of Music
Phil received a BSc and his PhD from The University of Queensland, with study mostly in the area of Operations Research. He worked in an Operations Research consulting firm, and then joined CSIRO where he worked in transport and OR fields for more than 10 years. He left as leader of the Operations Research group.
Query optimization for wireless sensor networks, Design and analysis of routing protocols for wireless ad hoc and sensor networks, design and analysis of parallel and distributed algorithms, data warehousing and OLAP, Combinatorial optimization, graph theory
Biologically-inspired Computing Hierarchical Fuzzy Systems and Aggregations Machine Learning and Evolutionary Computing Measure Theory and Fuzzy Measure Theory Possibility Theory Probability and Fuzzy Probabilities Subjective Logic and Evidence Theories
No Image Available
Brian MOLINARI
Email:
Department:
DCS
Malcolm NEWEY
Email:
Department:
DCS
Research Interests:
formal methods, programming language semantics,theorem proving infrastructure, software engineering
My research interests lie in the areas of formal methods, interactive theorem proving (I am one of the developers of the HOL4 system), and formal semantics for complicated real-world systems.
I am currently involved in the L4.verified project within NICTA (aiming to verify a modern micro-kernel), as well as work with colleagues at the University of Cambridge to produce validated formal descriptions of TCP/IP.
Bio:
I received my PhD in 1999 from the University of Cambridge, and was an undergraduate at Victoria University of Wellington.
Liam has more than 15 years experience in computer science and software engineering research with experience in areas such as software architecture, service-oriented architecture, architecture reconstruction, quality attributes, software product lines, reengineering, reverse engineering, and software maintenance. Liam holds a PhD from the University of Limerick (1996) and a BSc also from the University of Limerick (1989) both in Computer Science/Systems.
Liam is currently with the NICTA's Empirical Software Engineering Program working in the e-Government project. He previously worked for Lero (the Irish Software Engineering Research Centre (2006-2007) as the Research Area Leader for the Software Product Lines Research Area; the Software Engineering Institute (1999-2006) in the Product Lines Systems Program; CSIRO Mathematical and Information Sciences (1996-1998 and 1999); IMRglobal (1998-1999) and the University of Limerick (1989-1994).
Duties:
Principal Researcher in NICTA' Empirical Software Engineering Program, Canberra Research Laboratory.
I have a wide range of interests in symbolic and statistical machine learning, ranging from the theoretical to algorithm implementation and methodologies for their evaluation.
Recently, I have been looking at the following topics:
Statistical learning theory
Spectral methods for dimensional reduction
Empirical Bayes for transfer learning
Duties:
Research Fellow in the Statistical Machine Learning Group at the Computer Sciences Laboratory.
Bio:
After completing honours in pure mathematics at UNSW I went on to do a PhD in machine learning, also at UNSW. During my PhD I interned at IBM Research in New York and worked as a programmer at Proxima Technology and as a machine learning research engineer at Canon Research, both in Sydney.
Artificial Intelligence, knowledge representation, spatial reasoning, temporal reasoning, qualitative reasoning, constraint satisfaction, efficient algorithms, computational complexity, scheduling, cognitive science, spatial information systems, trust and reputation, useful games
Bio:
1996: Master's in Computer Science, University of Ulm, Germany
2000: PhD, University of Freiburg, Germany
2000: Postdoc at the WITAS lab, University of Linkoping, Sweden
2001-2003: Marie Curie Postdoc Fellow at TU Vienna, Austria
2003: Habilitation in Information Systems, TU Vienna, Austria
2003-2006: Researcher at NICTA Sydney, Australia
2006-2008: Fellow at CSL, ANU, Australia
since 2009: Associate Professor at CSL, ANU, Australia
My research interests are in the area of automated decision making and reasoning, especially automated diagnosis, planning and scheduling, and decision making and reasoning under incomplete information.
Duties:
I am a principal researcher at NICTA's Canberra Research Laboratory and I lead the decision making under uncertainty project (DPOLP) and contribute to the supervisory control, diagnosis and reconfiguration of discrete dynamic systems project (SuperCom). I also belong to the Diagnosis, Planning and Optimisation group at the Computer Sciences Laboratory of the ANU.
Bio:
I got my master's and doctoral degrees (in computer science and engineering, and theoretical computer science, respectively) at the Helsinki University of Technology in October 1992 and January 1997, respectively. I spent the academic year 1995-1996 at the University of Texas at Austin as a visiting reseacher.
After getting my doctoral degree, I worked at the Universität Ulm (Germany) as a research scientist until October 1999, then joined the Computer Science Institute of the Albert-Ludwigs-Universität Freiburg (Germany) as a scientific assistant (assistant professor) where I spent the next 6 years doing research and lecturing.
Since January 2006 I am at NICTA's Canberra Research Laboratory with an adjunct appointment at the Computer Sciences Laboratory.
Professor in the Computer Sciences Laboratory, Research School of Information Sciences and Engineering. Head of Automated Reasoning Group since 1991.
Former leader of the Logic and Computation Program in NICTA (National ICT Centre of Excellence, Australia).
Instigator and convenor of the annual Logic Summer School.
Bio:
I was born in England but escaped, taught logic in philosophy departments for several years, escaped again and moved to Canberra in 1988 where I have been automating reasoning ever since.
I like doing this. The ANU is an idyllic place to be a researcher, Canberra is a better city to live in than you would believe from listening to Australians from anywhere else, NICTA is the most exciting research lab I know, and I actually get paid for thinking about logic and hacking code! That's as good as it gets.
Other likes: travel, good food (enthusiastic but inexpert cook), classical music (ditto pianist).
I am working on theoretical foundations for machine learning, in particular for universal reinforcement learning. I have also recently worked on stochastic approximation theory and on body-worn sensor analysis in a project with NICTA and the Australian Institute of Sports. Below follows some of my recent publications:
Semi-markov kmeans clustering and activity recognition from body-worn sensors M. Robards and P. Sunehag ICDM 2009
I did my Ph.D. in theoretical mathematics at Uppsala University in Sweden. The topic of the thesis was interpolation of Banach spaces and Banach Algebras. I then worked at NICTA in Canberra Australia as a machine learning researcher. I worked with Document Analysis, Optimization and activity recognition from body-worn sensor. I am still involved in the last activity by being seconded to NICTA on a 20 percent basis.
I am the Scientific Director of National ICT Australia and a Professor in the Computer Sciences Laboratory, in the Research School of Information Sciences and Engineering at the Australian National University. I am also a Director of Epicorp.
