Boris Paskalev

CEO

Serial entrepreneur, co-founder DeepCode (acq. by Snyk), EMBA (TRIUM), MSc (MIT).

A serial entrepreneur with a track record of scaling ideas and systems to profitability, he began his career at VistaPrint (now called Cimpress), witnessing its growth from a 30-person team to a unicorn and a successful IPO. He most recently co-founded DeepCode, which was acquired by Snyk, a leading $8B cybersecurity unicorn. He holds an EMBA from the TRIUM program and an MSc in Computer Science from MIT.

Mark Müller

CTO

PhD from ETH Zurich, 15+ papers and 400+ citations. Notable industry collaborations.

PhD from ETH Zurich with a focus on provable guarantees for machine learning. Conducted PhD research on new analysis tools for real-world neural networks, resulting in 15+ papers and 400+ citations. Industry collaborations with Porsche, Mercedes, Airbus, and SBB. Awarded best Master’s and Bachelor’s degrees in Aerospace Engineering.

Veselin Raychev

CHIEF ARCHITECT

Serial entrepreneur, top researcher, co-founder of DeepCode (acq. by Snyk), PhD (ETH Zurich).

With a PhD from ETH Zurich focused on programming paradigms, Veselin has years of industry experience at Google, Motorola and Snyk. He has published leading research on code models, and his PhD thesis was instrumental in starting the area of AI for Code and for this work, he received the ACM Doctoral Dissertation, Honorable mention award (top 3 dissertations in the world across all areas of computer science), a remarkable achievement!
Raychev completed his B.Sc. (2006) and M.Sc. (2009) from Sofia University. Earlier he graduated from the Sofia Math High School (SMG) where as part of Bulgaria’s national team, he won a medal at the International Olympiad in Informatics (IOI).
As a serial entrepreneur, Veselin most recently co-founded DeepCode, which was acquired by Snyk, a prominent $8B cybersecurity unicorn. As part of his work in INSAIT Veselin launched BgGPT: a series of state-of-the-art generative AI for the Bulgarian language.

Prof. Martin Vechev

Co-Founder and Advisor

Professor at ETH Zurich. 200+ publications in AI, networking, programming paradigms and others.

Martin Vechev is a full professor at the department of computer science at ETH Zurich, working in the fields of programming languages, machine learning and computer security. He leads the Secure, Reliable, and Intelligent Systems Lab (SRI), part of the Department of Computer Science.
Vechev is the founder, architect and Scientific Director of INSAIT, a research center in computer science and artificial intelligence in Eastern Europe, created in partnership with ETH Zurich and EPFL.
Vechev also co-founded multiple AI-driven startups, including DeepCode, which was acquired by Snyk, a leading $8B cybersecurity unicorn and ChainSecurity for smart contract security (acquired by PwC.)
He is known for his works in machine learning for code (BigCode), where he introduced statistical programming engines trained on large codebases, reliable and trustworthy artificial intelligence, where he introduced abstract interpretation methods for reasoning about deep neural networks to enable the verification of large machine learning models, and quantum programming, introducing the first high-level programming language and system Silq.
Vechev has received the ACM SIGPLAN Robin Milner Young Researcher Award in 2019, an ERC Consolidator Grant in 2021, a mid-career award given to outstanding researchers with highly promising scientific track records focusing on safe and trustworthy AI, and a highly-visible ERC Starting Grant, which helped shape the area of AI for code. Vechev has also co-authored over 200 research publications, some of which have been recognized with best paper awards, distinguished paper awards, as well as spotlight and oral selections.
Prior to starting at ETH Zurich in 2012, Vechev was a Research Staff Member at the IBM T.J. Watson Research Center in New York, US from 2007 to 2011.

Martin Gogov

CPO

Former CTO of TransportAPI with a BSc & MSc in Informatics and Innovations from Sofia University.

Martin is an experienced professional with a robust background in technology, having served as the CTO of TransportAPI. He holds a BSc and MSc in Informatics and Innovations from Sofia University St. Kliment Ohridski. With his co-founder experience, Martin is dedicated to building products that customers love and is passionate about collaborating with users to deliver impactful projects.

Mustafa Zeqiri

ENGINEER

MSc from ETH Zurich, developed novel AI solutions for solving IQ tests.

Mustafa, who holds a master’s degree in Electrical Engineering from ETH Zurich, has focused his studies on signal processing, artificial intelligence, and robust machine learning. He has contributed to developing novel AI solutions for solving IQ tests and is now dedicated to discovering innovative ways to reduce the bug workload for developers with AI.

Yann Girsberger

ENGINEER

Technologist, former researcher & PhD student in the Adv. Software Tech. Lab (ETH Zurich).

Yann is an avid technologist with a BS and MSc from ETH Zurich, where he also served as a researcher and doctoral student in the Advanced Software Technologies Lab.

Victor Chibotaru

ENGINEER

ML & logical programming paradigms expert, DeepCode employee, Staff Eng. at Snyk, MSc (ETH Zurich).

Victor is an expert in machine learning and logical programming paradigms, with extensive experience in static code analysis and software development tools. He holds an MSc from ETH Zurich, where his focus was on machine learning and programming paradigms. Throughout his career, Victor has worked at prominent companies like Google, DeepCode (as an early employee), and Snyk (as a Staff Engineer). At DeepCode.ai, he contributed to pioneering work on combining machine learning with logical programming to build intelligent static code analysis engines. He also played a key role in developing some of the first in the world large language models (LLMs) tailored specifically for software code.

Batuhan Tomekce

MSC CANDIDATE

MSc candidate and BSc in Information Technology and Electrical Engineering at ETH Zurich

Batuhan is an MSc candidate at ETH Zurich, where he also completed his BSc in Information Technology and Electrical Engineering. He is pursuing his MSc with LogicStar AG as an industry partner of ETH Zurich. Currently, he works as a Research Assistant to Professor Elliott Ash, contributing to advanced research in his field.

Konstantinos Vergopoulos

MSC CANDIDATE

MSc candidate at ETH Zurich, with a BSc and MSc from Aristotle University of Thessaloniki (AUTH).

Kostas is an MSc candidate at ETH Zurich. He previously completed his BSc and MSc at Aristotle University of Thessaloniki (AUTH), where his thesis focused on “Analyzing code bugs based on method call graphs.” He is currently pursuing his MSc with LogicStar AG as an industry partner of ETH Zurich.

Christoph Blumschein

ENGINEER

Engineer focusing on program analysis, compiler technology, and performance optimization.

Christoph Blumschein is a software engineer with a focus on program analysis, compiler technology, and performance optimization. He holds an M.Sc. in IT-Systems Engineering from Hasso Plattner Institute in Potsdam, Germany, and a B.Sc. in Computer Science from TU Berlin, both achieved with distinction. He began gaining industry experience in the automotive sector, and after completing his studies, he further developed his C++ expertise at think-cell. Now, he is enthusiastic about exploring the potential of practical program synthesis using large language models.