Our Faculty

Jon Berrick

John Berrick
Research Areas
Professor Berrick specialises in algebraic topology and K-theory. He has authored or co-authored three books, and edited several others. He has published over sixty articles, most recently in J Amer Math Soc, Math Annalen, Amer J Math, J Algebra, and J reine angew Math.
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
  • Introduction to Computer Science
  • Introduction to Data Structures and Algorithms

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
  • Statistical Programming
  • Quantitative Reasoning
  • Stochastic Processes

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
  • One real variable
  • Multivariate calculus
  • Mathematical methods for physical scientists

Aquinas Hobor

Research Areas
Dr Hobor’s research focuses on improving the reliability and security of software with an emphasis on formal verification. His three most important publications are Oracle Semantics for Concurrent Separation Logic (ESOP 2008), A Theory of Indirection via Approximation (POPL 2010), and The Ramifications of Sharing in Data Structures (POPL 2013). His research was recognised by the awarding of a Lee Kuan Yew Postdoctoral Fellowship.
See full profile »
Teaching Subjects
  • Introduction to Computer Science

Simon Perrault

Simon Perault
Research Areas
Assistant Professor Simon Perrault's research interest is in the area of Human Computer Interaction, and more specifically on mobile and wearable interaction. As users carry their mobile and wearable devices and can use them anytime under widely different contexts, improving interaction between users and devices is a hard but necessary task.

Dr Perrault aims to make users’ lives easier and enhance the quality of communication between users through their devices. In concrete terms, he designs new interaction techniques and wearable devices, which can be achieved by getting a better understanding of human behaviour in mobile contexts.
See full profile »
Teaching Subjects
  • YSC3207 Principles and Tools of Software Development
  • YSC3217 Programming Operating Systems, Interfaces & eXtras
  • YSC3226 Designing Interactive Systems
  • YCC2135 Hardware and Software Programming for Interactive Systems

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
  • YSC2209 Proof
  • YSC3230 Ordinary & Partial Differential Equations

Matt Stamps

Matt Stamps
Research Areas
Assistant Professor Matthew Stamps' research investigates algebraic, geometric, and topological methods in combinatorics and applied mathematics. Dr Stamps is particularly fascinated by questions that explore how well discrete objects (such as networks and polyhedra) and continuous objects (such as curves and surfaces) model one another, and how answers to such questions can be used for applications in computer science and biology. Graphs, posets, matroids, circle packings, polytopes, manifolds, cell complexes, groups, and modules are just a few of the objects that show up frequently in his work.
See full profile »
Teaching Subjects
  • Geometry & The Emergence of Perspective
  • Introduction to Modern Algebra
  • Discrete Mathematics
  • Scientific Inquiry 2
  • Conceptual Calculus
  • Applied Calculus
  • Creative Problem Solving

 

Robby Tan

Robby Tan
Research Areas
Assistant 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
  • YSC3203 Advanced Algorithms and Data Structures
  • YSC3221 Computer Vision
  • YSC3227 Machine Learning

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
  • YCC1122 Quantitative Reasoning
  • YSC2??? Linear Algebra
  • YSC4203 Topology
  • YSC1204 Statistical Inference