Roberto Guanciale
Assistant Professor at KTH Royal Institute of Technology
Pisa, Tuscany, Sweden
Summary
👤
Senior🎓
Top SchoolRoberto Guanciale is an Assistant Professor and seasoned software engineer with 13 years of experience bridging academic research and industrial R&D in secure systems, formal verification, and service-oriented architectures. He combines deep hands-on skills in C/C++, Java/J2EE, Python/Zope, OpenGL and SQL with applied research on hypervisors, ARM verification and secure multi-party computation. At KTH he leads work on formal verification for embedded hypervisors while earlier roles blended enterprise Java development and scientific 3D applications, reflecting a rare mix of systems security and visualization expertise. Trained with a PhD in Computer Science from IMT Lucca and a master’s from Università di Pisa, he thrives on integration projects and emerging standards, often connecting theoretical models to practical deployments. An understated strength is his sustained cross-disciplinary collaboration across universities and industry, enabling pragmatic, verifiable solutions in security-critical environments.
12 years of coding experience
8 years of employment as a software developer
Liceo Scientifico Renato DonatelliPhd, Computer Science, Phd, Computer Science at IMT Institute for Advanced Studies LuccaMaster, Computer Science, Master, Computer Science at Università di Pisa
Italian, English
Stackoverflow
1reputation
218reached
0answers
1question
Github Skills (54)
ime9
chrome-extension9
pi9
armv89
video-player9
player9
handwriting8
input-method8
emulation8
raspberry8
risc-v8
raspbian8
proof8
keyboard8
chrome8
Programming languages (8)
Github contributions (5)
guancio/ChromeOsSubtitle
May 2013 - Sep 2016
Contributions:306 commits, 3 PRs, 10 pushes in 3 years 4 months
playerchromevideo-playervideochrome-extension
guancio/SecLecture
Aug 2013 - Oct 2018
Contributions:35 commits, 24 pushes in 5 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.