Contacts
About company
Explyt is the team of passionate entrepreneurs, developers, researchers with 10+ years of experience. Our main focus is to create ideal IDE-based AI agent harness that joins LLM and best practices from formal methods, static analysis and symbolic execution to make AI agent more controllable, reliable and reduce token-consumption.Ilya Antipov CEO is a technology entrepreneur, co-founder, and executive with extensive experience building and leading technology companies. Working in collaboration with the Software Engineering Institute (SEI) at Carnegie Mellon University, he has advised leading software organizations including EPAM-VDI, Exigen Services, Lanit-Tercom, Deutsche Bank, and NetCracker on software process improvement and engineering excellence. Ilya is a graduate of Carnegie Mellon University and has also completed executive education at the Massachusetts Institute of Technology (MIT) and the University of California, Berkeley.Dmitry Mordvinov CSO PhD in Computer Science Associate professor at SPbU ex JetBrains Research, ex Huawei Research Design and implementation of competition-winning engines (TestComp, SBFT, GSAC) Publications in A*/A conferences on formal methods (PLDI, ETAPS, FMCAD, ICSE)Yurii Kostyukov CPO PhD in Computer Science Associate professor at SPbU ex JetBrains Research, ex Huawei Research Design and implementation of competition-winning engines (CHCComp, TestComp) Publications in A*/A conferences on formal methods (HCVS, PLDI, LPAR, FASE)ExplytExplyt is an AI agent for JetBrains IDEs that fixes code with the project facts your IDE already knows. It can run configured tests and builds, increase test coverage with coverage feedback, find where symbols are used, inspect connected library source code, debug with variable values, call stacks and execution paths, apply IDE refactorings, and review code with IDE static analysis β in supported IDEs.Explyt SpringAccelerates Spring application development by minimizing routine tasks. Free for commercial and non-commercial useContacts
Sales Department:sales@explyt.com
Support Service:support@explyt.com
Partnerships and PR:marketing@explyt.com
Vacancies:a@explyt.com
Phone Number:+1 415 7959791
Explicit Insights
16192 Coastal Hwy, Lewes, DE 19958