!!
FLUENT Verification ProjectLocation: Library Cafe, 2pm
Chris W and Zhen met to discuss outreach plans.
Agenda
- Chris W sent followup email to Kurt Becker about recruitment/logistics for summer programs.
- Discussed some activity ideas for summer workshops
- Similarity Measures -- students are iteratively sent a text, which they modify. They modified text is sent to another student, and so on. Pair-wise similarity metrics are used to reconstruct the ancestry of text edits. Discussion on how similar methods are applied in bioinformatics.
- System Errors -- students are briefly shown a number, then asked to record the number they saw. Their response is shown to the next student, and so on, continuing in a ring. After going all the way around the ring, we see what kind of errors we got. This is repeated for different amounts of time that they get to see the number. Discussion on how this relates to reliability in engineered systems (e.g. the Belgian election fault), and to signaling errors in natural systems. Basic error correction can be discussed.
#
meetings
