Tommaso Dreossi
Machine Learning Scientist at Arena Physica
San Francisco, California, United States
Summary
👤
Senior🎓
Top SchoolTommaso Dreossi is a Machine Learning Scientist with 11 years of experience applying advanced ML to scientific and engineering problems, currently building foundation and inverse-design models for electromagnetics at Arena Physica. He has led ML efforts in biotech at insitro—developing self-supervised and computer vision models for high-content cell imaging and ALS target selection—and previously built ranking and NLP systems at Amazon Search. His PhD work on reachability for nonlinear dynamical systems and a UC Berkeley postdoc on testing AI-enabled cyber-physical systems give him a rare blend of formal methods, safety-focused research, and practical ML engineering. Comfortable moving from research to production, he specializes in surrogate modeling, generative diffusion for design, and physics-informed ML pipelines. Based in San Francisco, he pairs deep academic rigor with hands-on product delivery in high-stakes domains.
11 years of coding experience
9 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at Université Grenoble AlpesMaster's degree, Computer Science, Master's degree, Computer Science at Università degli Studi di Udine
English, Italian, French, Spanish
Github Skills (16)
interval-arithmetic9
gazebosim9
tla9
webots9
reachability9
robotics8
dynamical-systems8
ros8
julia7
synthesis7
clock4
alarm4
logic3
temporal3
formal-methods2
Programming languages (5)
Github contributions (5)
shromonag/FalsifyNN
Feb 2017 - Oct 2017
Contributions:46 commits, 42 pushes in 7 months
dreossi/FalsifCPSML
Dec 2016 - Mar 2019
Contributions:19 commits, 16 pushes, 1 branch in 2 years 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.