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 6 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 the implementation
  • network communications efficiency
  • compact data representation
  • messaging protocols

Also, we develop various software analysis tools for the purpose of Devexperts projects.

Most projects presented on the site have been implemented by the group members and our students.  

Many 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