Ira 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
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.
Request Free Trial
Ira Fesefeldt - Software Engineer at mgm technology partners