Ilya Grishchenko

Ilya Grishchenko is an author at University of California, Santa Barbara specializing in computer science, formal reasoning, and computer systems.

Publications per year

2016–2024

5

Publications

5