From 82a50a78079c1c484f282d95ed2a97904e878e0a Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Mon, 3 Sep 2018 01:47:05 -0500 Subject: [PATCH] Update. --- content/about.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/content/about.md b/content/about.md index 946a9eb..7b71431 100644 --- a/content/about.md +++ b/content/about.md @@ -21,11 +21,11 @@ Roth](https://cis.upenn.edu/~aaroth). ## Research Interests ## I design methods to **formally verify** that programs are correct, especially -programs that use **randomization**. Such programs are often easy to show -correct on paper, but surprisingly challenging for computers to prove correct. -Accordingly, my research blends ideas from two classical areas of computer -science: **randomized algorithms** from theoretical computer science (**TCS**) -and **formal verification**. +programs that use **randomization**. Such programs can be easy to show correct +on paper, but surprisingly challenging for computers to analyze. Accordingly, +my research blends ideas from two classical areas of computer science: +**randomized algorithms** from theoretical computer science (**TCS**) and +**formal verification**. Drawing inspiration from how humans reason about randomized algorithms, we can build simpler and more automated verification techniques. In the past, I've