Barret Thomson



Storyboards & Style Frames


Deep Sky Studios


We had the pleasure of working with the team at the R&D technologies company to produce two awareness videos designed to educate industries that rely on critical systems about formal methods and formal verification – and how incredibly effective they are at improving cyber security and safety. Our job was to take a very intricate mathematical and scientific topic and distill it down into a clean, two-minute overview, striking the perfect balance between overly technical and overly simplistic, in order to reach a relatively broad audience. After multiple in depth interviews with Galois engineers and days of wading through white papers to write the scripts, the next challenge was finding a way to visually represent such a complex topic.

We decided to quite literally go “abstract,” using elementary shapes to represent data, primary colors, and clean motion graphics to keep the viewer easily engaged and not get lost in the details. It took extensive communication with the client to make sure each design element was an intuitive representation of the overall concept, while capturing all the essential details. Custom tracks, sound effects, and VO mixing all helped to elevate the video once animation was complete. Galois was very happy with the results and plans to implement the videos in their web marketing, project pages, and website. We loved working with such a fantastic company and are so happy to know someone is looking out for our cyber safety!

Creative Director: Jared Hobbs
Copywriter: Anna Koehn
Art Director: Barret Thomson
Motion Graphics: Ben Drake
Motion Graphics: Milan Erceg
Sound Designer: Wesley Slover