update personal summary

index.html

@@ -22,7 +22,7 @@ <h1>Shawn Meier</h1>
 <div id="content">
 	<div id="left">
 		<h2>Introduction</h2>
-		<p>I am a PhD student in the Department of Computer Science and the <a href="http://plv.colorado.edu/">Programming Languages and Verification Group</a> at the University of Colorado, Boulder. My interest is investigating algorithmic and data-driven approaches to reasoning about software.</p>
+		<p>I am a computer science PhD specializing in automatic program analysis. My interest is improving the speed, security, and reliability of software development. My research focuses on the problem of verification of event-driven software with minimal modeling of the event-driven framework. I have developed and tested both static and dynamic analysis for the Android operating system and published papers on both.</p>
 		<h2>Education</h2>
 		<ul>
 			<li><b>PhD: University of Colorado, Boulder</b>