Silvano Dal Zilio
Researcher at CNRS
Greater Toulouse Metropolitan Area France
Summary
👤
Senior🎓
Top SchoolSilvano Dal Zilio is a research scientist with over two decades of experience in formal methods, concurrent and distributed systems, and programming language type systems, currently based in the Greater Toulouse area and researching at CNRS. He has coordinated and participated in numerous European and French-funded projects, supervised PhD and Master students, and serves as an expert adviser to the French ministry of the Economy on R&D tax credit evaluation. His work spans verification of concurrent and real-time systems, mobile and higher-order process calculi, and tools for programming with semi-structured data, with recent focus on resource-aware program analysis and strongly typed languages for semi-structured data. A former researcher at Microsoft Research Cambridge and INRIA, he pairs deep theoretical expertise with practical project experience—including implementing a virtual machine for mobile objects during his PhD. He also teaches graduate courses on XML and Web Services security and evaluates national and regional research initiatives, reflecting a blend of academic leadership and policy-level impact. Colleagues know him for bridging rigorous formal models with applied tool-building in distributed computation.
12 years of coding experience
3 years of employment as a software developer
Master, Computer Science, Master, Computer Science at École normale supérieure de Lyon
English, Italian
Github Skills (30)
rmarkdown8
sat8
abstraction8
rstudio8
hugo-theme8
r8
netlify8
page-builder7
jupyter7
hugo7
reachability7
website-template7
petri-net7
binary-decision-diagrams7
smt6
Programming languages (5)
Github contributions (5)
dalzilio/rudd
May 2021 - May 2021
Rudd is a Binary Decision Diagram (BDD) library written in pure Go.
Contributions:2 releases, 2 reviews, 32 commits in 10 days
bddbinary-decision-diagramsgogolang
dalzilio/mcc
Nov 2017 - Jan 2023
Contributions:4 releases, 108 commits, 63 pushes in 5 years 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.