Mikhail Posypkin's Home Page
Summary
- Position: leading researcher at Institute for System Analysis in the Department of Distributed Computing and in
Joint Supercomputer Center.
- Education:
- 1996, Master Degree in Mathemetics and Applied Mathemetics,
Moscow State University
- 2004, Ph. D. in Computer Science,
Institute for System Programming
- Interests: High perfromance computing, parallel computing, compilers, formal methods, optimization transformations.
- Present Research
- Application of parallel and distributed to Branch and Bound algorithms
- Knapsack problem. Have a look of knapsack problem instances generated by my parallel generator here
- Past Research
-
Parallel programs semantics, verification and testing.
-
mpC expressions semantics definition and implementation in the
code generator. My recent results are about automated language test suite generation based on formal
specification. Learn more ....
-
mpC Command Line User Interface - a portable flexible environment
supporting building and running of mpC applications on different
UNIX and Windows clones.
- Publications.
- Book:
- Awards
Links
Classes
© Mikhail Posypkin
E-mail: mposypkin ::at:: mail.ru