Senior Software Engineer
CurrentI work on the compiler for the CodeQL language that powers GitHub’s code scanning product.
Sep 2022 - Present
AeroLeads people directory · profile
Kasper Svendsen Email & Phone Number
Senior Software Engineer
at
GitHub
LinkedIn matched
✓ Verified Jun 2026
3 data sources
Profile completeness 86%
Current company
Role
Senior Software Engineer
Location
Aarhus, Central Denmark Region, Denmark
Company size
Who is Kasper Svendsen? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Kasper Svendsen is listed as Senior Software Engineer at GitHub, a company with 2579 employees, based in Aarhus, Central Denmark Region, Denmark. AeroLeads shows a matched LinkedIn profile for Kasper Svendsen.
Kasper Svendsen previously worked as Senior Software Engineer at Uber and Software Engineer at Uber. Kasper Svendsen holds Doctor Of Philosophy (Phd), Software Verification from It University Of Copenhagen.
Company email context
Email format at GitHub
This section adds company-level context without repeating Kasper Svendsen's masked contact details.
GitHub
Review company-level records connected to Kasper Svendsen before choosing the right outreach path.
Profile bio
About Kasper Svendsen
I am software engineer with a strong background in theoretical computer science and formal software verification. I am experienced in system design, domain modelling and verification of concurrent and distributed systems. I have worked on the design and implementation of highly-available distributed systems.
Current workplace
Kasper Svendsen's current company
Company context helps verify the profile and gives searchers a useful next step.
Github
10 roles
Kasper Svendsen work experience
A career timeline built from the work history available for this profile.
Senior Software Engineer
I worked as a software engineer on an infrastructure team building Uber's cloud platform and deployment system for stateless services. I have led a project to automate movement of services between Uber's compute clusters to improve resource utilisation. I am currently leading a project to extend Uber's cluster federation layer with support for scheduling.
Sep 2021 - Aug 2022
Software Engineer
May 2020 - Sep 2021
Senior Software Engineer
Tech lead for the MobilePay Point-of-Sale team. I lead the design of a payment API and backend to support mobile in-store payments. I was a subject-matter expert on Cassandra at MobilePay and lead a migration from an active/passive setup to an active/active Cassandra cluster setup across all MobilePay teams.
Jul 2019 - May 2020
Software Engineer
Sep 2017 - Jul 2019
Postdoctoral Researcher
I worked as a postdoctoral researcher at the University of Cambridge on a 2-year postdoc grant from the Danish Council for Independent Research. My research was focused on developing reasoning principles for languages with realistic memory models that account for the observable behaviours that can arise in multi-threaded programs from reordering of memory.
Sep 2015 - Aug 2017
Postdoctoral Fellow
I worked for 2 years as a postdoctoral fellow in the “Logic and Semantics” group at Aarhus University. My research was focused on developing logics for reasoning about lock-free and non-blocking data-structures and developing mathematical techniques for modelling such logics.
Sep 2013 - Aug 2015
Software Engineer
May 2013 - Aug 2013
Postdoctoral Researcher
Oct 2012 - Apr 2013
Research Assistant
During my PhD I worked as a research assistant for three months in the “Programming Principles and Tools” group at Microsoft Research Cambridge as a summer intern. During the internship, I verified the correctness of the C# Joins library – a library developed by Microsoft Research to provide a declarative interface for defining custom synchronization.
Jul 2011 - Sep 2011
Team & coworkers
Colleagues at GitHub
Other employees you can reach at github.com. View company contacts for 2579 employees →
DA
Dahna Ahn
Colleague at GithubSan Jose, California, United States, United States
View →
JE
Jason Etcovitch
Colleague at GithubCanada, Canada
View →
AS
Alex Stockwell
Colleague at GithubPhoenix, Arizona, United States, United States
View →
JA
Justin Alex P.
Colleague at GithubGreater Sydney Area, Australia
View →
AA
Abdulhakeem Adebayo
Colleague at GithubAbuja, Federal Capital Territory, Nigeria, Nigeria
View →
DA
Dax Amin
Colleague at GithubRaleigh, North Carolina, United States, United States
View →
AM
Akash Maurya
Colleague at GithubUttar Pradesh, India, India
View →
ZC
Zack Conord
Colleague at GithubHaymarket, Virginia, United States, United States
View →
MT
Michael Tobin
Colleague at GithubSan Francisco, California, United States, United States
View →
VN
Vincent Nguyen
Colleague at GithubSeattle, Washington, United States, United States
View →
Dahna Ahn
Colleague at GithubSan Jose, California, United States, United States
View →
JE
Jason Etcovitch
Colleague at GithubCanada, Canada
View →
AS
Alex Stockwell
Colleague at GithubPhoenix, Arizona, United States, United States
View →
JA
Justin Alex P.
Colleague at GithubGreater Sydney Area, Australia
View →
AA
Abdulhakeem Adebayo
Colleague at GithubAbuja, Federal Capital Territory, Nigeria, Nigeria
View →
DA
Dax Amin
Colleague at GithubRaleigh, North Carolina, United States, United States
View →
AM
Akash Maurya
Colleague at GithubUttar Pradesh, India, India
View →
ZC
Zack Conord
Colleague at GithubHaymarket, Virginia, United States, United States
View →
MT
Michael Tobin
Colleague at GithubSan Francisco, California, United States, United States
View →
VN
Vincent Nguyen
Colleague at GithubSeattle, Washington, United States, United States
View →
3 education records
Kasper Svendsen education
Doctor Of Philosophy (Phd), Software Verification
Master Of Science In Information Technology (Cand.It), Software Development And Technology
Bachelor Of Science (B.Sc.), Software Engineering
FAQ
Frequently asked questions about Kasper Svendsen
Quick answers generated from the profile data available on this page.
What company does Kasper Svendsen work for?
Kasper Svendsen works for GitHub.
What is Kasper Svendsen's role at GitHub?
Kasper Svendsen is listed as Senior Software Engineer at GitHub.
Where is Kasper Svendsen based?
Kasper Svendsen is based in Aarhus, Central Denmark Region, Denmark while working with GitHub.
What companies has Kasper Svendsen worked for?
Kasper Svendsen has worked for Github, Uber, Danske Bank, University Of Cambridge, and Aarhus University.
Who are Kasper Svendsen's colleagues at GitHub?
Kasper Svendsen's colleagues at GitHub include Dahna Ahn, Jason Etcovitch, Alex Stockwell, Justin Alex P., and Abdulhakeem Adebayo.
How can I contact Kasper Svendsen?
You can use AeroLeads to view verified contact signals for Kasper Svendsen at GitHub, including work email, phone, and LinkedIn data when available.
What schools did Kasper Svendsen attend?
Kasper Svendsen holds Doctor Of Philosophy (Phd), Software Verification from It University Of Copenhagen.
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 Kasper Svendsen you were looking for.
View similar profiles
