Skip to content

Scientist · Computer Science

Anatoly Abramovich Shalyto

ITMO University, St Petersburg, Russia

iD0000-0002-2723-2077

Citations, last 5 years: 8
Works, last 5 years: 15
h-index: 15
Citations, all time: 806
In Computer Science: #338,020

Research topics

Formal Methods in Verification36Computer Science
semigroups and automata theory36Computer Science
Evolutionary Algorithms and Applications30Computer Science
Model-Driven Software Engineering Techniques26Computer Science
Logic, programming, and type systems19Computer Science

Recent works

Discussion

Ask Anatoly about their research. When the scientist claims this card, they will see your question.

Start a discussion