Isaia Nisoli
Chefe De Departamento at UFRJ - Universidade Federal do Rio de Janeiro
Rio de Janeiro, Brazil
Summary
👤
Senior🎓
Top SchoolIsaia Nisoli is an academic leader and mathematician with eight years of experience advancing research and teaching in ergodic theory, currently serving as Chefe de Departamento and Professor Adjunto at UFRJ in Rio de Janeiro. He holds a PhD in Mathematics from the Università di Pisa and specializes in computer-assisted proofs, blending deep theoretical insight with computational techniques. Known for fostering collaborative research and a dynamic learning environment, he has a track record of mentoring students to appreciate both rigorous mathematics and practical computation. Isaia seeks roles that value innovation and the comprehensive development of students, bringing administrative leadership alongside active scholarship. A less obvious strength is his ability to translate complex proof strategies into reproducible computational workflows, bridging pure theory and practical implementation.
8 years of coding experience
Ph.D., Mathematics, Ph.D., Mathematics at Università di Pisa
Github Skills (74)
gpu10
interval-arithmetic10
science10
julia10
cuda10
machine-learning10
dynamical-systems10
factorization10
computation9
root-finding9
programming-language9
deterministic9
hpc9
petsc9
multiprecision9
Programming languages (7)
Github contributions (5)
JuliaBallArithmetic/BallArithmetic.jl
Feb 2024 - Nov 2024
ball arithmetic in Julia
Contributions:29 PRs, 87 pushes, 16 branches in 9 months
orkolorko/SetRoundingLLVM.jl
Nov 2022 - Feb 2023
Rounding routines through llvm intrinsics
Contributions:1 review, 19 commits, 1 PR in 3 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.