|I live in Gothenburg, Sweden and work at QuviQ. Before moving back to Sweden I was a quant developer in the Quantitative Strategies group at Credit Suisse and lived in the great city of London.I finished my PhD in Computer Science in 2008 at Chalmers University of Technology and my research focused on analysis and verification of programs and how they can be combined. My PhD thesis, entitled Combining and Strengthening Program Analysis and Verification can be found |
here (together with some of my other publications).
My computer science interests include:
- Functional programming: Haskell, OCaml, F#
- Program languages: static analysis, type systems, abstract interpretation
- Program verification: formal proving, interactive theorem proving
- Security: information flow, non-interference and language-based verification
Some of the talks I have given about my work can be found here:
Besides my interest in computer science, I am also a keen dancer (Balboa and Lindy Hop) and photographer and can often be seen carrying a rucksack with camera equipment. You can view some of my pictures in my
I can be contacted by email using <my first name> (at) gedell.se.