title:Public Tech Talk on Gillian Verification of JavaScript and C, Galois
---
Philippa Gardner gave a public [live-stream](https://youtu.be/DqlC1tNElrg) technical talk on Gillian, Verification of JavaScript and C, hosted by [Galois](https://galois.com/about/).
The talk gave a general introduction to [Gillian](https://gillianplatform.github.io/), a platform for the development of symbolic-execution tools for many programming languages.
Galois specialises on applying [formal analysis techniques to the design of critical software systems](https://galois.com/research-development/) and runs a program of public [technical talks](https://galois.com/blog/category/tech-talks/), many of which are available online.
