FormaliSE 2026
Sun 12 - Mon 13 April 2026 Rio de Janeiro, Brazil
co-located with ICSE 2026
Anatoly Krasnovsky

Registered user since Sat 14 Jun 2025

Name:Anatoly Krasnovsky
Affiliation:Department of Computer Science and Engineering, Innopolis University; MB3R Lab, 420500, Innopolis, Russia
Research interests:Math modeling; Machine learning; Compositional data; Formal methods

Contributions

Show activities from other conferences

ICSE 2026-profile
View general profile