InfoQ Homepage Presentations Securing Software by Construction
Securing Software by Construction
Summary
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.
Bio
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.