Alexey Khoroshilov
Director at Linux Verification Center of ISPRAS- Claim this Profile
Contact Information
us****@****om
(386) 825-5501
Gold Feature
Click to upgrade to our gold package
for the full feature experience.
Location
Moscow, Moscow, Russia, RU
Topline Score
Topline score feature will be out soon.
Bio
Generated by
Topline AI
You need to have a working account to view this content.
Join now
You need to have a working account to view this content.
Join now
Experience
-
Linux Verification Center
-
Russian Federation
-
IT Services and IT Consulting
-
1 - 100 Employee
-
Director
-
Sep 2011 - Present
-
-
Chief Architect
-
Jan 2006 - Aug 2011
-
-
-
Moscow State University
-
Russian Federation
-
Higher Education
-
700 & Above Employee
-
Associate Professor
-
Sep 2009 - Present
Formal Methods and Analytical Verification courses, System Programming Department of Faculty of Computational Mathematics and Cybernetics. Formal Methods and Analytical Verification courses, System Programming Department of Faculty of Computational Mathematics and Cybernetics.
-
-
-
ISPRAS (Russian Academy of Sciences)
-
Russian Federation
-
Software Development
-
1 - 100 Employee
-
Senior Researcher
-
1999 - Present
-
-
Education
-
2001 - 2004
Lomonosov Moscow State University (MSU)
PhD, Computer Science -
1996 - 2001
Lomonosov Moscow State University (MSU)
M.S., Computer Science -
1995 - 1996
Physico-mathematical school №18 named after A.N. Kolmogorov
Mathematics
Community
You need to have a working account to view this content.
Click here to join now
