About this web page

This is the home page of André Platzer, located at https://lfcps.org, at http://symbolaris.com/, and at http://www.cs.cmu.edu/~aplatzer/. You can reach this page from other URLs including other domain names.

The contents of these web pages are Copyright © 1996-2019 André Platzer except as indicated.

Address:André Platzer
Computer Science Department
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213-3891
Office:GHC 9103
Phone:+1 (412) 268-1558
Fax:+1 (412) 268-5576


Copyright of publications is with the publisher or author as indicated. Author's versions of papers are posted with permission of the publisher for your personal use. Not for redistribution or commercial purpose. Slides are copyright © by the author.

Please note that some of the links on this home page refer to sites outside of this web page or outside this domain. I am not responsible for the contents of external sites.

All information and materials on this site are provided solely for informational purposes on an AS-IS basis, and any and all implied warranties are expressly disclaimed.


Some material on this web page is based upon work supported by funding agencies under different Grant Numbers as indicated in the publications. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the funding agencies.

Technical Matters

Some documents on this web page contain Unicode characters, which require a browser with built-in unicode support or any Unicode font set as its default font.

A number of tools that are being made available on this web page use the Java Virtual Machine. They need Java to be installed on your computer.