Formal Verification Research Assistant
Uw Programming Languages And Software Engineering Group
AeroLeads people directory · profile
Mark Pock Email & Phone Number
Formal Verification Research Assistant
at
UW Programming Languages and Software Engineering Group
LinkedIn matched
✓ Verified July 2026
3 data sources
Profile completeness 86%
Current company
Role
Formal Verification Research Assistant
Location
Greater Seattle Area, United States
Who is Mark Pock? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Mark Pock is listed as Formal Verification Research Assistant at UW Programming Languages and Software Engineering Group, based in Greater Seattle Area, United States. AeroLeads shows a matched LinkedIn profile for Mark Pock.
Mark Pock previously worked as Strategic Advisor at Uw Student Technology Fee and Chair at Uw Student Technology Fee. Mark Pock holds Bachelor Of Science - Bs, Computer Science from University Of Washington.
Company email context
Email format at UW Programming Languages and Software Engineering Group
This section adds company-level context without repeating Mark Pock's masked contact details.
UW Programming Languages and Software Engineering Group
Review company-level records connected to Mark Pock before choosing the right outreach path.
Profile bio
About Mark Pock
Mark Pock is a Formal Verification Research Assistant at UW Programming Languages and Software Engineering Group.
Current workplace
Mark Pock's current company
Company context helps verify the profile and gives searchers a useful next step.
Uw Programming Languages And Software Engineering Group
AeroLeads page
6 roles
Mark Pock work experience
A career timeline built from the work history available for this profile.
Strategic Advisor
Current
Jun 2024 - Present
Jun 2023 - Jun 2024
Senate Liaison
Oct 2022 - Jun 2023
Entrepreneur In Residence
Current
Nov 2022 - Present
Cse 160 Teaching Assistant
Dec 2022 - Jun 2023
2 education records
Mark Pock education
Bachelor Of Science - Bs, Computer Science
Bachelor Of Arts - Ba, Philosophy
FAQ
Frequently asked questions about Mark Pock
Quick answers generated from the profile data available on this page.
What company does Mark Pock work for?
Mark Pock works for UW Programming Languages and Software Engineering Group.
What is Mark Pock's role at UW Programming Languages and Software Engineering Group?
Mark Pock is listed as Formal Verification Research Assistant at UW Programming Languages and Software Engineering Group.
Where is Mark Pock based?
Mark Pock is based in Greater Seattle Area, United States while working with UW Programming Languages and Software Engineering Group.
What companies has Mark Pock worked for?
Mark Pock has worked for Uw Programming Languages And Software Engineering Group, Uw Student Technology Fee, Lavin Entrepreneurship Program, and Paul G. Allen School Of Computer Science & Engineering.
How can I contact Mark Pock?
You can use AeroLeads to view verified contact signals for Mark Pock at UW Programming Languages and Software Engineering Group, including work email, phone, and LinkedIn data when available.
What schools did Mark Pock attend?
Mark Pock holds Bachelor Of Science - Bs, Computer Science from University Of Washington.
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 Mark Pock you were looking for.
View similar profiles