Tomas Colomer

PhD Candidate

Philadelphia, Pennsylvania, United States
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
Tomas Colomer is a PhD candidate in Electrical Engineering and Computer Science at UC Irvine with nine years of experience researching communication-efficient distributed machine learning and optimization. He has applied theoretical insight to practical systems at Bell Labs, the Vector Institute, and NASA JPL, where he built SDR testbeds and algorithms for lunar and Mars communications. Tomas’s work spans federated learning, decentralized control, and quantization-aware training for large language models, and has been published at ICML, IEEE ICC and ITA. An awardee of the IEEE Signal Processing Scholarship and an ICML Early Career invitee, he also organizes local theorem-proving study groups in Lean, reflecting a rare blend of rigorous math, systems implementation, and community leadership.
code9 years of coding experience
bookBachelor's degree, Mathematics and Telecommunications Engineering, Bachelor's degree, Mathematics and Telecommunications Engineering at CFIS-UPC
bookUPC Universitat Politècnica de Catalunya
bookUniversity of California, Irvine
languagesSpanish, Catalan, English, French
github-logo-circle

Github Skills (13)

usrp10
driver10
uhd9
fpga9
hardware8
del4
javascript3
codi3
puzzle3
ruby3
toolbox3
packet3
java1

Programming languages (8)

JavaC++LeanCVerilogJupyter NotebookMATLABPython

Github contributions (5)

github-logo-circle
TomasOrtega/FLSim

Dec 2022 - Aug 2024

Federated Learning Simulator (FLSim) is a flexible, standalone core library that simulates FL settings with a minimal, easy-to-use API. FLSim is domain-agnostic and accommodates many use cases such as vision and text.
Contributions:6 PRs, 127 pushes, 1 branch in 1 year 8 months
apicasesuse-casesvisionagnostic
Contributions:38 commits, 45 pushes, 2 branches in 4 years 2 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