Eleftherios Ioannidis

Role: Microsoft
Location: Redmond, WA, US
LinkedIn followers: 500 followers

OtherView LinkedIn profile

About Eleftherios Ioannidis

I work in formal verification, static analysis and systems correctness (at scale) in…

Experience

Microsoft
Present

Education

Massachusetts Institute of Technology
Bachelor's degree, Electrical Engineering and Computer Science
2011 — 2015
University of Pennsylvania
Doctor of Philosophy - PhD, Computer Science
Massachusetts Institute of Technology
Master of Engineering - MEng, Computer Programming, Specific Applications
2018 — 2019

Skills

Firmware
Reverse Engineering
C
Programming
Linux
Python
Latex
Llvm
Programming Language Theory
Ios
Matlab
C++
Javascript
Java
Embedded Systems
Haskell
Security
Git
Mysql
Distributed Systems
Operating Systems
Formal Verification
Machine Learning
Open Source
Freebsd
Cryptography
Networking
System Administration
Coq
Computer Security

Contact information

Verified work emails, personal emails, and direct dials — unlocked in one click.

Work email
•••••@microsoft.com
Personal email
•••••@•••••.com
Direct dial
+•• ••• ••• ••••

Unlock verified contacts

Free to start · No credit card required

Current company

Microsoft

Software Development · 10K employees · 1 Microsoft Way, Redmond, Washington, 98052, US

Every company has a mission. What's ours? To empower every person and every organization to achieve more. We believe technology can and should be a force for good and that meaningful innovation contributes to a brighter world in the future and today. Our culture doesn’t just encourage curiosity; it embraces it. Each day we make progress together by showing up as our authentic selves. We show up with a learn-it-all mentality. We show up cheering on others, knowing their success doesn't diminish our own. We show up every day open to learning our own biases, changing our behavior, and inviting in differences. Because impact matters. Microsoft operates in 190 countries and is made up of approximately 228,000 passionate employees worldwide.

microsoft.com

Find verified contacts for anyone on LinkedIn

Unifers gives sales teams verified emails and direct dials, enriched profiles, and outreach that lands in the inbox.

Start for free See how it works

Free plan included · No credit card required

This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.