Petr Vesely

Compiler Engineer at Codasip

Glasgow, Scotland, United Kingdom
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Petr Vesely is a Compiler Engineer with nine years of software experience and a Masters in Informatics from the University of Edinburgh, currently applying and expanding LLVM and MLIR expertise at Codasip. He blends systems-level C/C++ and embedded development (MBed OS, Zephyr) with modern web and backend stacks—Node.js, React, GraphQL, TypeScript, Java and Go—gained through roles at Codeplay, SAS and Skyscanner. Petr also brings practical machine learning experience in Python (TensorFlow, scikit-learn, NumPy, Pandas) which he leverages to inform tooling and performance-focused compiler work. Comfortable in large agile teams, he has repeatedly moved from prototyping to production, contributing across full stacks and lifecycle stages. Colleagues describe him as technically curious and personable, able to integrate quickly and add measurable value to both low-level systems and developer-facing platforms.
code9 years of coding experience
job3 years of employment as a software developer
bookMasters in Informatics Computer Science, Masters in Informatics Computer Science at The University of Edinburgh
bookScottish Advanced Higher Grades Mathematics [A] - Physics [A] - Computing Science [A], Scottish Advanced Higher Grades Mathematics [A] - Physics [A] - Computing Science [A] at Monifieth High School
github-logo-circle

Github Skills (26)

staging10
modular10
intel10
llvm10
oneapi10
toolchain10
compiler10
motion-capture10
clang10
gcc9
sycl9
memory-safety9
data-capture8
json-schema-validator8
computer-vision7

Programming languages (7)

TypeScriptJavaC++LLVMJavaScriptHTMLPython

Github contributions (5)

github-logo-circle
veselypeta/llvm

Mar 2023 - Mar 2024

Contributions:146 pushes, 31 branches in 1 year
veselypeta/cherillvm

Apr 2024 - Oct 2024

Fork of LLVM adding CHERI support
Contributions:1 PR, 101 pushes, 15 branches in 5 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial