The University of Washington today announced “Paradox,” a puzzle-style video game that helps to assure software. A person who plays Paradox seems to be doing a task like in other puzzle games: manipulating pieces in each level to obtain the best score. At the same time, and without any knowledge of computer programming, the player is also generating a proof that a program is secure — that is, it is free from certain security vulnerabilities.
CGS Hosts Affair to Remember
On Friday, May 15, the Center for Game Science hosted yet another legendary soirée for members of CSE. Known for the sheer grandness of scale in years past, expectations were high for this year and we are pleased to report the elegance did not disappoint.
Meticulously masterminded by graduate Yun-En Liu, the event boasted ten different styles of bread, seven charcuterie selections, seven cheeses and bread add-ons, fourteen tempting appetizers, three styles of tea sandwich, four varieties of canapés (with a vegan friendly option), four quickbreads designed to slow the party goer down with indecision, two types of vienoisserie, and four tarts to try.
The sweet tooth party goer also would not leave disappointed, with an array of seven petit-fours, one delicious looking stollen, eight quickbreads, six varieties of baked goods, six tart types, four cakes, and a staggering forty-four confections. A half dozen artfully mixed beverages were available to attendees over 21. View the full menu courtesy of CSE News.
For those eyeing the task of organizing for next year, we are pleased to mention that a large number of people pitched in to make all these delicious treats possible, and we also want to thank them for those efforts.
A partial list of contributors to this affair to remember:
- Marianne Lee
- Katie Kuksenok
- Igor Mordatch
- Yun-En Liu
- Barbara Krug
- Kira Goldner
- Christopher Lin
- Eric Mullen
- Edward Zhang
- Robert Duisberg
- Lilian de Greef
- Steve Tanimoto
- Jeffrey Snyder
Our graduating master event planner Yun-En Liu also provided this parting advice to future planners, “My main advice is to figure out what people want to do, then point everyone in the same direction and fire. Bonus points if you know people who are willing to organize things to reduce the mental load on yourself – the planning can consume a lot of resources if you’re not careful.”
Happy graduation to the upcoming graduates of CSE, and we hope everyone in attendance at this little casual party had a great time. You can see an assortment of the party pictures in the Center for Game Science-TGIF album on Facebook, with more being added as we receive them.
K-12 Story Problem End Date Extended!
Today, we’re pleased to announce an extension to our end date – sign up and start the Challenge as early as April 27 (next week!), and go at your own pace until June 5, 2015, when we close up our leaderboards for the 2014-15 school year.
With our new date, we’ll be adjusting our goals and shaking things up a bit. With even more time, we can’t wait to see what the students of Washington state can accomplish together.
Visit the site!
Check out all our videos
Watch the main K-12 Story Challenge Video
Learn more about the Common Core Problem Types
Sign up now!
K-12 Story Problem Challenge Governor’s Greetings
Today, check out our greetings to educators participating in the K-12 Story Problem Challenge (an Algebra Challenge event) from Governor Inslee! The governor (as well as CGS) encourages at least two hours of playtime as we push to our story problem goal of 250,000 this year.
CGS on the Go!
Catch CGS developers at the following events:
April 22: Bennett Elementary Science Night (Bellevue) – come talk to us about Foldit, Nanocrafter, Center for Game Science projects, and most importantly our upcoming K-12 Story Problem Challenge starting April 27.
April 24 and 25: We’re so excited to be participating in Engineering Discovery Days, so look for us in the CSE building atrium. Stop by both days and grab an “I love Algebra” sticker, play our games, and ask us all the questions on your mind about blending together quality gaming and academics.
May 9: A few brave developers and Foldit team members are headed north to the Shoreline STEM festival.
We can’t wait to meet all of you!