Arcadio García
Oxford, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolArcadio García is an interdisciplinary AI/ML researcher-engineer with 17 years' experience blending probabilistic and symbolic methods to solve challenging problems in bioinformatics and drug discovery. He specializes in probabilistic programming, Bayesian causal inference, stochastic processes and deep latent/state-space models, and brings neuro-symbolic and logic-programming perspectives to graph neural networks and molecular systems. Trained at Oxford, MIT and Cold Spring Harbor Laboratory, he works at the intersection of single-cell epigenetics, TCR–pMHC binding modeling and pharmacodynamics, turning complex biological uncertainty into actionable models. Notably, his work couples differentiable programming (neural ODEs/SDEs) with extreme-value and heavy-tailed theory—an uncommon mix that helps capture rare, high-impact biological events. Based in Oxford, he describes himself succinctly as “Logic & probability,” reflecting a rare combination of formal reasoning and practical probabilistic modeling.
17 years of coding experience
Master of Science, Machine Learning and Statistics, Master of Science, Machine Learning and Statistics at Universidad de OviedoDoctor of Philosophy, Doctor of Philosophy at University of OxfordProbabilistic Programming for Advanced Machine Learning, Probabilistic Programming for Advanced Machine Learning at Massachusetts Institute of TechnologyComputational Cell Biology, Computational Cell Biology at Cold Spring Harbor LaboratoryTechnical University of Denmark
Github Skills (11)
linux10
nix9
nixos9
nixpkgs9
rna-seq9
seq9
python-bindings8
sequencing8
genomics7
bioinformatics7
instantiation6
Programming languages (2)
Github contributions (5)
arcadio/data-logic
Mar 2009 - Nov 2022
Contributions:1 release, 22 commits, 27 pushes in 13 years 11 months
arcadio/nk-models
Jul 2023 - Jun 2024
Contributions:4 releases, 34 pushes, 2 tags in 11 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.