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
- Best Young Lecturer at NEC'2007 local copy of original document located at JINR site.
- Intel HPC Contest special prize. Read press releases at Intel IT Galaxy site or at ROSNANO site, or local copy.