Dr Nikolaus Huber
Queens' College
- Postdoctoral Research Associate
Contact
Location
- Department of Computer Science and Technology
- William Gates Building, 15 JJ Thomson Avenue, Cambridge, CB3 0FD
About
Nikolaus is a research associate at the Institute of Computing for Climate Science, working in the intersection of programming language research, program verification, and applications to scientific computing. He completed his MSc in Space Engineering at the University of Technology in Luleå, and his PhD in Computer Science at Uppsala University.
Research
Research interests
- Programming languages
- Programme verification
- Type systems
- Programming language implementation
- Scientific computing
Nikolaus's research focuses on verification tasks and programming language concepts specifically for the scientific computing community. This includes work on verification tools for Fortran, and theoretical work on type systems for new domain-specific programming languages.