The research group of Andrew Myers at Cornell's Department of Computer Science investigates constructive methods for building secure computer systems, and other ways to apply and extend programming languages to make computer systems more reliable and easier to build. We also maintain widely used free software such as the CIVS voting system and the Polyglot compiler framework.
One way to be a part of these efforts is to support our research group through a donation. This is very easy to do using the form below. To ensure that your support comes directly to our research group, please follow these steps: