Nicodemus Mbwambo
Head Of Electrical Engineering Department at Arusha Technical College (ATC).
Tanzania
Summary
👤
Senior🎓
Top SchoolNicodemus Mbwambo is a Ph.D.-trained computer scientist and engineering educator with over a decade of experience bridging software verification research and hands-on electrical/electronic systems work. Currently Head of the Electrical Engineering Department at Arusha Technical College, he leads curriculum reform, accreditation, lab development, and cross-disciplinary programs spanning renewable energy, biomedical, and telecommunications engineering. His background includes graduate teaching and research assistance at Clemson University, where he focused on software development foundations and formal methods, and field-facing roles in core network operations and embedded systems. He pairs academic leadership with practical technical experience—from configuring mobile core networks to designing CCTV and ATM systems—making him effective at turning research into applied training and infrastructure. Based in Tanzania, he also coordinates international research projects and student exchanges, reflecting a strong track record in building institutional partnerships and mentoring the next generation of engineers.
10 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Clemson UniversityBachelor of Engineering (BEng), Electronics and Telecomunication, Bachelor of Engineering (BEng), Electronics and Telecomunication at Dar es salaam Institute of Technology (DIT)
Github Skills (10)
verification10
correctness10
specification10
dependent-types8
programming-language8
compiler6
adaptation2
parallel1
architecture1
neural-network1
Programming languages (2)
Github contributions (5)
nmsafiri/RESOLVE
Aug 2021 - Apr 2023
RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
Contributions:51 pushes, 1 branch in 1 year 8 months
resolvespecificationcompilerprogramsverification
nmsafiri/ml
Apr 2018 - Sep 2018
Contributions:5 pushes, 1 branch in 5 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.