The Sixth Conference on Software Engineering and Information Management opens its doors to young researchers and practitioners in different areas of computer science and software engineering, providing an opportunity to present their research, discuss state-of-the-art technology and engage in useful networking.Learn More
University of Kent
Mark is a Senior Lecturer at the University of Kent, United Kingdom. He develops rigorous mathematical specifications, testing tools, and verification techniques for real-world concurrent systems, focusing on established interfaces (e.g. C, C++ and, OpenCL) and concrete testable artefacts (e.g. x86, Power, ARM CPUs, and Nvidia, AMD GPUs). His interests span a variety of complementary topics including: empirical testing of the behaviour of hardware and compilers, building formal models of parts of the system, the development of algorithms and data-structures that use fine-grained concurrency, and the verification of those pieces of concurrent code.
We accept papers written in Russian and English. They all must present original work of the authors and be submitted before 22 February. You are welcome to take part in the poster session as well.
We welcome everybody to attend the conference. Please fill in the registration form on the website.