Skip to content
Avatar
👨‍💻
fun with scientific computing
👨‍💻
fun with scientific computing

Organizations

@coderefinery @carpentries @AaltoVision @JuliaIntervals @JuliaReach @nordic-rse
Block or Report

Block or report lucaferranti

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
lucaferranti/README.md

Hi there 👋

During the day, I am a PhD student at the University of Vaasa, Finland. My PhD dissertation focuses (broadly speaking) on algebraic methods for positioining. I have experience with several computational algebraic geometry techniques and softwares.

During night, I am the core developer and maintainer of IntervalLinearAlgebra.jl a package for numerical linear algebra using interval arithmetic. More over, I am also co-maintainer and co-developer of multiple packages in the JuliaIntervals organisation.

I am enthusiast about anything related to computational mathematics, from abstract formal methods to low level computer arithmetic implementations, if you have something with equations and code, then I'm interested!

I am also an ethusiast in open source and open science and try to promote awareness and importance of such practices. I am fairly involved in Nordic-RSE, a non-profit organisation to bring together and support research software engineers in the nordics and promote good open source practices in academia.

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: IntervalLinearAlgebra.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

Pinned

  1. Linear algebra done rigorously

    Julia 20 7

  2. Slides for my talk "IntervalAlgebra.jl: linear algebra done rigorously" at JuliaCon 2021

    Julia 10 2

  3. Rigorous floating-point calculations using interval arithmetic in Julia

    Julia 207 58

  4. Parser to translate ITL to Julia

    Julia 4 2

  5. my personal webpage

    HTML 3 1

Contribution activity

July 2022

Created 1 commit in 1 repository

Seeing something unexpected? Take a look at the GitHub profile guide.