CEO & Co-founder
COO & Co-founder
Linear Logic was originally developed in 2018 by Miguel Pieters to more efficiently complete university assignments. Existing data annotation services heavily relied upon manual labour which made the process of obtaining an annotated dataset time intensive. With the aim to accelerate A.I. development, the co-founders set out to build a platform capable of meeting today's needs for fast-growing global businesses.
The founding team called the company Linear Logic. Linear logic is a refinement of classical and intuitionistic logic. Instead of emphasizing truth, as in classical logic, or proof, as in intuitionistic logic, linear logic emphasizes the role of formulas as resources. We focus on building state-of-the-art infrastructures to manage the entire Machine Learning lifecycle.
USA
251 Little Falls Drive
Wilmington, New Castle County
Delaware 19808
NETHERLANDS
Science Park 608, Unit K10
1098 XH Amsterdam