My first paper with @AWSIdentity and @AWSscience. Congrats @sasha_fedchin! Great outcome of a super productive internship. And I totally expect that more papers will come out of the project that Sasha started.
Congratulations to @sasha_fedchin whose paper “Better Counterexamples for Dafny” got accepted to TACAS 2022. Work was part of Sasha’s internship in @AWSIdentity this summer. Cc:@rakamaric Aleks Chakarov
Students and parents celebrate excellent GCSE results today. Especially our @awsscience
grades, exceptional across the board. Well done all! #congratulations#GCSE2019 @cognitaway @simonantwis
Year 7 studying the colors of visible light. Primary colours, red, blue, green mix to make secondary colours cyan, yellow and magenta.
@simonantwis #cognitaway@AWSscience
More Yr 12 taster session news @AWSscience: Team Physics measured the precise thickness of their hair with laser interference patterns. Results ranging from 60-110 micrometers!