Mina Toma
Student at Ain Shams University
Munich, Bavaria, Germany
Summary
👤
Senior🎓
Top SchoolMina Toma is a software engineer and computer science graduate based in Munich with eight years of experience and internships at both Google and Microsoft. She specializes in algorithms, databases, number theory, and optimization, and enjoys tackling hard problems end-to-end—from theoretical design to large-scale implementation. Mina has contributed to the well-known Verible SystemVerilog toolset, focusing on back-end feature extraction and robust unit-test automation for language parsing and qualified identifier support. Her background blends rigorous academic training with hands-on engineering in backend systems and test automation, reflecting a preference for correctness and elegant solutions. Colleagues know her for turning complex extraction and parsing challenges into reliable, maintainable components. She brings a detail-oriented, research-minded approach to building scalable software.
8 years of coding experience
3.72, 3.72 at Ain Shams University
Arabic, English, German
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (6)
verilog10
systemverilog10
test-automation10
lexer9
parserator9
parser9
Programming languages (6)
Github contributions (5)
chipsalliance/verible
Aug 2020 - Nov 2020
Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server
Role in this project:
Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:120 reviews, 53 commits, 65 PRs in 3 months
Contributions summary:Mina contributed significantly to the development of Verible, focusing on enhancing the functionality of SystemVerilog developer tools. Their work involved the extraction of features, including class members, function arguments, and enum definitions. They also created a suite of unit tests to verify the correctness of the extractor and added support for features like qualified identifiers.
lintersystemverilogdeveloper-toolsparserformatter
MinaToma/verible
Jul 2020 - Nov 2020
Verible provides a SystemVerilog parser, style-linter, and formatter.
Contributions:4 PRs, 259 pushes, 62 branches in 3 months
textlintlinterstyle-parserstyle-lintersystemverilog
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.