| |
UC Davis Website |
| |
Research areas |
| |
Software Reusability PSA |
| |
On Finite Computational Complexity |
| |
Micromort Exposure |
| |
Microsoft Puzzle Safari 2020 |
| |
3rd place match -- Dominion Online tournament 2019 |
| |
Semifinals -- Dominion Online tournament 2019 |
| |
Quarterfinals -- Dominion Online tournament 2019 |
| |
Dominion Online tournament 2019 (Round 5) |
| |
Dominion Online tournament 2019 (Round 4) |
| |
Dominion Online tournament 2019 (Round 3) |
| |
Dominion Online tournament 2019 (Round 2) |
| |
Big Data Health Monitoring Should Be Mainstream Already |
| |
ProvableP vs ProvableNP |
| |
Coq Logo Vector Image |
| |
Traal -- Deciphered Scroll Messages |
| |
Dominion Online tournament -- Round 2 |
| |
Dominion Online tournament -- Round 1 |
| |
Under construction |
| |
On the practically true but theoretically false |
| |
3 facts about the 4-color theorem |
| |
Sleep |
| |
Is NP to P as RE is to R? |
| |
2017 Utah Math Olympiad Announcement |
| |
2017 |
| |
Uncomputable binary relations |
| |
"I'm moving to Canada" |
| |
Day 2: Facebook comments |
| |
First post |
| |
A cute ultrafilter problem (copied from WordPress) |
| |
The first post (copied from WordPress) |