Dániel Darvas
AeroLeads people directory · profile

Dániel Darvas Email & Phone Number

Software Engineer at Google
Location: Zurich, Zurich, Switzerland 6 work roles 4 schools
LinkedIn matched
✓ Verified May 2026 3 data sources Profile completeness 100%

Contact Signals

LinkedIn Profile matched
3 free lookups remaining · No credit card
Current company
Google
Role
Software Engineer
Location
Zurich, Zurich, Switzerland
Company size
219238 employees

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 company with 219238 employees, based in Zurich, 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.

View email format View company profile Management contacts
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
Google
Software Engineer
mountain view, california, united states
Website
google.com
Employees
219238
AeroLeads page
Company profile
View company profile Email format
6 roles · 16 years

Dániel Darvas work experience

A career timeline built from the work history available for this profile.

Software Engineer

Current
Google

Zurich, Switzerland

Jul 2019 - Present

Senior Fellow

Cern

Geneva Area, Switzerland

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.

Jun 2017 - May 2019

Doctoral Student

Cern

Geneva Area, Switzerland

- Development of formal specification languages for PLC-based systems- Formal verification of PLC programs

Sep 2014 - May 2017

Technical Student

Cern

Geneva Area, Switzerland

Formal modeling and verification of PLC programs.

Jul 2013 - Aug 2014

Teaching Assistant

Bute Faculty Of Electrical Engineering And Informatics

Budapest, Hungary

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
Team & coworkers

Colleagues at Google

Other employees you can reach at google.com. View company contacts for 219238 employees →

HA Hilbert Aguilar Hilbert Aguilar Colleague at GoogleQuezon City, National Capital Region, Philippines, Philippines View → DD Darshan Desai Darshan Desai Colleague at GoogleSan Francisco Bay Area, United States View → MB Mahesh Bhoyar Mahesh Bhoyar Colleague at GooglePune, Maharashtra, India, India View → RF Rahmat Fajar Rahmat Fajar Colleague at GoogleWest Java, Indonesia, Indonesia View → AM Ali Molaei Ali Molaei Colleague at GoogleGreater Chicago Area, United States View → GK Gabriela Kirova Gabriela Kirova Colleague at GoogleCounty Dublin, Ireland, Ireland View → EC Ebru Celik Ebru Celik Colleague at GoogleZurich, Switzerland, Switzerland View → SB Swagger Bob Swagger Bob Colleague at GoogleKanayannur, Kerala, India, India View → JM Jessica Moore Jessica Moore Colleague at GoogleBoulder, Colorado, United States, United States View → NK N K N K Colleague at GoogleAmsterdam, North Holland, Netherlands, Netherlands View →
4 education records

Dániel Darvas education

High School

Szent István Gimnázium

Activities and Societies: Specialization: informatics

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, 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 Hilbert Aguilar, Darshan Desai, Mahesh Bhoyar, Rahmat Fajar, and Ali Molaei.

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.

People with similar names

Check these profiles if this is not the Dániel Darvas you were looking for.

Daniel Darvas
Daniel Darvas
Sales & Business Strategy Consultant | Sales Coaching, Business Strategy Consultancy, Manager Mentoring | Want To Double Your Sales? Shoot Me A Dm.
Tel Aviv-Yafo
View similar profiles