DXLab is a group leading research activities at Devexperts.
Primary research fields:
- concurrent algorithms
- development of new scalable lock-free data structures
- formal proof of correctness
- verification of implementation
- network communications efficiency
- compact data representation
- messaging protocols
Also we develop various software analysis tools for the purpose of Devexperts projects.
Most projects on the Devexperts Code implemented by the group members and our students.
Most of DXLab projects performed in collaboration with students of ITMO University. We provide practical training for students and curate bachelor and higher grade qualification works.
Other universities are welcome!