8000 Fix the inconsistent casing · focs-lab/focs-lab.github.io@ced724c · GitHub
[go: up one dir, main page]

Skip to content

Commit ced724c

Browse files
committed
Fix the inconsistent casing
1 parent 19a2c83 commit ced724c

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

content/_index.md

+3-3
Original file line numberDiff line numberDiff line change
@@ -29,9 +29,9 @@ sections:
2929
3030
3131
### 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
32+
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
3535
3. Algorithmic foundations for analysis problems beyond sequential consistency (weak memory and message passing concurrency)
3636
3737
### Projects

0 commit comments

Comments
 (0)
0