Update.

emina · Oct 1, 2023 · 3d3560a · 3d3560a
1 parent 941fdba
commit 3d3560a
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 8 deletions.
diff --git a/css/cv.css b/css/cv.css
@@ -41,7 +41,7 @@ header h1 {
 
 header div { 
   float: right; 
-  margin-top: 2rem;  
+  margin-top: 3.2rem;
   line-height: 1.5; 
 }
 
@@ -59,7 +59,7 @@ address {
 }
 
 address::after { 
-  content: "@cs.washington.edu"; 
+  content: "@alum.mit.edu"; 
 }
 
 table { 

diff --git a/cv.html b/cv.html
@@ -16,7 +16,6 @@
 <header>
   <h1>Emina Torlak</h1>
   <div>
-    <address>emina</address>
     <a href="https://emina.github.io/">https://emina.github.io/</a>
   </div>
 </header>
@@ -47,7 +46,7 @@ <h2 id="Employment">Employment</h2>
 </tr>
 <tr>
 <td>Associate Professor, Allen School, University of Washington</td>
-<td>2018&ndash;</td>
+<td>2018&ndash;2023</td>
 </tr>
 <tr>
 <td>Assistant Professor, Allen School, University of Washington</td>
@@ -365,7 +364,7 @@ <h2 id="Teaching">Teaching</h2>
 </tr>
 </table>
 
-<footer>&copy; Emina Torlak. All rights reserved. Built with <a href="https://docs.racket-lang.org/pollen/">Pollen</a>. Last updated 26 Aug 2023.</footer>
+<footer>&copy; Emina Torlak. All rights reserved. Built with <a href="https://docs.racket-lang.org/pollen/">Pollen</a>. Last updated 1 Oct 2023.</footer>
 
 </body>
 </html>
diff --git a/index.html b/index.html
@@ -18,7 +18,6 @@
   <h1>Emina Torlak</h1>
   <div>
     Senior Principal Scientist at <a href="https://aws.amazon.com">Amazon Web Services</a><br>
-    Associate Professor at the <a href="https://www.cs.washington.edu">University of Washington</a><br>
   </div>
   <nav>
   <ul>
@@ -34,7 +33,7 @@ <h1>Emina Torlak</h1>
 <p>
 My research aims to help people build better software more easily. I develop
 languages and tools for program verification and synthesis. I created <a href="https://emina.github.io/rosette/">Rosette</a>
-and <a href="https://emina.github.io/kodkod/">Kodkod</a>, and co-lead the development of <a href="https://www.cedarpolicy.com/en">Cedar</a> with <a href="https://mhicks.me">Mike Hicks</a>.
+and <a href="https://emina.github.io/kodkod/">Kodkod</a>, and co-lead the development of <a href="https://www.cedarpolicy.com/en">Cedar</a> (with <a href="https://mhicks.me">Mike Hicks</a>).
 Rosette is a solver-aided language that powers verification and synthesis tools
 for all kinds of systems, from radiation therapy control to Linux JIT compilers.
 Kodkod is a solver for relational logic, used widely in tools for software
@@ -52,7 +51,7 @@ <h1>Emina Torlak</h1>
 </ul>
 </nav>
 
-<footer>&copy; Emina Torlak. All rights reserved. Built with <a href="https://docs.racket-lang.org/pollen/">Pollen</a>. Last updated 26 Aug 2023.</footer>
+<footer>&copy; Emina Torlak. All rights reserved. Built with <a href="https://docs.racket-lang.org/pollen/">Pollen</a>. Last updated 1 Oct 2023.</footer>
 
 </body>
 </html>