Denis Fokin

Head of the Laboratory of Software Code Analysis Tools, LRI. Since 2002, I have been developing Java libraries for well-known companies such as Sun Microsystems and Oracle. I contributed to the translation of Java libraries into open source and worked on an alternative implementation, which made it possible to abandon Apple's proprietary implementation and open Java for Mac OS X.

In 2013, I joined JetBrains, where I worked on products of the IntelliJ platform and created an offshoot of OpenJDK, which solved problems with font display on Mac OS X. This change paved the way for the transition of IntelliJ to the seventh version of Java and older. Since 2021, I have been developing static and dynamic analysis tools using formal methods and artificial intelligence technologies.