Cristian Urlea
Research Associate
Glasgow, Scotland, United Kingdom
Summary
👤
Senior🎓
Top SchoolCristian Urlea is a research-focused software engineer and systems thinker with nine years of experience spanning academia and finance, currently working as a Research Associate at the University of Glasgow on CHERI/Morello-aware compilers and behavioural type systems. He pairs low-level language and compiler expertise with practical security engineering—previously designing secrets management and machine identity solutions at Barclays and building high-availability, low-latency trading infrastructure. Comfortable from helpdesk to head of technology, he has delivered production SaaS architectures, distributed P2P learning platforms, and adaptive assessment systems as a consultant. His work blends dependently typed functional programming, JIT/VM techniques for AArch64, and secure-by-design DevSecOps practices. Based in Glasgow, he aims to "automate himself out of a job," reflecting a pragmatic drive to reduce toil through tooling and principled automation. An understated strength is his ability to translate formal methods into operational systems that improve traceability and safety in real-world deployments.
8 years of coding experience
9 years of employment as a software developer
Doctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at University of Glasgow
English, Romanian
Github Skills (13)
sketchup9
mathematica8
solidworks8
numerical5
cpp5
homotopy-type-theory5
automatic-differentiation4
haskell4
root-finding3
heterogeneous1
parallel1
parallel-computing1
documentation1
Programming languages (5)
Github contributions (5)
cristianurlea/cheri-examples
Sep 2020 - Jan 2021
cheri-riscv sample c programs
Contributions:18 pushes, 3 branches, 1 tag in 3 months
cppriscvc-programscheriprograms
DSbD-Morello-HAT/dsbd-morello-hat.github.io
Sep 2023 - May 2024
Contributions:8 pushes, 1 branch in 7 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.