Thodoris Sotiropoulos
Postdoctoral Researcher at ETH Zürich
Zurich, Zurich, Switzerland
Summary
🤩
Rockstar🎓
Top SchoolThodoris Sotiropoulos is a postdoctoral researcher at ETH Zurich with 12 years of experience bridging programming languages research and practical software engineering. He holds a PhD in Software Engineering and Programming Languages and an MSc (Distinction) from Imperial College London, and has built production-grade static analysis and testing tools both in academia and industry (including a stint as an Applied Scientist at AWS). His work focuses on automating developer tasks—code analysis, test input generation, and fault detection—by combining formal models, static/dynamic analyses, and empirical methods. He also contributes to prominent open-source projects like NetworkX, adding core algorithms (e.g., Girvan–Newman) and improving API usability, reflecting a commitment to both research rigor and real-world impact. Notably, he has experience turning research prototypes into deployable tools through European projects such as CROSSMINER and FASTEN.
12 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy - PhD, Software Engineering and Programming Languages, Doctor of Philosophy - PhD, Software Engineering and Programming Languages at Athens University of Economics and BusinessMaster of Science - MS, Advanced Computing, Distinction, Master of Science - MS, Advanced Computing, Distinction at Imperial College London
Github Skills (6)
graph-algorithms10
graph-analysis10
networkx10
python10
graph-theory10
dijkstra8
Programming languages (16)
Github contributions (5)
networkx/networkx
Apr 2015 - Jun 2015
Network Analysis in Python
Role in this project:
Back-end Developer
Back-end DeveloperContributions:19 commits, 5 PRs, 53 comments in 1 month
Contributions summary:Thodoris's primary contribution was enhancing the `networkx` library's functionality. They implemented and refined the `weighted_edges` function, adding a weight parameter and correcting a typo. Further, they added the Girvan-Newman algorithm to the `community` module, demonstrating their ability to contribute to core algorithms. Their work also included refactoring existing code and fixing documentation errors, highlighting a commitment to code quality and usability.
graph-analysispythoncomplex-networksgraph-theorygraph-visualization
theosotr/netxanal
Feb 2015 - May 2015
Contributions:45 commits, 44 pushes, 2 branches in 3 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.