Emilien Bauer
PhD Student at The University of Edinburgh
City of Edinburgh, Scotland, United Kingdom
Summary
👤
Senior🎓
Top SchoolEmilien Bauer is a PhD student and compiler researcher based in Edinburgh with nine years of software and research experience focused on algebra, code optimization, and tooling for compiler development. He co-developed xDSL to make MLIR exploration and teaching more accessible and has explored shared domain-specific abstractions across DSLs in peer-reviewed work. His current thesis on Structured Tensor Compilation leverages symbolic knowledge of tensor structure to generate more efficient tensor-centric code, bridging theory and practical compiler engineering. Prior roles span polyhedral compilation toolchains, applied research internships, and industry experience as a functional analyst, reflecting a mix of rigorous mathematics and hands-on implementation. Notably, his background includes formal rephrasings of Farkas' lemma for implementation and deriving combinatorial bounds on geometric problems, highlighting a talent for turning deep mathematical insight into implementable compiler techniques.
9 years of coding experience
2 years of employment as a software developer
Baccalauréat, STI2D SIN, Mention Très Bien, Mention Européenne, Baccalauréat, STI2D SIN, Mention Très Bien, Mention Européenne at Lycée Louis CouffignalMaster's degree, Computer Science, Second class honors, Master's degree, Computer Science, Second class honors at University of StrasbourgCPGE TSI, ENGINEERING, Classement premier tiers, CPGE TSI, ENGINEERING, Classement premier tiers at Lycée Blaise Pascal
English, French
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (92)
python10
rtm10
game-development10
panda3d10
godot10
game-engine10
sfml10
gdscript10
audio10
api10
sdk10
opengl10
gdextension10
gdnative10
open-source10
Programming languages (6)
Github contributions (5)
edin-dal/scair
Jan 2025 - Apr 2025
ScaIR - Democratizing Compilers
Contributions:26 reviews, 83 PRs, 172 pushes in 2 months
PapyChacal/xdsl
Jan 2023 - Feb 2024
A Python Compiler Design Toolkit
Contributions:6 PRs, 56 pushes, 7 branches in 1 year
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.