Davide Davoli

Computer Vision Research Engineer at Toyota Motor Europe

Quattro Castella, Emilia-Romagna, Italy
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Davide Davoli is a Computer Vision Research Engineer with eight years of software experience, currently applying deep learning to human and hand pose estimation, action recognition, and image captioning at Toyota Motor Europe. With a strong foundation from a Computer Engineering bachelor's (108/110) and ongoing master's studies, he blends academic rigor with hands-on research and production work. He has a history as a back-end and API developer for web applications, bringing practical skills in building scalable services that complement his vision research. Davide’s profile reflects a rare mix of low-level engineering (C#, .NET, SQL) and cutting-edge ML, enabling him to move models from prototype to integrated systems. Based in Emilia-Romagna, he is driven by AI, NLP and big data, and uniquely versed in both research internships and long-term industry roles that bridge experimentation and deployment.
code8 years of coding experience
job1 year of employment as a software developer
bookMaster's degree, Computer Engineering, Master's degree, Computer Engineering at Università degli Studi di Modena e Reggio Emilia
languagesEnglish
github-logo-circle

Github Skills (8)

abstract-machine6
lambda-calculus6
algorithm4
clang2
kernel2
linux1
linux-kernel1
llvm1

Programming languages (3)

JavaCMathematica

Github contributions (5)

github-logo-circle
This repository contains the formalization of part of the theory behind the Crumbling Abstract Machines, that has been introduced and partially developed in Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri, and Claudio Sacerdoti Coen. 2019. Crumbling Abstract Machines. In Proceedings of ACM Conference (Conference’17). ACM, New York, NY,USA,39 pages.
Contributions:2 releases, 32 commits, 2 pushes in 8 months
abstract-machineabstract-machinesformalizationlambda-calculus
davidedavoli/jasmin

Dec 2024 - Mar 2026

Language for high-assurance and high-speed cryptography
Contributions:10 pushes, 1 branch in 1 year 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.
Request Free Trial