Skip to content
View lucaferranti's full-sized avatar
๐Ÿ‘ฝ
Turning alien maths into working code
๐Ÿ‘ฝ
Turning alien maths into working code

Highlights

  • Pro

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
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 Loading

  1. FuzzyLogic.jl FuzzyLogic.jl Public

    Julia package for fuzzy inference

    Julia 29 2

  2. JuliaIntervals/IntervalLinearAlgebra.jl JuliaIntervals/IntervalLinearAlgebra.jl Public

    Linear algebra done rigorously

    Julia 36 9

  3. GeometricTheoremProver.jl GeometricTheoremProver.jl Public

    A Julia library for automated deduction in Euclidean geometry.

    Julia 20 1

  4. JuliaIntervals/IntervalArithmetic.jl JuliaIntervals/IntervalArithmetic.jl Public

    Library for validated numerics using interval arithmetic

    Julia 298 71

  5. ForwardModeAD ForwardModeAD Public

    forward mode automatic differentiation using dual numbers

    Chapel 3

  6. exercism/chapel exercism/chapel Public

    Exercism exercises in Chapel.

    Chapel 3 4