Dániel Darvas
Software Engineer at Google
Zurich, Zurich, Switzerland
Summary
👤
Senior🎓
Top SchoolDániel Darvas is a software engineer with 11 years of experience combining deep academic rigor — a summa cum laude Ph.D. in Computer Science — with hands-on industrial tooling at CERN and Google. He led development of PLCverif, a user-facing formal verification framework for PLCs used in critical infrastructure, and has a strong background in Java, Eclipse RCP, EMF/Xtext and model checking techniques. His research on practice-oriented model checking and formal specification bridges theoretical verification and real-world control systems, including applications to cryogenics and ITER interlocks. Comfortable mentoring and teaching, he has supervised students and taught formal methods and software verification at university level. Based in Zurich, he pairs a research mindset with pragmatic engineering, frequently translating formal methods into production-ready tooling.
12 years of coding experience
Doctor of Philosophy (Ph.D.), Computer Science, summa cum laude, Doctor of Philosophy (Ph.D.), Computer Science, summa cum laude at Budapest University of Technology and EconomicsHigh School, High School at Szent István Gimnázium
English, French, Hungarian, German
Github Skills (15)
vba8
xtext7
latex7
zenodo7
robot6
monitoring6
grammars6
batch5
robotics4
python3
appearance3
docker2
xtend1
logos1
eclipse1
Programming languages (7)
Github contributions (5)
darvasd/futar-display
Feb 2016 - Nov 2017
Contributions:9 commits, 8 pushes, 2 branches in 1 year 9 months
darvasd/xtext-docs-gen
Mar 2018 - Jan 2019
A simple overview documentation generation for Xtext grammars.
Contributions:25 commits, 8 pushes, 2 branches in 9 months
grammarsxtext
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.