André Platzer
See the
home page of André Platzer at Carnegie Mellon University
for more information. This home page is hosted at
http://symbolaris.com/
. Also see
personal information
.