diff -r f72e95e3d5be -r 1843390d235d logic.html
--- a/logic.html	Sat Jun 15 09:06:25 2013 -0400
+++ b/logic.html	Wed Jun 19 10:21:51 2013 -0400
@@ -107,6 +107,7 @@
 <TD>
 <DL>
 <DD><A HREF="http://tratt.net/laurie/">Laurie Tratt</A></DD>
+<DD><A HREF="http://shemesh.larc.nasa.gov/people/mrm/">Mahyar Malekpour</A></DD>
 <DD><A HREF="http://www.comlab.ox.ac.uk/oucl/people/luke.ong.html">Luke Ong</A></DD>
 <DD><A HREF="http://www.inf.kcl.ac.uk/staff/maribel/">Maribel Fernandez</A></DD>
 <DD><A HREF="http://www4.in.tum.de/~wenzelm/">Markus Wenzel</A></DD>
@@ -162,7 +163,7 @@
  
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Sat Jun 15 09:00:44 EDT 2013 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Wed Jun 19 10:18:50 EDT 2013 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>