Independent research laboratory for Computer Science and Information Technology. We study programming languages, compilers, virtual machines and high performance algorithms.