Photo: Daniel Jackson.
I am a Ph.D. student at MIT advised by Armando Solar-Lezama. I received my bachelor's degree from Harvard in 2008. My research interests are in programming language design and software verification, especially as they apply to security and privacy.
For my Ph.D. thesis I have created a programming language, Jeeves, for automatically enforcing information flow policies for privacy and security. I have developed a formal semantics for Jeeves, proven guarantees about it, and implemented Jeeves as embeddings in Scala and Python. I am building a Jeeves web framework that extends the programming model across the application/database interface.
- Secure Distributed Programming with Value-dependent types, Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bharagavan, and Jean Yang. Journal of Functional Programming 23(4), July 2013. [BibTex]
- Faceted Execution of Policy-Agnostic Programs, Thomas H. Austin, Jean Yang, Cormac Flanagan, and Armando Solar-Lezama. PLAS 2013. [Paper: pdf | BibTex]
- A Language for Automatically Enforcing Privacy Policies, Jean Yang, Kuat Yessenov, and Armando Solar-Lezama. POPL 2012. [Paper: pdf | Slides: pptx pdf | Talk: mp4 stream | BibTex]
- Secure Distributed Programming with Value-Dependent Types, Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bharagavan, and Jean Yang. ICFP 2011. [Paper: pdf | BibTeX]
- Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System, Jean Yang and Chris Hawblitzel. CACM Research Highlight. Communications of the ACM, September 2010. [Full text: html pdf | Technical Perspective: html pdf | [BibTeX]
- Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System, Jean Yang and Chris Hawblitzel. PLDI 2010. Best paper award.
[Paper: pdf |
Slides: pptx pdf |
related video |
In addition to conference and workshop talks, I have spoken about the Jeeves programming language at the following universities and companies: Harvard University (Dec. 2011), Northeastern University (Dec. 2011), New York University (April 2011), Google New York (July 2011), Facebook Menlo Park (March 2012), Google Mountain View (April 2012), UC Berkeley (April 2012), Boston University (April 2012), Brown University (June 2012), Tufts University (Colloquium, Dec. 2012), and Microsoft Research Cambridge (Oct. 2013).
Awards and Honors.
- Levine Graduate Fellowship, 2014-2015.
- Facebook Fellowship, 2012-2013. [fellow profile]
- National Science Foundation Graduate Research Fellowship, 2008-2011.
- "A Better Way To Protect Privacy? Take The Programmer Out Of The Equation." Jessica Leber, Fast CoExist, March 7, 2014. [article]
- "Out in the Open: A New Programming Language With Built-In Privacy Protocols." Klint Finley, Wired, March 3, 2014. [article]
- "Want to build privacy into your apps? Check out Jeeves, now available in Python." Barb Darrow, GigaOM, February 11, 2014. [article]
- "New Programming Language Removes Human Error from Privacy Equation." CSAIL, MIT Technology Review, February 10, 2014. [article]
- "Cloud Trailblazers: 10 for 2013. Mission Possible? Jean Yang." Barb Darrow, GigaOM, May 28, 2013. [article]
- "What your online friends reveal about where you are." Jacob Aron, NewScientist, January 25, 2012. [article]
I spend a fair bit of time thinking about how to help people understand how to use and evaluate their tools. In addition to serving as a Teaching Assistant for introductory programming, theory, and program analysis courses, I have designed and taught the following short courses:
- Introduction to C Memory Management and C++ Object-Oriented Programming (IAP 2010)
- So You've Always Wanted to Learn Haskell? (IAP 2010)
Profiles and Interviews.
- On my early education and advice for girls interested in STEM in an interview for my middle/high school's newspaper Ellisian Times, March 2014. [article]
- On my path to computer science in @julialindau's nicely illustrated profile, March 2013. [blog post]
- On graduate school in computer science in Lan Li's short documentary film rocks, bands, logic, fall 2011. [video]
- "I Worked Without Email for 10 Days, Survived, and Even Learned Something," Newsweek via The Daily Muse, September 16, 2014. [Newsweek | Daily Muse]
- "Init. Women, Hip-Hop, and Self-Teaching: The New Diversity in Computing," as feature editor for ACM XRDS's "Diversity in Computer Science" issue, Summer 2014. [Init | issue]
- "First Person / The power of girls," Pittsburgh Post-Gazette, May 31, 2014. [article]
- "Only Woman on the Team? 4 Communication Tips You Need to Know," Forbes, March 26, 2014. Originally appeared on The Daily Muse, March 17, 2014. [Forbes | Daily Muse]
Other Public Speaking.
- Challenging Technical Privilege: How Race and Gender Matter, MIT, October 2014. [video]
- Panel: Graduate School 101, Scientista Symposium, MIT, April 2013.
- Panel: How I Got There, Women in Advanced Computing Summit, San Jose, CA, June 2013. [video]
Other Relevant Activities and Links.
In spring 2010, I started the annual MIT Programming Languages Offsite Meeting for exchanging ideas among MIT research groups in programming languages, software engineering, and human-computer interaction.
In fall 2009, I co-founded Graduate Women at MIT for the promoting the personal and professional development of graduate women. I also created the Positivity@MIT project for creating a more positive workplace environment.
As of fall 2013, I have been co-directing NeuWrite Boston, a collaborative working group for scientists and writers, with Amanda Gefter. Our goal is to improve and innovate the state of science communication.
I also have a couple of satirical photo blogs. My brogramming project examines the "brogrammer" trope in tech culture and also society's image of the programmer. My Strong Reject meme satirizes the human aspects of the scientific reviewing process. There is also Haskell Ryan Gosling, an exercise in discovering how much Haskell can be taught through Ryan Gosling.
Considering Graduate School?
I have compiled the following advice on applying for a Ph.D. in computer science:
- Deciding to Apply
- Standardized Tests
- School Visits
- Some notes on picking grad schools/advisors
- FAQ: Applying to Graduate School for Computer Science
You may also be interested in these blog posts I have written: