Samuel Balco

Haskell Engineer at Runtime Vеrification

Samuel Balco is a software developer with a PhD from the University of Leicester in theoretical computer science. During his PhD, he focused on formalising nominal string diagrams and building tools for working with formal logics. His interests lie in building tools and programming languages to solve domain specific problems and before joining RV, he worked on creating a functional scripting language for a SCADA platform, which is used by clients for data analysis.

Links

Previous companies

University of Leicester logo

Timeline

  • Haskell Engineer

    Current role

View in org chart