We build the
Deterministic Semantics
of Legal Interpretation
Vera Semantica is a project that aims to revolutionize the way the law is interpreted.
What we do?
We are set of experts in the field of law and computer science, with a passion for creating innovative solutions to complex problems. Our team is dedicated to developing cutting-edge technology that can help society better understand and navigate the complexities of the legal system.
IurisSense
Built by legal scholars and computer scientists together — bridging the gap between statutory language and machine-readable knowledge. Grounded in formal ontology and strict semantic rules — no ambiguity, no hidden assumptions, no black-box inference.
Legal Quality Evaluation System
The project aims to develop an advanced, semi-automated tool for assessing the structural and semantic quality of legal regulations. By transforming legal texts into a semi-formal representation (SoLaR), the system enables analysis of complexity, consistency, and interdependencies within legal systems. This approach supports legislators and institutions with data-driven insights, improving transparency, coherence, and predictability of law.
Who are we?
Meet the people behind Vera Semantica — a multidisciplinary group of researchers and engineers united by a shared mission to bring deterministic rigour to legal interpretation.
Mariusz Miąsko, PhD
Project Legal Lead & Legal Theorist
Prof. Mariusz Miąsko is a Professor at the Mikołaj Kopernik University in Warsaw and holds a PhD in Law from the Jagiellonian University, specializing in labour law and transport regulation. He is the author of over 230 legal publications and more than 200 legal interventions submitted to national and EU institutions, actively contributing to legislative processes in the Polish Parliament. Founder and co-owner of the largest legal firm in Poland serving the TSL sector, as well as the creator of multiple software solutions for the transport industry, he brings two decades of high-level legal expertise. He leads the legal domain, overseeing regulatory strategy and all projects requiring advanced legal analysis and domain knowledge.
Marek Krótkiewicz, PhD, DSc
Project IT Lead & Ontology & Metamodelist
Prof. Marek Krótkiewicz, Associate Professor at Wrocław University of Science and Technology and Head of the Laboratory of Semantic Systems and Process Analysis, has over 30 years of experience in knowledge representation, meta-modeling, and the design of complex information systems. As the author of more than 50 scientific publications and long-time leader of the Knowledge & Information Engineering Group (KIEG), he has led and contributed to multiple scientific and commercial projects, and has delivered invited lectures at institutions such as Stanford University and the City University of New York. He holds international certifications in project, program, risk, and change management, along with experience in supervisory boards of state-owned enterprises. At VS, he leads the IT direction, driving innovation in semantic technologies, AI, and knowledge-based systems.
Marcin Jodłowiec, PhD
Fundamental Research & System Architect
Dr. Marcin Jodłowiec is an expert in metamodeling, knowledge representation, and the ontological foundations of information systems. His research focuses on analyzing semantic change in translation processes between metamodels, with emphasis on formal consistency, evolution, and the transformation of metadata structures. He is the author of several dozen scientific publications and has delivered numerous IT projects involving the design and implementation of advanced semantic systems. He combines theoretical insight with engineering practice, including DevOps and software engineering, developing solutions grounded in rigorous ontological principles and formal models of knowledge.
Krystian Wojtkiewicz, PhD
Talker, Handyman & Project Support
Dr. Krystian Wojtkiewicz is a world-class expert in IT project management, electronic document management, and knowledge engineering, bringing strong analytical and technical capabilities to complex initiatives. As a researcher with broad experience in structured information processes, he supports the development of advanced and reliable solutions. He is also a certified accountant, adding a complementary understanding of financial and operational aspects to his technological work.
Media
Vera Semantica leaders talking about deterministic process of law interpretation and semantic representation.