I am a postdoc in Dmitriy Traytel's group in the section for Software, Data, People & Society (SDPS) in the Department of Computer Science at the University of Copenhagen. I am employed from August 2024 to August 2026. I teach Software Development for Digital Health for 4th-semester Health and IT students.

Contact: asfr@di.ku.dk

This homepage was built using Forester. Use Ctrl-k (Cmd-k) to find subpages, or start from one of these:

• Weblog
• Software I enjoy
• Recent Work
• Personal Bibliography
• Curriculum Vitae

I also host a couple of tools:

• Isabelle Snippets
• Bibliography Templating
• The Woods (don't go there)