Research and work interests

My work and research interests range from Computer Science and Mathematics to Physics.

Computer Science

Interests

  • Functional programming in Haskell, Idris, Agda
  • Reactive programming
    • Soft and hard realtime
    • Embedded systems
  • Verification of reactive programming
  • Type theory

Work

Mathematical physics

Interests

  • Quantum Gravity
    • Extended Topological Quantum Field Theories (ETQFTs)
    • Higher category theory
    • Homotopy type theory and constructive TQFT
    • Topological quantum computing and Quantum programming languages

    Work