Secure Programming with Jean Yang

Available on: iTunes | Android | RSS

Security vulnerabilities are an important concern in systems. When we specify that we want certain information hidden for example our phone number or our date of birth, we expect the system to hide the information. However, this doesn’t always happen due to human error in the code because programmers have to write checks and filters across the program. In this episode Jean Yang, Assistant professor at the Computer Science Department in Carnegie Mellon, presents Jeeves, a language that allows programmers to specify security policies more intuitively making it harder to leak information that is meant to be protected. Jean explained how Jeeves was implemented and how it can be used. We also talked about what it takes to bring research concepts from academia to the industry and at the end we had a very interesting conversation on how to educate a broader audience on the importance of security. Jean was also named one of the 35 innovators under 35 by MIT Technology Review.

Jean Yang, Assistant Professor of Computer Science at Carnegie Mellon University

Show Notes:
Jean Yang:
Jeeves Programming Language:
Liquid Haskell:
MIT Technology Review Innovator under 35:


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s