Afshin Amighi
Hoofddocent at Rotterdam University of Applied Sciences
Randstad, Netherlands
Summary
👤
Senior🎓
Top SchoolAfshin Amighi is a software engineer and academic leader with over a decade of experience bridging industrial development and formal-methods research. He combines hands-on C++ and distributed-systems expertise from early industry roles and a P2P live-streaming project with a PhD-era focus on verifying concurrent Java data structures using permission-based separation logic. Currently a Hoofddocent at Rotterdam University of Applied Sciences, he teaches, supervises and translates formal verification insights into practical software engineering education. Colleagues describe him as goal-oriented and organized, able to steer projects through full SDLCs and mentor students while publishing and presenting at top conferences. He brings rare depth in both requirement engineering and low-level synchronization semantics, making him effective at turning rigorous research into reliable, maintainable systems. Based in the Randstad, he blends industrial pragmatism with academic rigor to improve software correctness and safety across teams.
10 years of coding experience
11 years of employment as a software developer
MSc, Sftware Engineering of Distributed Systems, MSc, Sftware Engineering of Distributed Systems at KTH Royal Institute of TechnologyBSc, Software Engineering, BSc, Software Engineering at Isfahan University of Technology
Dutch, English, Persian, Turkish, Arabic
Github Skills (2)
javascript10
rep10
Programming languages (2)
Github contributions (5)
afshinamighi/Courses
Nov 2020 - Jan 2023
This rep. contains my personal educational materials.
Contributions:463 commits, 623 pushes, 2 branches in 2 years 2 months
repjavascripteducational-materials
afshinamighi/Notes
Feb 2019 - Oct 2019
Contributions:43 pushes, 1 branch in 8 months
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.