From 13aaf3fa147a50227637f9be815dc9c0c0ad5fe2 Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Mon, 12 Jan 2015 16:17:38 +0100 Subject: [PATCH] Bold some links. --- content/about.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/content/about.md b/content/about.md index cfe1030..d2d667d 100644 --- a/content/about.md +++ b/content/about.md @@ -9,13 +9,13 @@ Roth](http://cis.upenn.edu/~aaroth). ## Research Interests ## I spend my time thinking about questions in **verification**, **programming -languages**, and **algorithms**. My work has mostly centered on [differential -privacy](http://en.wikipedia.org/wiki/Differential_privacy), a rigorous +languages**, and **algorithms**. My work has mostly centered on [**differential +privacy**](http://en.wikipedia.org/wiki/Differential_privacy), a rigorous definition of privacy that is currently under extensive study. From the verification side, I am interested in using formal methods---such as -[type systems](http://en.wikipedia.org/wiki/Type_system) and [program -logics](http://en.wikipedia.org/wiki/Hoare_logic)---to verify that programs are +[**type systems**](http://en.wikipedia.org/wiki/Type_system) and [**program +logics**](http://en.wikipedia.org/wiki/Hoare_logic)---to verify that programs are differentially private. From the algorithms side, I am interested in applications of differential privacy to optimization, machine learning, and mechanism design.