justhsu
/
justin-site
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update.

This commit is contained in:
Justin Hsu 2018-09-03 01:47:05 -05:00
parent 6378c55028
commit 82a50a7807
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
content/about.md
View File

@ -21,11 +21,11 @@ Roth](https://cis.upenn.edu/~aaroth).
## Research Interests ## ## Research Interests ##
I design methods to **formally verify** that programs are correct, especially I design methods to **formally verify** that programs are correct, especially
programs that use **randomization**. Such programs are often easy to show programs that use **randomization**. Such programs can be easy to show correct
correct on paper, but surprisingly challenging for computers to prove correct. on paper, but surprisingly challenging for computers to analyze. Accordingly,
Accordingly, my research blends ideas from two classical areas of computer my research blends ideas from two classical areas of computer science:
science: **randomized algorithms** from theoretical computer science (**TCS**) **randomized algorithms** from theoretical computer science (**TCS**) and
and **formal verification**. **formal verification**.
Drawing inspiration from how humans reason about randomized algorithms, we can Drawing inspiration from how humans reason about randomized algorithms, we can
build simpler and more automated verification techniques. In the past, I've build simpler and more automated verification techniques. In the past, I've