Professor: Faculty of Computer Science / Joint Department with the RAS Institute for System Programming