Add NSF honorable mention.
This commit is contained in:
parent
4ffef98583
commit
a9b5175b60
|
@ -8,7 +8,8 @@ Group](http://privacy.cis.upenn.edu). I am very fortunate to be co-advised by
|
|||
Roth](http://cis.upenn.edu/~aaroth).
|
||||
|
||||
I am supported by the Simons Graduate Fellowship in Theoretical Computer
|
||||
Science.
|
||||
Science. Previously, I was awarded an Honorable Mention for the NSF Graduate
|
||||
Research Fellowship Program.
|
||||
|
||||
## Research Interests ##
|
||||
I spend my time thinking about questions in **verification**, **programming
|
||||
|
|
Loading…
Reference in New Issue