Ayberk Tosun

Ayberk Tosun

School of Computer Science
Research Student

Contact details

Email
a.tosun@pgr.bham.ac.uk
Address
School of Computer Science
University of Birmingham
Edgbaston
Birmingham
B15 2TT

For more about Ayberk, please follow the link below:
Ayberk Tosun's personal webpage

Teaching

  • Functional Programming
  • Models of Computation

Doctoral research

PhD title
Pointfree Topology in Univalent Foundations
Supervisors
Professor Martin Escardo and Dr Vincent Rahli

Research

  • Implementation of mathematics in proof assistants
  • Denotational semantics
  • Domain theory
  • Pointfree and formal topology
  • Higher-order computability