grigory fedyukovich is an associate professor in the computer science department at florida state university 

 he's best know for his contributions to model checking and constrained horn clauses 

 his publications can be found at https://scholar.google.com/citations?user=dv7u9JgAAAAJ 

 this page is intentionally kept minimalist

 2026