Zac Wallis

Zac Wallis is a professional deeply involved in the software industry, particularly in the domain of security, program analysis, and programming language design.

With a background in History from the University of Hull, Zac has transitioned into roles focusing on talent acquisition and recruitment within leading organizations such as GitHub, Semmle, Reqiva, Spencer Ogden, and G2 Recruitment Solutions.

His expertise lies in security and vulnerability research, program analysis including static and variant analysis, formal verification, abstract interpretation, as well as programming language design and implementation.

Zac also has experience in compiler construction, development of various software tools like parsers, extractors, obfuscators, and interpreters, and is well-versed in logic, declarative, and functional programming.

Moreover, he has a keen interest in developer tooling, IDE development, and building highly scalable systems utilizing technologies like cloud computing, scalability, and containerization.

For more information on career opportunities in these domains, Zac encourages those passionate about software development, open source communities, and ethical security research to reach out to him via zacwallis@github.com or visit the careers pages of Semmle (https://semmle.com/careers) and GitHub (https://github.com/about/careers).