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!
Tip | ||
---|---|---|
| ||
This is the home page for your team space within Confluence. Team spaces are great for sharing knowledge and collaborating on projects, processes and procedures within your team. |
- Customise the home page - Click "Edit" to start editing your home page
- Create additional pages - Click "Create" to choose a blank page or template
- Write a blog post - Click "Create" and select "Blog Post" to share news
- Manage permissions - Click "Space Tools" and select "Permissions" in the sidebar to manage what team members see
The team
|
About us
Blog stream
Recently updated
Recently Updated | ||||||||
---|---|---|---|---|---|---|---|---|
|