CJ is a final-year Ph.D. student in Software Engineering at the Software and Societal Systems Department, Carnegie Mellon University. His research mainly focuses on software architecture, software quality, and formal methods. His research aims at developing methodologies and tools to help developers to systematically design and build software systems that are safe and robust.