Thanks to visit codestin.com Credit goes to github.com
We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent eca21a6 commit b605a6fCopy full SHA for b605a6f
content/_index.md
@@ -29,7 +29,7 @@ sections:
29
30
31
### Interests
32
- Theorectical foundations of Computer Systems, with a current focus on:
+ Theoretical foundations of Computer Systems, with a current focus on:
33
1. Dynamic Analysis algorithms for detecting concurrency bugs
34
2. Fuzz Testing for Concurrent Software
35
3. Algorithmic foundations for analysis problems beyond sequential consistency (weak memory and message passing concurrency)
0 commit comments