Areas of Expertise

  • Computable analysis
  • Effective descriptive set theory
  • Game theory and CS

Publications

  1. Gherardi, G., Marcone, A., Pauly, A. Projection operators in the Weihrauch lattice Computability 8 3-4 281 304
  2. Davis, C., Hirschfeldt, D., Hirst, J., Pardo, J., Pauly, A., Yokoyama, K. Combinatorial principles equivalent to weak induction Computability 1 12
  3. Nobrega, H., Pauly, A. Game characterizations and lower cones in the Weihrauch degrees Logical Methods in Computer Science 15 3 1 29
  4. Hirvonen, Å., Kontinen, J., Pauly, A. Continuous Team Semantics Theory and Applications of Models of Computation 11436 278
  5. Kihara, T., Pauly, A. Theory and Applications of Models of Computation 11436 378

See more...

Teaching

  • CS-275 Automata and Formal Language Theory

    This module introduces the notion of grammars for defining the syntax of formal languages, especially programming languages. It introduces the limits of computation using Turing Machines and other models of computation.

  • CS-M25 Research Methodology and Project Specification

    In this modules students are introduced into the topic, the background and the aims of their project. They write a report on a talk related to their topic, a preliminary and a detailed specification which will be the basis of their research project. Guidance as to appropriate research methodologies in provided.

  • CSC368 Embedded System Design

    Embedded systems are information processing systems embedded into enclosing products such as cars, telecommunication or fabrication equipment. They are essential for providing ubiquitous information, one of the key goals of modern information technology. The module will give an overview of embedded system design, relate the most important topics in embedded system design to each other, and provide the students with hands-on experience with typical design challenges in embedded systems. Awareness of propositional and first order logic will help the understanding of this module. Due to an associated lab, a restriction is in place on the number of places available for this module.

  • CSCM68 Embedded System Design

    Embedded systems are information processing systems embedded into enclosing products such as cars, telecommunication or fabrication equipment. They are essential for providing ubiquitous information, one of the key goals of modern information technology. The aim of this module is to provide an overview of embedded system design, to relate the most important topics in embedded system design to each other, and to obtain an appreciation of the model based approach to embedded systems design. The lab provides hands-on experience in the design of embedded systems, based on the Lego-Mindstorms kit. Awareness of logical concepts (propositional logic, first order logic) will help the understanding of this module. Due to the lab, the number of places available for this module is limited. Places will be allocated during the first week of teaching; the allocation criteria will be announced in the first lecture.

  • CSCM70 Mathematical Skills for Data Scientists

    This course is an introductory course to the mathematical methods needed by a data scientist. It covers the basics of algebra, optimisation techniques, statistics, and Fourier analysis. The main goal of the class is for students to gain practical experience of the mathematical methods and tools that are essential in data science and that will be used in the other modules of this programme. The module is aimed at students with basic experience in mathematics.

Supervision

  • First Steps Towards Computable Frame Theory (current)

    MRes
    Other supervisor: Dr Anton Setzer
  • Consequences of demanding that agents employ computable strategies (current)

    PhD
    Other supervisor: Prof Jeffrey Giansiracusa
  • Deep Encoding: Where Genetic Algorithms and Numeral Systems Meet (current)

    MRes
    Other supervisor: Dr Ulrich Berger
  • SAT solver in Haskell: proof of correctness and reduction of problems in NP class to SAT. (current)

    MRes
    Other supervisor: Dr Monika Seisenberger
  • Complexity of Counting N-Queens (awarded 2019)

    MSc
    Other supervisor: Dr Oliver Kullmann