Ayberk Tosun
![Ayberk Tosun](/images/college-eps-only/comp-sci/staff/research-student/tosun-ayberk-cropped-230x230.jpg?quality=80&width=411)
School of Computer Science
Research Student
Contact details
- Address
- School of Computer Science
University of Birmingham
Edgbaston
Birmingham
B15 2TT
- Functional Programming
- Models of Computation
- Implementation of mathematics in proof assistants
- Denotational semantics
- Domain theory
- Pointfree and formal topology
- Higher-order computability