Ira Fesefeldt
Software Engineer at mgm technology partners
Aachen, North Rhine-Westphalia, Germany
Summary
🤩
Rockstar🎓
Top SchoolIra Fesefeldt is a software engineer with eight years of experience combining deep formal-methods research and practical software development. During a PhD specializing in verification of probabilistic, heap-manipulating, and concurrent programs, Ira implemented novel separation-logic results in the Lean proof assistant and has hands-on experience with languages including Java, Python, Lean, and Prolog. He has taught and researched at RWTH Aachen and held scientific staff roles before moving into industry, bringing academic rigor to applied engineering challenges. Curious and challenge-driven, Ira focuses on building verifiable, correct-by-construction software and enjoys exploring diverse programming paradigms beyond mainstream stacks.
8 years of coding experience
Promotion, Computer Science, Promotion, Computer Science at RWTH Aachen University
German, English, Japanese
Github Skills (66)
python10
automation10
home-assistant10
in-progress10
mqtt10
computer-algebra-system10
home-automation10
jgrapht10
mathematics10
iot10
graph-datastructures10
asyncio10
privacy10
raspberry-pi10
graph-algorithms9
Programming languages (8)
Github contributions (5)
PhoenixIra/jgrapht
Apr 2018 - Sep 2018
Master repository for the JGraphT project
Contributions:93 pushes, 27 branches in 4 months
mastergraphqljgrapht
PhoenixIra/count-endtime
Aug 2020 - Apr 2021
A discord bot that can handle times using the moment library.
Contributions:4 PRs, 11 pushes, 1 branch in 8 months
discord-jsmomentjsdiscordbottimes
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.