I am postdoc in the computer science department in Aalto University. My research interest lies, broadly speaking, at the intersection of mathematics and computer science, particularly scientific computing and computer algebra. More specifically, I work on fuzzy logic, interval arithmetic and exact real arithmetic. see my pinned repositories for more details.
I am also ethusiast about open source, open science, and their promotion in academia. I am involved in Nordic-RSE, a non-profit organisation to bring together and support research software engineers in the northern Europe and promote good research software practices in academia. I have also been involved in organizing JuliaCon, chief editor of JuliaCon proceedings and founder of Julia Users Helsinki.
If you want to collaborate with me, get in touch! If you are expecting me to comment/review some issues/PRs in some repositories I am involved, feel free to ping me every 1-2 days until you get my attention.
- 🔭 I’m currently working on: FuzzyLogic.jl and DedekindCutArithmetic.jl
- 🌱 I’m currently learning: theorem proving in Coq and Lean.
- 👯 I’m looking to collaborate on: anything somehow related to computational mathematics.
- 💬 Ask me about: programming in Julia, numerical methods, interval arithmetic, numerical linear algebra, computational algebraic geometry
- 📫 How to reach me: During my free time, I hang out in the Julia slack and zulip chats and in the coderefinery zulip chat
- 😄 Pronouns: he/him/his