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.
11 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 (32)
binary-decision-diagrams8
rmarkdown8
rstudio8
reachability8
open-science8
hugo-theme8
r8
jupyter8
netlify8
page-builder8
forestry7
hugo7
sat7
roamresearch7
smt6
Programming languages (4)
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
golangbinary-decision-diagramsdecisionbddpure-go
dalzilio/mcc
Nov 2017 - Jan 2023
Contributions:4 releases, 108 commits, 62 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.