Add centralized entries for Amal and Mitch

site/content/centralized-people/amal-ahmed.rkt

@@ -0,0 +1,9 @@
+#lang racket
+(provide me)
+
+(define me
+  '(person "Amal Ahmed"
+    (group "Faculty")
+    (picture "gallery/Amal_Ahmed.jpg")
+    (homepage "http://www.ccs.neu.edu/home/amal/")
+    (bio "Professor Ahmed's research concerns programming languages and language-based security, with a focus on semantics, type systems, security-preserving compilation, and software contracts. She is known for her work on logical relations, a proof method for establishing a wide variety of properties of programs, programming languages, and compilers, including type safety, equivalence of program components, correctness of compiler transformations and optimizations, and confidentiality guarantees in languages for information-flow security.")))

site/content/centralized-people/mitch-wand.rkt

@@ -0,0 +1,11 @@
+#lang racket
+(provide me)
+
+(define me
+  '(person "Mitch Wand"
+    (group "Faculty")
+    (picture "gallery/Mitch_Wand.jpg")
+    (homepage "http://www.ccs.neu.edu/home/wand/")
+    (bio (p "Professor Wand focuses on programming-language semantics and their application to compiler correctness.")
+         (p "Throughout the 1990s, Professor Wand examined the verification of optimizing compilers, building an understanding of how a program analysis justifies the program transformation based upon it.")
+         (p "Professor Wand has also explored the related area of type theory, particularly as applied to object-oriented programming. He has been a leader in the study of continuations, a technique for understanding the control structure of programs. With Daniel P. Friedman and Christopher T. Haynes, he wrote Essentials of Programming Languages, a widely used textbook. He is a Fellow of the Association for Computing Machinery."))))

site/content/usernames

@@ -1,5 +1,4 @@
 samth
-wand
 pauls
 dvanhorn
 stamourv
@@ -11,7 +10,6 @@ asumu
 tonyg
 turon
 jrslepak
-amal
 schuster
 ianj
 sstrickl