Matthis Kruse Email & Phone Number
Who is Matthis Kruse? Overview
A concise factual answer block for searchers comparing this professional profile.
Matthis Kruse is listed as Compiler Engineer at Quantum Machines, a company with 208 employees, based in Saarland, Germany, Germany. AeroLeads shows a matched LinkedIn profile for Matthis Kruse.
Matthis Kruse previously worked as Softwareingenieur at Codasip and Doktorand at Cispa Helmholtz Center For Information Security. Matthis Kruse holds Master'S Degree, Computer Science, (No Thesis) from Universität Des Saarlandes.
Email format at Quantum Machines
This section adds company-level context without repeating Matthis Kruse's masked contact details.
Review company-level records connected to Matthis Kruse before choosing the right outreach path.
About Matthis Kruse
I'm interested in compilers and programming languages.
Matthis Kruse's current company
Company context helps verify the profile and gives searchers a useful next step.
Matthis Kruse work experience
A career timeline built from the work history available for this profile.
Softwareingenieur
Doktorand
CurrentWorking on compositionality of secure compilers and on concrete instances of secure compilers.
Research Intern
Developed theoretical foundations for type-driven branching time verification of a programming language with nondeterminism.
Doktorand
Exploring different research areas, such as partial evaluation, optimal lambda calculus reduction, systolic arrays, as well as automatic differentiation.
Studentische Hilfskraft
Additional hacking on my FPGA implementation of genome sequence alignment
Studentische Hilfskraft
Tutoring a course about theoretical computer science. I graded parts of the final examination and also graded weekly exercise sheets of ~20 students. Also weekly, I discussed the solutions with ~10 students.Topics: finite (non-)deterministic automata, computability theory, basic complexity theory
Studentische Hilfskraft
Tutoring a course about concepts when programming in C++. I graded biweekly exercise sheets of ~50 students and discussed the solutions. The exercises were in the context of bioinformatics.
Studentische Hilfskraft
Tutoring a course about programming concepts. I graded weekly tests of ~40 students, constructed exercises, and helped students achieve their learning objectives.Topics: MIPS-Assembler, C, Java, basic formal methods, testing, hashing, program correctness
Colleagues at Quantum Machines
Other employees you can reach at quantum-machines.co. View company contacts for 208 employees →
Michael Yankelevich
Colleague at Quantum MachinesIsrael, Israel
View →
DM
Danielle Milbaum
Colleague at Quantum MachinesTel Aviv District, Israel, Israel
View →
SA
Søren Andresen
Colleague at Quantum MachinesCopenhagen, Capital Region Of Denmark, Denmark, Denmark
View →
RH
Ravid Hadashian
Colleague at Quantum MachinesIsrael, Israel
View →
MS
Marie Salm
Colleague at Quantum MachinesStuttgart, Baden-Württemberg, Germany, Germany
View →
YS
Yannick Segal
Colleague at Quantum MachinesParis, Île-de-France, France, France
View →
SS
Sharen Samuel - Blank
Colleague at Quantum MachinesIsrael, Israel
View →
NT
Nadav Tikotsky
Colleague at Quantum MachinesTel Aviv-Yafo, Tel Aviv District, Israel, Israel
View →
MK
Morten Kirkelund
Colleague at Quantum MachinesCopenhagen, Capital Region Of Denmark, Denmark, Denmark
View →
JL
Jarosław Loska
Colleague at Quantum MachinesPoland, Poland
View →
Matthis Kruse education
Master'S Degree, Computer Science, (No Thesis)
Bachelor'S Degree, Computer Science
Frequently asked questions about Matthis Kruse
Quick answers generated from the profile data available on this page.
What company does Matthis Kruse work for?
Matthis Kruse works for Quantum Machines.
What is Matthis Kruse's role at Quantum Machines?
Matthis Kruse is listed as Compiler Engineer at Quantum Machines.
Where is Matthis Kruse based?
Matthis Kruse is based in Saarland, Germany, Germany while working with Quantum Machines.
What companies has Matthis Kruse worked for?
Matthis Kruse has worked for Quantum Machines, Codasip, Cispa Helmholtz Center For Information Security, National Institute Of Informatics [Japan] 国立情報学研究所, and Universität Des Saarlandes.
Who are Matthis Kruse's colleagues at Quantum Machines?
Matthis Kruse's colleagues at Quantum Machines include Michael Yankelevich, Danielle Milbaum, Søren Andresen, Ravid Hadashian, and Marie Salm.
How can I contact Matthis Kruse?
You can use AeroLeads to view verified contact signals for Matthis Kruse at Quantum Machines, including work email, phone, and LinkedIn data when available.
What schools did Matthis Kruse attend?
Matthis Kruse holds Master'S Degree, Computer Science, (No Thesis) from Universität Des Saarlandes.
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trial