Daniel Kocher
Research Assistant at Salzburger Landeskliniken - SALK
Salzburg, Salzburg, Austria
Summary
👤
Senior🎓
Top SchoolDaniel Kocher is a Senior Scientist and postdoctoral researcher with 11 years of experience in database and systems research, specializing in efficient similarity search across complex data types and disaggregated systems. Based at the Paris Lodron University of Salzburg and affiliated with the young.hope Research Centre for pediatric rare diseases, he bridges theory and practice by applying scalable similarity queries and gene-sequence data processing in health contexts. His work spans indexing, distributed/parallel computing, compiler and systems engineering, and symbolic execution for software verification, underpinned by a summa cum laude PhD and MSc. An Early Career grant recipient and multiple award finalist, he pairs rigorous academic achievements with hands-on systems development and teaching experience. Outside research he’s an avid outdoors person and Linux enthusiast, reflecting a practical, problem-solving mindset that informs both experimental systems and biomedical data projects.
11 years of coding experience
4 years of employment as a software developer
Doctor's Degree, Computer Science, Graduation with honors (summa cum laude), Doctor's Degree, Computer Science, Graduation with honors (summa cum laude) at Paris Lodron Universität SalzburgDipl.-Ing. (equiv. Master of Science, MSc), Computer Science, Graduation with honors (summa cum laude), Dipl.-Ing. (equiv. Master of Science, MSc), Computer Science, Graduation with honors (summa cum laude) at Universität Salzburg
German, English
Github Skills (25)
hosting8
risc8
hypervisor8
computer-engineering8
virtual-machine8
c-compiler8
symbolic-execution-engine8
code-optimization7
quantum-computing6
computer-science6
similarity6
risc-v6
nearest-neighbors6
optimization5
compiler5
Programming languages (3)
Github contributions (5)
danielkocher/btreevis
Jun 2015 - Sep 2017
Contributions:34 commits, 21 pushes, 1 branch in 2 years 3 months
danielkocher/ios_transcript
Oct 2014 - Mar 2015
Contributions:49 commits, 26 pushes in 5 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.