From 6e8e30ced53de9dc3a25aa1c65a646b8dbde80d5 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Wed, 15 Feb 2017 16:00:27 +0000
Subject: [PATCH] Add new file

---
 _posts/2016-12-15-Dolby.md | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 _posts/2016-12-15-Dolby.md

diff --git a/_posts/2016-12-15-Dolby.md b/_posts/2016-12-15-Dolby.md
new file mode 100644
index 0000000..446c592
--- /dev/null
+++ b/_posts/2016-12-15-Dolby.md
@@ -0,0 +1,7 @@
+[Julian Dolby], (http://researcher.watson.ibm.com/researcher/view.php?person=us-dolby)
+a researcher at IBM's 
+[Thomas J. Watson Research Center] (http://www.research.ibm.com/labs/watson/index.shtml)
+in New York visited the PSVG group for a week in December. Julian’s current research focuses on static program analysis, software testing and the semantic web.
+During his visit, Julian worked with José Fragoso and Petar Maksimovic in a symbolic analysis for JavaScript based on JSIL and Rosette with the end goal of having a bug-finding tool for JavaScript.
+
+[ROSETTE]( https://github.com/juliandolby/rosette) Rosette is a solver-aided programming language that extends Racket with language constructs for program synthesis, verification, and more.
\ No newline at end of file
-- 
GitLab