Elia Onofri
Postdoctoral Researcher at Frontiers
Thuwal, Makkah Region, Saudi Arabia
Summary
👤
Senior🎓
Top SchoolElia Onofri is a postdoctoral researcher and applied mathematician specializing in theoretical cryptography and practical cryptanalysis, with 11 years of experience spanning academia and research institutes. Based at KAUST and concurrently teaching at Roma Tre University, he blends deep theoretical work—λ-calculus, linear logic, complexity theory—with hands-on computational modeling in areas like topology, graph theory, and computational biology. His portfolio includes developing in-silico immune system simulations, pedestrian dynamics and IoT data analytics, and coursework from introductory Python to advanced public-key cryptography. A published reviewer and peer reviewer for security journals, he pairs rigorous mathematics with software implementation and parallelization skills, often turning abstract models into reproducible code. Notably, his trajectory shows a rare mix of cryptographic theory, data-driven modeling, and practical optimization for real-world systems such as museum visitor flow and biomedical simulations.
11 years of coding experience
11 years of employment as a software developer
University of the Studies "Roma TRE"Dottorato di ricerca, Mathematics, con Lode, Dottorato di ricerca, Mathematics, con Lode at Università degli studi Roma TRE
Italian, Spanish, English
Github Skills (13)
calculus10
control-flow9
derivative9
reduction9
lambda9
agda8
parallel8
lambda-calculus8
pcm6
italia5
dpc4
javascript3
open-source2
Programming languages (2)
Github contributions (5)
pis147879/PELCR
May 2015 - Jun 2022
Parallel Environment for optimal Lambda Calculus Reduction
Contributions:50 commits, 2 PRs, 37 pushes in 7 years 2 months
calculusparallelcontrol-flowlambda-calculusreduction
pis147879/IN450-2023
Jun 2024 - Sep 2024
Progetti Corso IN450 AA2023-24
Contributions:13 PRs, 29 pushes, 1 branch in 2 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.