Andy is a current Software Engineering PhD student in Software and Societal Systems Department at Carnegie Mellon University. They study formal modelling and verification of systems, including work on model-checking assume-guarantee contracts and cyber-physical systems. Andy is advised by Dr. Eunsuk Kang and Dr. Fraser Brown, and is currently researching formal models for deployments of multi-party computation protocols.