Egor Bogomolov

EB

Statistics

Publications

5

Citations

180

H-Index

5

Active since

2019

Egor Bogomolov is an author at University of Colorado Boulder specializing in formal methods, program analysis, and software engineering.

Publications per year

2019–2024

5

Publications

5