联系方式
关于公司
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)Explyt您的编码、测试和调试伙伴。提高测试覆盖率并将测试集成到现有代码库中。了解项目结构并遵循其风格。适用于 Java 和 Kotlin 语言编写的程序，包括使用 Spring 的程序。Explyt Spring 版通过最大限度地减少日常任务来加快 Spring 应用程序的开发。商用和非商用均免费使用。联系方式
销售部门：sales@explyt.com
支持服务：support@explyt.com
合作伙伴及公关：marketing@explyt.com
招聘信息：a@explyt.com
Phone Number:+1 415 7959791
Explicit Insights
16192 Coastal Hwy, Lewes, DE 19958