PhD Researcher In Quantum Computation, Categorical Logic And AI
Barcelona, Catalonia, Spain
Join Prog.AI to see contacts
Join Prog.AI to see contacts
Summary
👤
Senior
🎓
Top School
Christos Boulmpasakos is a multidisciplinary computer scientist and PhD researcher in Quantum Computation, Categorical Logic and AI with 14 years of engineering experience spanning HPC, modern C++, CUDA and Python. He combines hands-on performance engineering—having built ML compiler backends and optimized GEMM kernels—with product and R&D leadership at startups and scale-ups working on RISC-V accelerators and hyperspectral imaging. His doctoral work bridges diagrammatic and sheaf-theoretic approaches to quantum logic with practical goals in classical-to-quantum algorithm translation and high-level quantum programming. Comfortable moving between low-level kernels and high-level theory, he’s equally at home refactoring performance-critical C++/CUDA stacks and advising immersive quantum education projects. Based in Barcelona, he brings a pragmatic, multidisciplinary mindset that turns abstract research into deployable systems.
14 years of coding experience
10 years of employment as a software developer
Doctor of Philosophy - PhD, Quantum Computation, Categorical Logic and AI, Doctor of Philosophy - PhD, Quantum Computation, Categorical Logic and AI at University of Patras
A machine-learning framework written in C++ and OpenACC-CUDA, inspired by Tensorflow and Keras, for training and evaluation of deep neural networks in Nvidia GPU-accelerated systems.
Contributions:20 PRs, 50 pushes, 6 branches in 2 years 2 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
Christos Boulmpasakos - PhD Researcher In Quantum Computation, Categorical Logic And AI