Manuel Widmoser

Software Engineer at Snke

Salzburg, Salzburg, Austria
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Manuel Widmoser is a PhD candidate in Computer Science at Universität Salzburg with eight years of experience bridging academic research and industry software engineering. He has held roles from teaching and project assistance to research positions at Salzburg and a visiting scholar stint at Purdue, bringing a mix of pedagogical clarity and applied research rigor. His industry experience includes software engineering work at Celonis and R&D at Authentic Vision, giving him practical exposure to product-oriented development and applied computer vision. Manuel’s background includes an international exchange at Tel Aviv University, which complements his research perspective with broader academic collaboration. Known for translating complex research problems into implementable software, he combines deep technical training with hands-on engineering across academia and industry.
code9 years of coding experience
job5 years of employment as a software developer
bookMaster's (exchange semester) Computer Science, Master's (exchange semester) Computer Science at Tel Aviv University
bookPhD (Dr.techn.) Computer Science, PhD (Dr.techn.) Computer Science at Universität Salzburg
languagesGerman, English
github-logo-circle

Github Skills (21)

risc-v10
c-compiler10
symbolic-execution-engine10
self-hosting10
virtual-machine10
hypervisor10
compiler10
computer-science10
rdma5
algorithm5
cpp3
data-structure3
data-structures3
cargo3
benchmark3

Programming languages (5)

C++CRustHTMLJupyter Notebook

Github contributions (5)

github-logo-circle
Contains the source code of the paper "Scalable Distributed Inverted List Indexes in Disaggregated Memory" published at SIGMOD'24.
Contributions:12 pushes, 1 branch in 1 year 2 months
indexmemory-disaggregationrdmaresearch-papersigmod
mwidmoser/selfie

Nov 2018 - Feb 2019

An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.
Contributions:13 pushes, 3 branches in 3 months
risc-vhostingemulatorriscvself-hosting
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