Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ


Choose your language

InfoQ Homepage Presentations Securing Software by Construction

Securing Software by Construction



Jean Yang discusses research ideas to create secure software, what prevents them from becoming commercial solutions, and how the Cybersecurity Factory accelerator bridges the research/industry gap.


Jean Yang is an Assistant Professor at Carnegie Mellon University in the Computer Science Department. For her PhD thesis she created the Jeeves programming language for automatically enforcing security and privacy policies. Her work on Verve, an operating system, won Best Paper Award at the Programming Language Design and Implementation Conference.

About the conference

Chariot Solutions is a software development consulting firm. We build and integrate the critical software applications that run our clients’ businesses. We are successful because we attract the most talented and collaborative software architects in the region. They are leaders in Java, open source and emerging technologies. We work in small, agile teams. We solve hard problems with a practical approach centered on communication, common sense and continual learning. We believe it is important to give back to our community through shared learning.

Recorded at:

Jul 08, 2016