8000
We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 19a2c83 commit ced724cCopy full SHA for ced724c
content/_index.md
@@ -29,9 +29,9 @@ sections:
29
30
31
### Interests
32
- Theoretical foundations of Computer Systems, with a current focus on:
3 6DF1 3
- 1. Dynamic Analysis algorithms for detecting concurrency bugs
34
- 2. Fuzz Testing for Concurrent Software
+ Theoretical foundations of computer systems, with a current focus on:
33
+ 1. Dynamic analysis algorithms for detecting concurrency bugs
+ 2. Fuzz testing for concurrent software
35
3. Algorithmic foundations for analysis problems beyond sequential consistency (weak memory and message passing concurrency)
36
37
### Projects
0 commit comments