SK
Retired mathematician and Formal Verification engineer
Competition record
Education
University of Belgrade
Ph.D. · Mathematics
University of Belgrade
M.Sc. · Mathematics
University of Belgrade
B.Sc. · Mathematics
Matematicka Gimnazija
high school
Work
Intel Corporation
Formal Verification engineer
Intel Corporation
Research Scientist
Oregon Graduate Institute at OHSU
Researcher & Adjunct Professor
Portland State University
Visiting Professor
Tufts University
Visiting Professor
Cornell University
Visiting Professor
Matematicki Institut, Beograd
Associate Professor
Sources & notes
Professional information comes from a saved LinkedIn profile indexed 31 July 2026. Affiliations have not been independently rechecked. “Listed current” reflects the source record. Education end dates may be expected graduation dates.
How this collection was made ↗