LogicStar AG, a Switzerland-registered company and spinoff from INSAIT (the Institute for Computer Science, Artificial Intelligence), is driven by a passionate team of entrepreneurs, technologists, and researchers with deep ties to ETH Zurich. Leveraging extensive expertise in program analysis and AI, and recognized for impactful research and deep tech publications, we tackle some of the most costly challenges in software development—validating, fixing, and reviewing bugs, including those generated by AI. We’re reshaping the future of complex software maintenance and operation.
Office: LogicStar AG, Konradstrasse 20, 8005 Zürich