School of Computing Science

Staff Profiles

Dr Lukasz Mikulski

Visiting Researcher

Background

Lukasz is conducting research concerning the fundamental aspects of theory of concurrent and distributed systems. Lukasz is also developing new techniques and algorithms for checking the functional correctness of concurrent and distributed systems and preparing a new application for collaborative research with Newcastle University. The expected outcomes of Lukasz’s visit include, research papers submitted to leading Computer Science journals and the relevant professional conferences and workshops.

Publications