Software Engineer
Current
Jul 2019 - Present
AeroLeads people directory · profile
Dániel Darvas Email & Phone Number
Software Engineer
at
Google
LinkedIn matched
✓ Verified July 2026
3 data sources
Profile completeness 100%
Current company
Role
Software Engineer
Location
Zurich, Switzerland
Company size
Who is Dániel Darvas? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Dániel Darvas is listed as Software Engineer at Google, a with 219238 employees, based in Zurich, Switzerland. AeroLeads shows a matched LinkedIn profile for Dániel Darvas.
Dániel Darvas previously worked as Senior Fellow at Cern and Doctoral Student at Cern. Dániel Darvas holds Doctor Of Philosophy (Ph.D.), Computer Science, Summa Cum Laude from Budapest University Of Technology And Economics.
Company email context
Email format at Google
This section adds company-level context without repeating Dániel Darvas's masked contact details.
Google
Review company-level records connected to Dániel Darvas before choosing the right outreach path.
Profile bio
About Dániel Darvas
Ph.D. in Computer Sciences (in a CERN-TU Budapest joint programme), M.Sc. in Computer Engineering. Experienced in Java, Eclipse-based development, testing and formal verification; happy to learn new technologies. At CERN I was the lead developer of PLCverif, a user-friendly formal verification tool to analyse PLC programs. PLCverif is developed at CERN Beams Department, funded by the Knowledge Transfer Group. During my B.Sc. and M.Sc. studies, I was working on symbolic model checking algorithms, especially for bounded model checking. My Ph.D. thesis is about practice-oriented model checking and formal specification solutions, targeting the formal analysis of PLC-based industrial control systems.
Listed skills include Java, Eclipse, Model Checking, C#, and 21 others.
Current workplace
Dániel Darvas's current company
Company context helps verify the profile and gives searchers a useful next step.
Google
6 roles · 17 years
Dániel Darvas work experience
A career timeline built from the work history available for this profile.
Senior Fellow
I am working on PLCverif, an automated formal verification framework to ensure safety and improve the quality of PLC programs operating critical installations. This is a project funded by the CERN Knowledge Transfer group, with the aim of making the results achieved over the last years applicable outside of CERN too.Applied tools and technologies: Java, Eclipse RCP, EMF, Xtext, Xtend, NuSMV, Maven, Tycho, Gitlab CII am also involved the application of formal verification in real-life PLC-based systems, such as various cryogenic magnet testing safety systems or parts of ITER's interlock control system.In addition, I am responsible for the supervision of a technical student working on advanced unit and integration testing solutions for Siemens PLC programs.
Jun 2017 - May 2019
Doctoral Student
- Development of formal specification languages for PLC-based systems- Formal verification of PLC programs
Sep 2014 - May 2017
Jul 2013 - Aug 2014
Teaching Assistant
Courses: Operating systems (1 semester); Intelligent system management (1 semester); Formal methods (4 semesters); Software verification techniques (1 semester); Software and systems verification (2 semesters)
2010 - 2017
~7 yrs
Course Instructor Of Theory Of Databases Couse
Sep 2011 - Dec 2012
Team & coworkers
Colleagues at Google
Other employees you can reach at google.com. View company contacts for 219238 employees →
JL
Joanne Luzon
Colleague at GoogleMetro Manila, Philippines
View →
NJ
Nicole James
Colleague at GoogleIreland
View →
JM
Jaba Mitra
Colleague at GoogleDelhi, India
View →
RW
Ryan W.
Colleague at GoogleNew Taipei City, Taiwan, Province Of China
View →
LB
Lourmanys Barrera
Colleague at GoogleSeattle, Washington, United States
View →
DN
Duc Nguyen
Colleague at GoogleUnited States
View →
HE
Hanifa Elwan
Colleague at GoogleKota Tangerang, Banten, Indonesia
View →
CI
Carlos Izidio
Colleague at GoogleFoz Do Iguaçu, Paraná, Brazil
View →
EF
Erika Ferreiro
Colleague at GoogleMexico
View →
PM
Paul Mcconnell
Colleague at GoogleIreland
View →
Joanne Luzon
Colleague at GoogleMetro Manila, Philippines
View →
NJ
Nicole James
Colleague at GoogleIreland
View →
JM
Jaba Mitra
Colleague at GoogleDelhi, India
View →
RW
Ryan W.
Colleague at GoogleNew Taipei City, Taiwan, Province Of China
View →
LB
Lourmanys Barrera
Colleague at GoogleSeattle, Washington, United States
View →
DN
Duc Nguyen
Colleague at GoogleUnited States
View →
HE
Hanifa Elwan
Colleague at GoogleKota Tangerang, Banten, Indonesia
View →
CI
Carlos Izidio
Colleague at GoogleFoz Do Iguaçu, Paraná, Brazil
View →
EF
Erika Ferreiro
Colleague at GoogleMexico
View →
PM
Paul Mcconnell
Colleague at GoogleIreland
View →
4 education records
Dániel Darvas education
Doctor Of Philosophy (Ph.D.), Computer Science, Summa Cum Laude
Master Of Science (Msc), Computer Engineering, Excellent With Highest Honours (4.95/5.0)
Bachelor Of Science (Bsc), Computer Engineering, Excellent With Highest Honours (4.84/5.0)
High School
Szent István Gimnázium
FAQ
Frequently asked questions about Dániel Darvas
Quick answers generated from the profile data available on this page.
What company does Dániel Darvas work for?
Dániel Darvas works for Google.
What is Dániel Darvas's role at Google?
Dániel Darvas is listed as Software Engineer at Google.
Where is Dániel Darvas based?
Dániel Darvas is based in Zurich, Switzerland while working with Google.
What companies has Dániel Darvas worked for?
Dániel Darvas has worked for Google, Cern, and Bute Faculty Of Electrical Engineering And Informatics.
Who are Dániel Darvas's colleagues at Google?
Dániel Darvas's colleagues at Google include Joanne Luzon, Nicole James, Jaba Mitra, Ryan W., and Lourmanys Barrera.
How can I contact Dániel Darvas?
You can use AeroLeads to view verified contact signals for Dániel Darvas at Google, including work email, phone, and LinkedIn data when available.
What schools did Dániel Darvas attend?
Dániel Darvas holds Doctor Of Philosophy (Ph.D.), Computer Science, Summa Cum Laude from Budapest University Of Technology And Economics.
What skills is Dániel Darvas known for?
Dániel Darvas is listed with skills including Java, Eclipse, Model Checking, C#, Latex, Petri Nets, Presentation Skills, and Teaching.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trialPeople with similar names
Check these profiles if this is not the Dániel Darvas you were looking for.
View similar profiles
