Ivan Kuraj
Ph.D. Student at Massachusetts Institute of Technology (MIT)
Cambridge, Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolIvan Kuraj is a Ph.D. student at MIT with 13 years of software engineering experience focused on applying automated reasoning and formal methods to the design and interaction of complex autonomous distributed systems. He leads ARISE efforts to bridge automated reasoning research with practical middleware solutions, currently targeting drone swarms and reactive multiplayer games to automate low-level networking for highly optimized, scalable architectures. His work aims not only at correctness but at performance and security improvements for cloud, IoT, edge computing, and distributed robotics. Earlier contributions to the Scala IDE for Eclipse improved developer productivity by extending quick-fix functionality for type mismatches and imports, reflecting a strong background in developer tooling and language-aware systems. Educated at EPFL and the School of Electrical Engineering in Belgrade, he combines rigorous academic training with hands-on open-source engineering. He brings a rare mix of formal-methods research and practical systems-building that enables new domains for autonomous, distributed applications.
13 years of coding experience
Master's degree, Master's degree at Ecole polytechnique fédérale de LausanneExtracurricular EducationBachelor's degree, Bachelor's degree at School of Electrical Engineering, Belgrade
Github Skills (7)
ide10
integrate10
integrations10
eclipse-ide10
scala10
java9
javas9
Programming languages (14)
Github contributions (5)
scala-ide/scala-ide
Aug 2012 - Oct 2012
Scala IDE for Eclipse
Role in this project:
Back-end Developer
Back-end DeveloperContributions:9 commits in 1 month
Contributions summary:Ivan primarily focused on enhancing the Scala IDE for Eclipse by implementing and refining quick fix functionalities. Their work involved extending the quick fix system to address type mismatch errors, incorporating the ability to suggest import fixes, and introducing quick fixes for option-related scenarios. These enhancements aimed to improve developer productivity by providing intelligent code correction suggestions directly within the IDE. Further contributions involved merging and testing various improvements related to quick fix functionality.
javascalaideeclipse
ikuraj/SciFe
Mar 2013 - Jul 2016
Contributions:354 commits, 1 PR, 116 pushes in 3 years 4 months
functional-programminginvariantsscaladata-structuresscala-framework
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.