Session 1R

Computer Science: Distributed Systems, Verification, Security and HCI

12:30 PM to 2:15 PM | Moderated by Kurtis Heimerl
Add to my favorites Drunk User Interfaces: Using Smartphone-Based Human Performance Tests to Detect Inebriation
Presenter
  • Sayna Parsi, Senior, Linguistics, Informatics Mary Gates Scholar
Mentor
  • Jacob Wobbrock, The Information School

Add to my favorites Verifying the Chord Distributed Lookup Protocol
Presenter
  • Ryan Hart (Ryan) Doenges, Senior, Mathematics (Comprehensive) Mary Gates Scholar, UW Honors Program
Mentor
  • Zachary Tatlock, Computer Science & Engineering

Add to my favorites High-Assurance Synthesis of Efficient Algorithms for Hierarchical Computation
Presenter
  • Nathaniel (Nate) Yazdani, Senior, Computer Science UW Honors Program, Washington Research Foundation Fellow
Mentor
  • Rastislav Bodik, Computer Science & Engineering

Add to my favorites Incarnate: Using Programming Language Tools and Techniques to Improve the Efficiency, Accuracy, and Reliability of Commercial 3D Printing
Presenter
  • Melissa Hovik, Senior, Human Ctr Des & Engr: Human-Computer Int, Computer Science Washington Research Foundation Fellow
Mentor
  • Zachary Tatlock, Computer Science & Engineering

Add to my favorites DDoS Attacks through the Internet of Things
Presenter
  • Carlos (Emilio) Mena Valdivia, Senior, Information Technology (Tacoma)
Mentor
  • Yan Bai, Institute of Technology (Tacoma Campus)

Add to my favorites Block-Busters: Finding Features that Shine Light on the Darkweb
Presenters
  • Christopher (Chris) Ross, Senior, Informatics: Data Science
  • Trevor Allen, Senior, Informatics: Data Science
  • Corey Cole, Senior, Informatics
  • Andrew (Drew) Before, Senior, Informatics
Mentor
  • Babak Salimi, Computer Science & Engineering

Add to my favorites Securing Application Output of Augmented Reality Systems
Presenter
  • Kimberly Christine Ruth, Sophomore, Computer Engineering Mary Gates Scholar, UW Honors Program
Mentors
  • Franziska Roesner, Computer Science & Engineering
  • Tadayoshi Kohno, Computer Science & Engineering
  • Kiron Lebeck, Computer Science & Engineering

Add to my favorites Relating Dice to Voting Systems
Presenters
  • Arthur Vartanyan, Senior, Mathematics
  • Satvik Agarwal, Sophomore, Computer Science (Data Science)
  • Jueyi Liu, Senior, Applied & Computational Mathematical Sciences (Scientific Computing & Numerical Algorithms)
  • Dorothy Truong, Junior, Applied & Computational Mathematical Sciences (Discrete Mathematics & Algorithms)
Mentors
  • Jonah Ostroff, Mathematics
  • Lucas Van Meter, Mathematics