There in 1989 he completed his dissertation for the Russian Doctor of Sciences degree (similar to habilitation). Krasinsky and colleagues developed and implemented a problem-oriented language SLON and a software system (called the ERA system) for solving problems in dynamic and ephemeris astronomy. (ERA is the acronym for "Ephemerides for Research in Astronomy".)
In 1989, he completed his dissertation for the Russian Doctor of Sciences degree, which is similar to a habilitation. Krasinsky and colleagues developed a problem-solving language called SLON and a software system named ERA (for "Ephemerides for Research in Astronomy") to address problems in dynamic and ephemeris astronomy.