Anna K
Doctoral Researcher Department Of Human Genetics at KU Leuven
Biot, Provence-Alpes-Côte d'Azur, Belgium
Summary
👤
Senior🎓
Top SchoolAnna K is a doctoral researcher in human genomics at KU Leuven with nine years of interdisciplinary experience spanning population genomics, bioinformatics, and biotech operations. She focuses on genetic adaptation to extreme cold in Arctic populations, combining genome-wide selection scans with integrative functional analyses (RNA-seq, regulatory annotation) and scalable computational workflows. Her background includes industry-facing roles in biotech investment and infrastructure, plus R&D work on microbial fuel cells and ML-driven strain prediction, reflecting a rare blend of academic rigor and translational insight. Past projects range from comparative genomics of salmon maturation to HMM-based gene prediction across 120 mammals, demonstrating strong computational method development alongside wet-lab–adjacent expertise. Based in Biot, she brings a global research trajectory and practical experience sourcing and coordinating international biotech projects.
10 years of coding experience
Doctor of Philosophy, Biomedical Sciences, General, Doctor of Philosophy, Biomedical Sciences, General at KU LeuvenMaster of Science, Genomics and Bioinformatics, Master of Science, Genomics and Bioinformatics at Siberian Federal University
English, Russian, Georgian, Dutch
Github Skills (20)
constant-time9
symbolic-execution8
verification8
security8
mat7
spectre7
smt7
theorem-proving6
z36
linux6
kubernetes4
hardware4
python4
fpga4
spinalhdl3
Programming languages (9)
Github contributions (5)
binsec/haunted
Jan 2021 - Jan 2022
Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.
Contributions:8 commits, 9 pushes, 1 branch in 1 year
constant-timesymbolic-executionbinary-analysisspectre-vulnerability
binsec/Rel
Sep 2020 - Jun 2022
Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.
Contributions:18 commits, 1 PR, 28 pushes in 1 year 8 months
constant-timesymbolic-executionbinary-analysisbinsecverification
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.