Page tree
Skip to end of metadata
Go to start of metadata

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 4 Next »

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!

News

Blog stream

Create a blog post to share news and announcements with your team and company.

Recently updated

  • No labels