AeroLeads people directory · profile
David Gray Email & Phone Number
Co-founder and Technical Director
at
Formal Systems
LinkedIn matched
✓ Verified May 2026
3 data sources
Profile completeness 100%
Current company
Role
Co-founder and Technical Director
Location
Ireland, Ireland, Ireland
Company size
Who is David Gray? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
David Gray is listed as Co-founder and Technical Director at Formal Systems, a company with 1 employees, based in Ireland, Ireland, Ireland. AeroLeads shows a matched LinkedIn profile for David Gray.
David Gray previously worked as Co-founder/Technical Director at Formal Systems and Senior Lecturer at Dublin City University. David Gray holds Ph.D., Computer Science from Queen'S University Belfast.
Company email context
Email format at Formal Systems
This section adds company-level context without repeating David Gray's masked contact details.
Formal Systems
Review company-level records connected to David Gray before choosing the right outreach path.
Profile bio
About David Gray
iOS/OSX Development; Computer Security; Security Protocols; Cryptography; Software Development
Listed skills include Computer Science, Cryptography, Programming, Computer Security, and 15 others.
Current workplace
David Gray's current company
Company context helps verify the profile and gives searchers a useful next step.
Formal Systems
10 roles · 47 years
David Gray work experience
A career timeline built from the work history available for this profile.
Co-Founder/Technical Director
Current
1995 - Present
~31 yrs 4 mos
Senior Lecturer
1997 - Sep 2018
Co-Founder/Technical Director
Synaptics
Synaptics was awarded the 1993 IBEC/ICSA New Company of the Year.
1991 - 1995
~4 yrs
Technical Director (Ireland)
1988 - 1991
~3 yrs
Senior Software Engineer
1987 - 1988
~1 yr
Lecturer
1983 - 1987
~4 yrs
Lecturer
1981 - 1983
~2 yrs
Member Of Scientific Staff
1980 - 1981
~1 yr
Assistant Professor
1979 - 1980
~1 yr
2 education records
David Gray education
Ph.D., Computer Science
B.Sc., Computer Science, First Class Hons
FAQ
Frequently asked questions about David Gray
Quick answers generated from the profile data available on this page.
What company does David Gray work for?
David Gray works for Formal Systems.
What is David Gray's role at Formal Systems?
David Gray is listed as Co-founder and Technical Director at Formal Systems.
Where is David Gray based?
David Gray is based in Ireland, Ireland, Ireland while working with Formal Systems.
What companies has David Gray worked for?
David Gray has worked for Formal Systems, Dublin City University, Synaptics, Retix, and Bt.
Who are David Gray's colleagues at Formal Systems?
David Gray's colleagues at Formal Systems include Rolf Delof.
How can I contact David Gray?
You can use AeroLeads to view verified contact signals for David Gray at Formal Systems, including work email, phone, and LinkedIn data when available.
What schools did David Gray attend?
David Gray holds Ph.D., Computer Science from Queen'S University Belfast.
What skills is David Gray known for?
David Gray is listed with skills including Computer Science, Cryptography, Programming, Computer Security, C++, Algorithms, Software Development, and Latex.
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 David Gray you were looking for.
View similar profiles
