Tomas Balyo is a senior AI researcher and responsible for leading the core research team. His research interests include massively parallel satisfiability (SAT) solving, incremental SAT solving, SAT based automated planning and most recently planning action model learning from state traces. He co-organized the international SAT competitions since 2015 and was the initiator of the IPASIR project - the standardization of incremental SAT solving APIs. Besides his academic career he worked in the industry providing product configuration solutions based on SAT solving.

Roman Barták is a full professor of computer science at Charles University, Prague (Czech Republic). He works in symbolic Artificial Intelligence, particularly in automated planning and scheduling, constraint satisfaction, and knowledge representation, applying model-based approaches to design of autonomous agents. He co-organised, among others, international conferences ICAPS 2023, SoCS 2023 and 2014, and FLAIRS 2022 and many workshops and special tracks at conferences.

Filip Dvorak is a Czech-American AI Scientist and CEO of Filuta AI. He received his Ph.D. in AI at Charles University. He focused on AI research at LAAS-CNRS, the University of Toronto, and Stanford Research Institute (formerly PARC) while working on AI applications in Google, Microsoft, and SLB. After exiting Oqton, where he was one of the first employees and led AI, he founded Filuta AI, focusing on building a Composite AI platform that connects fundamental scientific results with industrial applications. Filip is closely connected with universities, research centers, and AI startups in the Czech Republic and the US, coordinating think tanks, research projects, and initiatives to improve AI literacy and awareness in the broader population.

Martin Suda is a part time research scientist at Filuta and a senior researcher at the CIIRC institute of the Czech Technical University in Prague and the head of the Automated Reasoning Group there. His primary research interest is automated theorem proving and how it can be boosted through the techniques of machine learning. He is one of the main developers of the award-winning automatic theorem prover Vampire. He was involved in organizing SAT competitions and multiple symbolic reasoning conferences.

Michal Ficek is a head of data science at Filuta AI. He studied computer science and received later his Ph.D. in Telecommunication for his work on cellular network limits with respect to active mobile phone positioning using active tracking. He spent years on large-scale live stream of telecommunication data, delivering insights into country-wide user mobility, discovering city and countryside usage patterns in time. Michal spent four years in Telefonica I+D, research department of the largest mobile provider of cellular network in Spain. His data engineering and machine learning work spans several research projects with overlap into end-user usage.

Dominik Safranek is at a part time paid internship position at Filuta, and also a team leader at the Institute for Basic Science in South Korea and an associate professor at the University of Science and Technology, with expertise in quantum physics, quantum computing, and mathematical physics. He is an author of 23 scientific papers with research outputs covered in 27 popular-science magazines.

Michael Youngblood is a Distinguished Principal Computer Scientist and Engineer at the Palo Alto Research Center (PARC) and consultant at Filuta AI. His work ranges from theoretical to prototypes to pre-production interactive AI systems focusing on knowledge representation, collaborative conversational systems, human-machine collaboration, and augmenting human cognition. He is the former general and program chair for IAAI, FLAIRS, and AIIDE. He has authored over 100 peer-reviewed publications in interactive artificial intelligence, games, planning, automating intelligent environments, education, and robotics. He currently holds over 10 patents in composite AI or related technologies.

Lukas Chrpa is a part-time research scientist at Filuta and an associate professor at the Czech Technical University in Prague. His work centers on knowledge engineering for domain-independent planning: capturing and encoding domain control knowledge (e.g., macro-operators, entanglements), applying planning to urban traffic control and AUV mission planning, and developing safe methods for non-deterministic settings. He has published 80+ conference papers and 18 journal articles, received grants from the Czech Science Foundation and the Czech Ministry of Education, and co-organized international venues and competitions (e.g., SoCS 2022, KEPS workshops) in automated planning and knowledge engineering.

Tomas Plch is a seasoned AI researcher and professional game developer since 2012 working as an AI team lead on AAA titles like Kingdom Come: Deliverance, Cyberpunk 2077, Star Citizen, Call Of Duty Modern Warfare 2 and 3. Tomas acquired his Ph.D. in 2017 in the area of AI for large scale real-time simulations and prior to that was participating in a wide area of research topics ranging from aerial drones to tactical planning. Tomas is also a seasoned C++ developer with more than 20 years of experience and is an educator by passion.

Stephan Gocht is a freelance AI researcher and deployment specialist. His work focuses on SAT (Satisfiability Testing), constraint programming, integer programming, and planning. He received the ACP Doctoral Research Award for his thesis on certifying correctness in combinatorial algorithms, reflecting his commitment to strengthening both the theory and practice of AI through reliable algorithm certification. Beyond combinatorial problem-solving, he has also worked in other AI areas, including machine learning. This broad skill set allows him to contribute across multiple domains within artificial intelligence.