Our Faculty

Bruno Bodin

Research Areas
Dr Bodin’s current research interests include performance analysis and optimisation; embedded systems and robotic applications. His work on dataflow analysis and compilation has been adopted by Kalray, a semiconductor company making a many-cores system-on-chip for embedded systems. He also leads the design and development of SLAMBench, a performance evaluation framework for Simultaneous Localisation and Mapping systems (SLAM) that is used by industry partners. Overall, Dr Bodin has published over 20 papers in premier international journals and conferences in his areas: ASPLOS, DAC, EMSOFT, ICRA, PACT.
See full profile »
Teaching Subjects

Olivier Danvy

Research Areas
Professor Danvy is interested in all aspects of programming languages, from their logic and semantics to their implementation, including programming, transforming programs, program transformations, and reasoning about programs and about program transformations (for one man’s program is another program’s data). As a Scheme programmer, he is familiar with parentheses and he is not afraid to use them. Also, for several years now, he has become convinced that the Coq Proof Assistant is the greatest thing since sliced bread and that it has the potential to transcend Computer Science college education, so watch this space. He is also interested in scientific communication.
See full profile »
Teaching Subjects

Michael Gastner

Research Areas
Dr Gastner is interested in the mathematical modelling and analysis of complex systems. His interdisciplinary research includes work on social, biological and technological networks, as well as economic geography and cartography. In parallel, he maintains an active research agenda in statistical physics, especially percolation theory.
See full profile »
Teaching Subjects

Andreas Heinecke

Research Areas
Dr Heinecke’s research focuses on applied harmonic analysis, in particular frame theory, time-frequency analysis and wavelets along with their applications to signal and image processing. His interests also include functional analysis and the theory of Banach spaces.
See full profile »
Teaching Subjects

Maria De Iorio

Research Areas
Professor Maria De Iorio's research focuses on Bayesian statistics and how to apply Bayesian methods to analyse data, Bayesian Nonparametrics, Biostatistics, Medical Statistics, Genomics, Metabonomics.
See full profile »
Teaching Subjects

Ilya Sergey

Research Areas
Assoc Prof Ilya Sergey does research in programming language theory, including, but not limited to types, semantics, software verification, and program synthesis. His particular areas of interest include:
- Applied logic for program verification (especially for concurrency and distributed systems);
- Design and implementation of programming languages;
- Static program analysis (in particular, in application to higher-order and concurrent programs).
See full profile »
Teaching Subjects

Dave Smith

Dave Smith
Research Areas
Assistant Professor David Smith is an applied mathematician, working on partial differential equations and the spectral theory of linear differential operators. He looks into solving problems motivated by Physics, and studying the solution methods used. I am particularly interested in boundary value problems, with nonstandard boundary conditions that complicate the problem. Once a solution has been obtained, he is interested in looking for efficient ways to describe that solution.
See full profile »
Teaching Subjects

Robby Tan

Robby Tan
Research Areas
Associate Professor Robby Tan's main research is in computer vision and deep learning (machine learning). Computer vision is to make computers "see" the world through images and video, and machine learning is a probabilistic artificial intelligence that learns itself through data. Computer vision and machine learning (or recent deep learning) are useful for many applications like self-driving cars, automatic surveillance, robot's eyes, crowd monitoring, etc. Both are part of Artificial Intelligence.
See full profile »
Teaching Subjects

Timothy Wertz

Research Areas
On the more mathematical side, one of Dr Timothy Wertz's areas of concentration is studying the mathematical properties of models of physical systems. For example, the motion of an electron through a semi-conductor with impurities is given by the Anderson model, which gives rise to a lot of interesting mathematics. Such models belong to a larger class of mathematical objects, and we can learn about specific models by studying properties of the abstract collection.

Pedagogically, Dr Wertz is interested in team-based and flipped classroom approaches to mathematics education and quantitative literacy for non-mathematicians.
See full profile »
Teaching Subjects