Meet The LogicStar Team

Build an Agentic SDLC you can trust. Prove where agents can work without human review. From the team behind DeepCode (now Snyk Code), with a decade of ETH Zurich research.

The LogicStar founding team, from the team behind DeepCode
Icons representing fast trade execution and multiple currencies (EUR, USD, GBP)
The LogicStar team skiing together

What We Believe

The goal is simple: know how well an agent works on your software, why it fails, and whether the next version is better.

Monitor continuously

Agent performance changes as models, tools and codebases change. Keep measuring after deployment.

Find the failure modes

Measure what the agent catches, what it misses, and what humans still add.

Test every change

New model, prompt, tool or context? Measure it against the same history and see the difference.

Reality is the grader

Ground truth comes from your repositories, engineers and production outcomes. An LLM should not grade its own homework.

Autonomy is earned

Reduce human review where the evidence says it is safe. Keep people in the loop where they still add value.

Why We Built LogicStar

The LogicStar teamThe LogicStar team

LogicStar was founded in 2024 by engineers and researchers from DeepCode, Snyk, ETH Zurich and INSAIT. We have spent years working on code analysis, AI for software engineering and coding agents.

That work exposed a new problem. Agents can now write and review meaningful amounts of code, but teams still struggle to answer basic questions with data. How good is this agent on our code? What does it miss? What do humans still catch? Did the latest model, prompt or tool actually make it better?
‍
LogicStar turns those questions into measurements using repository history, engineer actions, before-and-after measurement and production outcomes.

Built by people who have done this before

Boris Paskalev
Co-Founder and CEO

Serial entrepreneur with a CS Master's from MIT. Co-founded DeepCode (acquired by Snyk) and led global teams of 100+ across SaaS and AI ventures.

Mark Müller
Co-Founder and CTO

PhD from ETH Zurich in code analysis for neural networks. 30+ research papers, 1300+ citations, with industrial work at Porsche, Mercedes, and Airbus.

Martin Vechev
Co-Founder and Advisor

Martin is a full professor at ETH Zurich and one of Europe’s leading AI researchers, with 200+ publications in AI, networking, programming paradigms and others. He has co-founded five deep tech startups (including two exits) and launched INSAIT, raising over $280M to drive AI innovation.

Research measured on real software

Our research covers repository-level coding tasks, real bug fixes, security, refactoring and program analysis. We use the same approach with software engineering agents. Measure the agent on the software it actually works on. Measure the gaps. Test changes against the same tasks. Keep monitoring as the agent and codebase change.

The founders of LogicStarThe LogicStar team working togetherThe LogicStar team at a holiday gathering at INSAIT headquartersLogicStar engineers working together

We’re not just following the AI revolution.
We’ve helped lead it.

Team

Boris Paskalev
Co-Founder and CEO

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

Mark Müller
Co-Founder and CTO

PhD from ETH Zurich, 30+ papers and 1300+ citations. Notable industry collaborations.

Martin Vechev
Co-Founder and Advisor

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

Martin Gogov
CPO

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

Mustafa Zeqiri
AI Engineer

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

Yann Girsberger
AI Engineer

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

Christoph Blumschein
AI Engineer

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

Pavel Ivanov
Sr Engineer

Software architect, consultant and entrepreneur. 25+ years building software and engineering teams - roots at Mozilla, Telerik (now Progress), SiteGround, Payhawk, LimeChain and more.

Yosif Yosifov
Sr Engineer

15+ years scaling cloud platforms and engineering teams

Iskra Lumbeva
Engineer

Software engineer with 7+ years of experience in backend systems, previously at HPE, Coca-Cola HBC, and OfficeRnD.

David Kandler
Head of Business Development

Former Managing Director of START Summit. Studies at HSG (University of St. Gallen)

Alex Thillen
AI Engineer

MSc from ETH Zurich, built AI-driven productivity tools used by thousands, previously at UBS.

Alessandra Galli
Operations Manager

Project and operations leader with experience across AI research, MedTech compliance, and organizational development, previously at INSAIT and Zimmer Biomet.

LogicStar logo

Know where your agents fail

Then make them better

Build an Agentic SDLC you can trust. Prove where agents can work without additional human review.

A forward-deployed engineer, plus the platform, measured on your own repositories.

Screenshot of LogicStar generating production-ready pull requests with 100 percent test coverage, static analysis, and regression validationScreenshot of LogicStar generating production-ready pull requests with 100 percent test coverage, static analysis, and regression validation