Alex Shaindlin
AeroLeads people directory · profile

Alex Shaindlin Email & Phone Number

Research Assistant at Tampere University
Location: Tampere, Pirkanmaa, Finland 6 work roles 4 schools
LinkedIn matched
✓ Verified Jun 2026 3 data sources Profile completeness 100%

Contact Signals

LinkedIn Profile matched
3 free lookups remaining · No credit card
Current company
Role
Research Assistant
Location
Tampere, Pirkanmaa, Finland

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.

Tampere University
Tampere University
Research Assistant
Tampere, FI
AeroLeads page
6 roles

Alex Shaindlin work experience

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

Research Assistant

Current

Developing an OpenSSL provider for post-quantum cryptography as part of the QUBIP project

Nov 2023 - Present

Undergraduate Student Researcher

Greater Philadelphia Area

Built a natural deduction proof checker in Haskell with verified extensions in Coq

Sep 2015 - Jun 2016

Research Assistant

Greater Philadelphia Area

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

Greater Pittsburgh Area

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

(I studied at Tampere University of Technology from 2016 to 2018, which merged with University of Tampere at the beginning of 2019 to.

Bachelor Of Science (Bs), Computer Science

Activities and Societies: Drexel University Linux User Group, Magic: the Gathering Club, Foundation of Undergraduates for Sexual.

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.

People with similar names

Check these profiles if this is not the Alex Shaindlin you were looking for.

View similar profiles