Richard Skowyra is a Ph.D student in the Department of Computer Science at Boston University. He is advised by Professor Azer Bestavros and frequently collaborates with Professor Assaf Kfoury and Andrei Lapets. His research interests lie at the intersection of distributed systems and formal methods, specifically in the use of formal reasoning and push-button verification to provide computer-assisted design tools for distributed systems. Other research interests include network and software security, cloud computing, model-checking, and integrated formal methods. In the past he has also worked on grid computing, wireless networking protocols, and sensor networks.
Prior to joining Boston University, Richard studied at Worcester Polytechnic Institute. He received a M.S. in Computer Science in June 2009, and a B.S. in Computer Science in June 2007. His Masters thesis was advised by Professor Robert Kinicki, and involved the development of a low-power, cluster-based routing protocol for wireless sensor networks.