AeroLeads people directory · profile

Cas Van Der Rest Email & Phone Number

Formal Methods Engineer at Input Output (IOHK)
Location: The Randstad, Netherlands 5 work roles 3 schools
LinkedIn matched
✓ Verified July 2026 3 data sources Profile completeness 86%

Contact Signals

LinkedIn Profile matched
3 free lookups remaining · No credit card
Current company
Input Output (IOHK)
Role
Formal Methods Engineer
Location
The Randstad, Netherlands
Company size
186 employees

Who is Cas Van Der Rest? Overview

A concise factual answer block for searchers comparing this professional profile.

Quick answer

Cas Van Der Rest is listed as Formal Methods Engineer at Input Output (IOHK), a with 186 employees, based in The Randstad, Netherlands. AeroLeads shows a matched LinkedIn profile for Cas Van Der Rest.

Cas Van Der Rest previously worked as Doctoral Student at Tu Delft and Schaatsinstructeur at Duosport. Cas Van Der Rest holds Master Of Science - Ms, Computing Science from Universiteit Utrecht.

Company email context

Email format at Input Output (IOHK)

This section adds company-level context without repeating Cas Van Der Rest's masked contact details.

Input Output (IOHK)

Review company-level records connected to Cas Van Der Rest before choosing the right outreach path.

View email format View company profile Management contacts
Profile bio

About Cas Van Der Rest

PhD candidate interested in Programming Technology & Functional Programming

Current workplace

Cas Van Der Rest's current company

Company context helps verify the profile and gives searchers a useful next step.

Input Output (IOHK)
Input Output (Iohk)
Formal Methods Engineer
moscow, moscow city, russia
Website
iohk.io
Employees
186
AeroLeads page
Company profile
View company profile Email format
5 roles

Cas Van Der Rest work experience

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

Doctoral Student

Tu Delft

Delft

Dec 2019 - Aug 2024

Schaatsinstructeur

Duosport

Utrecht En Omgeving, Nederland

Oct 2013 - Apr 2019

Developer

Bolas B.V.

Utrecht

Frontend + Backend development in C#, AngularJS, HTML, SQL & CSS

Nov 2017 - Dec 2018
Team & coworkers

Colleagues at Input Output (IOHK)

Other employees you can reach at iohk.io. View company contacts for 186 employees →

JB Jenkins Brandon Jenkins Brandon Colleague at Input Output (Iohk)Spring, Texas, United States View → SC Stefan Contiu Stefan Contiu Colleague at Input Output (Iohk)France View → TW Tobias Weas Tobias Weas Colleague at Input Output (Iohk)Greater Asheville, United States View → DL Dr. Lars Brünjes Dr. Lars Brünjes Colleague at Input Output (Iohk)Regensburg, Bavaria, Germany View → JO John Oshalusi John Oshalusi Colleague at Input Output (Iohk)Abuja, Federal Capital Territory, Nigeria View → FA Fayyaadh A. Fayyaadh A. Colleague at Input Output (Iohk)South Africa View → PC Paul Clark Paul Clark Colleague at Input Output (Iohk)Penryn, England, United Kingdom View → BB Brian Bush Brian Bush Colleague at Input Output (Iohk)Boulder, Colorado, United States View → IH Ian Hansson Ian Hansson Colleague at Input Output (Iohk)Bristol, England, United Kingdom View → MS Michał Skowron Michał Skowron Colleague at Input Output (Iohk)Cracow, Małopolskie, Poland View →
3 education records

Cas Van Der Rest education

Gymnasium

Marnix Gymnasium
FAQ

Frequently asked questions about Cas Van Der Rest

Quick answers generated from the profile data available on this page.

What company does Cas Van Der Rest work for?

Cas Van Der Rest works for Input Output (IOHK).

What is Cas Van Der Rest's role at Input Output (IOHK)?

Cas Van Der Rest is listed as Formal Methods Engineer at Input Output (IOHK).

Where is Cas Van Der Rest based?

Cas Van Der Rest is based in The Randstad, Netherlands while working with Input Output (IOHK).

What companies has Cas Van Der Rest worked for?

Cas Van Der Rest has worked for Input Output (Iohk), Tu Delft, Duosport, Msc Student At Uu, and Bolas B.V..

Who are Cas Van Der Rest's colleagues at Input Output (IOHK)?

Cas Van Der Rest's colleagues at Input Output (IOHK) include Jenkins Brandon, Stefan Contiu, Tobias Weas, Dr. Lars Brünjes, and John Oshalusi.

How can I contact Cas Van Der Rest?

You can use AeroLeads to view verified contact signals for Cas Van Der Rest at Input Output (IOHK), including work email, phone, and LinkedIn data when available.

What schools did Cas Van Der Rest attend?

Cas Van Der Rest holds Master Of Science - Ms, Computing Science from Universiteit Utrecht.

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 Cas Van Der Rest you were looking for.

View similar profiles