AeroLeads people directory · profile
Alex Shaindlin Email & Phone Number
Research Assistant
at
Tampere University
LinkedIn matched
✓ Verified Jun 2026
3 data sources
Profile completeness 100%
Who is Alex Shaindlin? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Alex Shaindlin is listed as Research Assistant at Tampere University, based in Tampere, Pirkanmaa, Finland. AeroLeads shows a matched LinkedIn profile for Alex Shaindlin.
Alex Shaindlin previously worked as Undergraduate Student Researcher at Drexel University and Research Assistant at Penn Medicine (University Of Pennsylvania Health System). Alex Shaindlin holds Master Of Science (M.Sc.), Theoretical Computer Science from Tampere University.
Company email context
Email format at Tampere University
This section adds company-level context without repeating Alex Shaindlin's masked contact details.
Tampere University
Review company-level records connected to Alex Shaindlin before choosing the right outreach path.
Profile bio
About Alex Shaindlin
I'm currently studying for my M.Sc. in Theoretical Computer Science at Tampere University of Technology. My thesis project is on efficient binary field arithmetic implementations for elliptic curve cryptography, but when I'm not working on it I can usually be found studying type theory, category theory, or logic (basically anything that has a page on nLab).In 2015, I worked on a natural deduction proof checker written in Haskell with verified extensions in Coq, as my senior project for my bachelor's degree. In 2013, I worked as a research assistant at the Hospital of the University of Pennsylvania, developing dose calculation software for proton therapy. I co-authored a paper, which can be found below.In my free time, I lift weights, watch sci-fi shows, knit and sew, and cook a lot of vegetarian food.
Listed skills include Coq, Haskell, Programming Language Theory, Type Theory, and 6 others.
Current workplace
Alex Shaindlin's current company
Company context helps verify the profile and gives searchers a useful next step.
6 roles
Alex Shaindlin work experience
A career timeline built from the work history available for this profile.
Research Assistant
CurrentDeveloping an OpenSSL provider for post-quantum cryptography as part of the QUBIP project
Nov 2023 - Present
Research Assistant
Jan 2019 - Aug 2020
Undergraduate Student Researcher
Built a natural deduction proof checker in Haskell with verified extensions in Coq
Sep 2015 - Jun 2016
Research Assistant
Implemented complete unit test suite for in-house proton therapy treatment planning systemCoauthored detailed technical documentationCoded bug fixes and enhancements, including cleanup of legacy code
Mar 2014 - Sep 2014
Data Director
Recruited and trained 30 volunteers for phonebanking, door-to-door canvassing, and data entryMaintained and updated database of 525,000+ voter recordsCoordinated door-to-door canvasses in multiple Pittsburgh suburbs
Sep 2012 - Nov 2012
4 education records
Alex Shaindlin education
Master Of Science (M.Sc.), Theoretical Computer Science
Bachelor Of Science (Bs), Computer Science
Computer And Information Sciences, General
Education record
FAQ
Frequently asked questions about Alex Shaindlin
Quick answers generated from the profile data available on this page.
What company does Alex Shaindlin work for?
Alex Shaindlin works for Tampere University.
What is Alex Shaindlin's role at Tampere University?
Alex Shaindlin is listed as Research Assistant at Tampere University.
Where is Alex Shaindlin based?
Alex Shaindlin is based in Tampere, Pirkanmaa, Finland while working with Tampere University.
What companies has Alex Shaindlin worked for?
Alex Shaindlin has worked for Tampere University, Drexel University, Penn Medicine (University Of Pennsylvania Health System), and Organizing For America.
How can I contact Alex Shaindlin?
You can use AeroLeads to view verified contact signals for Alex Shaindlin at Tampere University, including work email, phone, and LinkedIn data when available.
What schools did Alex Shaindlin attend?
Alex Shaindlin holds Master Of Science (M.Sc.), Theoretical Computer Science from Tampere University.
What skills is Alex Shaindlin known for?
Alex Shaindlin is listed with skills including Coq, Haskell, Programming Language Theory, Type Theory, Formal Methods, Latex, Public Speaking, and C.
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 Alex Shaindlin you were looking for.
Alexander Shaindlin
1 email domain
