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

Update.

This commit is contained in:
Justin Hsu 2020-05-01 16:15:43 -05:00
parent 235bdefd8a
commit 35767cc364
2 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
content/about.md
View File

@ -14,6 +14,8 @@ Logic, and Verification Group](http://pplv.cs.ucl.ac.uk/welcome/) at the
the [Department of Computer Science](https://cis.upenn.edu) at the [University the [Department of Computer Science](https://cis.upenn.edu) at the [University
of Pennsylvania](https://www.upenn.edu). of Pennsylvania](https://www.upenn.edu).
I am funded by an NSF CAREER award and a Facebook Research award.
## 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 can be easy to show correct programs that use **randomization**. Such programs can be easy to show correct

2
content/news.md
View File

@ -1,3 +1,5 @@
+ **04/2020** I received an NSF CAREER award for **Cara: Compositional Analysis
for Randomized Algorithms**!
+ **01/2020** This spring, I'm teaching an undergraduate course **Introduction + **01/2020** This spring, I'm teaching an undergraduate course **Introduction
to the Theory and Design of Programming Languages (CS 538)**, covering Haskell to the Theory and Design of Programming Languages (CS 538)**, covering Haskell
and Rust. Follow along and Rust. Follow along