From 35767cc3646eac78ec54b47292495a7a3d39ec6e Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Fri, 1 May 2020 16:15:43 -0500 Subject: [PATCH] Update. --- content/about.md | 2 ++ content/news.md | 2 ++ 2 files changed, 4 insertions(+) diff --git a/content/about.md b/content/about.md index 17df97c..64a0f12 100644 --- a/content/about.md +++ b/content/about.md @@ -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 of Pennsylvania](https://www.upenn.edu). +I am funded by an NSF CAREER award and a Facebook Research award. + ## Research Interests ## I design methods to **formally verify** that programs are correct, especially programs that use **randomization**. Such programs can be easy to show correct diff --git a/content/news.md b/content/news.md index c5fac48..77b6620 100644 --- a/content/news.md +++ b/content/news.md @@ -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 to the Theory and Design of Programming Languages (CS 538)**, covering Haskell and Rust. Follow along