About me

• Name: Oleg
• Last name: Lobachev
• Email:
• Project homepage: SPICA Project

Research interests

• Computer algebra and symbolic computation
• Functional programming languages, esp. Haskell
• Parallel functional languages, like GpH or Eden
• Multiple residue arithmetic
• Dependently typed languages, esp. Agda

Publications

All my publications are linked at the Eden Group page.

Teaching

May it be fortunate or not, but I focus at research for now.