Franco Raimondi
Professor Of Computer Science at GSSI - Gran Sasso Science Institute
L'Aquila, Abruzzo, Italy
Summary
👤
Senior🎓
Top SchoolFranco Raimondi is a Professor of Computer Science at the Gran Sasso Science Institute with over a decade of academic and industry experience applying logic-based methods to the formal verification of complex, safety-critical systems. His career blends leadership roles—formerly Head of Department at Middlesex University—with hands-on research as an Amazon Scholar on the Prime Video Automated Reasoning team. Franco holds a PhD in Computer Science from UCL and a BSc+MSc in Physics from the University of Milan, a combination that underpins his cross-disciplinary approach to rigorous system analysis. He has a track record of translating theoretical verification techniques into practical tools and collaborations with industry, often operating at the intersection of formal methods and large-scale software systems. Based in L'Aquila, Italy, he brings both institutional leadership and applied research experience to challenging verification problems.
12 years of coding experience
15 years of employment as a software developer
University of MilanHigh School, High School at Liceo Scientifico G.B. Grassi LeccoUniversity College London
English, French, German, Italian
Stackoverflow
1reputation
2kreached
0answers
1question
Github Skills (68)
computer-science10
science10
ranking10
react10
static-analysis9
arduino-ide9
cpp9
ide9
analyzer9
java9
logic8
reasoning8
pong8
arduino8
strongly-typed8
Programming languages (6)
Github contributions (5)
mdxmase/asip-additional-services
Nov 2015 - Jul 2018
This library adds support for additional services for the Asip protocol: sonar distance sensor, servo motors, tones.
Contributions:1 PR, 4 pushes, 1 branch in 2 years 8 months
snmpproberouterospid-controllerheartbeat
mdxmase/asip
Nov 2015 - Jul 2018
Asip is a protocol to control an Arduino board from a computer. The protocol is intended to be a more extensible replacement for Firmata.
Contributions:5 commits, 1 PR, 3 pushes in 2 years 8 months
replacementprotocolpongarduino-libraryesp8266
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.