Tomáš Gavenčiak

Researcher, Project Manager at Alignment of Complex Systems research group

Prague, Prague, Czechia
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Tomáš Gavenčiak is a researcher and project manager with 15 years of experience at the intersection of computer science and AI, currently focused on alignment of complex systems and multi-agent interactions. He combines deep academic training (PhD) with hands-on systems development—expertise in Python, C/C++, Rust, and Linux—bringing research ideas into robust implementations and tests. Tomáš has contributed to prominent open-source tooling such as NetworkX by extending graph serialization formats, reflecting attention to practical data interoperability. He mentors and teaches regularly, excels at problem framing and scientific communication, and prefers tackling high-impact, conceptually rich problems. Outside work he blends a rationalist mindset with curiosity about nature and a taste for great tea, which often informs his methodical but creative approach to research and engineering.
code15 years of coding experience
job8 years of employment as a software developer
bookBachelor's degree, Bachelor's degree at Charles University in Prague
github-logo-circle

Github Skills (6)

unit-testing10
graph-algorithms10
python10
graph-visualization10
graph-theory10
complex-networks9

Programming languages (15)

C++CSSRustCTeXGoMustacheHTML

Github contributions (5)

github-logo-circle
networkx/networkx

Dec 2013 - Dec 2013

Network Analysis in Python
Role in this project:
userBack-end Developer & Test Automation Engineer
Contributions:5 commits in 6 days
Contributions summary:Tomáš focused on implementing graph6 and sparse6 format writing functionalities for the NetworkX library. This involved designing and implementing code for generating and writing these graph formats, along with the creation of unit tests to validate the implementations. The contributions also included refactoring existing code related to graph6 utilities by renaming and adding conversions. These additions expanded the library's capabilities for graph data serialization and usability.
graph-analysispythoncomplex-networksgraph-theorygraph-visualization
Contributions:45 commits, 10 pushes, 3 tags in 1 year 7 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.
Request Free Trial