Russian page

Igor Soloviev

Associate Professor

Computer Science Department

St. Petersburg State University

• AI Systems
• Bioinformatics
• Pattern recognition
• Theoretical computer science
• Formal Specifications of Computer-Based Systems

ASM interpreter

Timed ASM simulator