Alireza Parvizimosaed
Senior Software Engineer at Cognichip
Greater Ottawa Metropolitan Area Canada
Summary
👤
Senior🎓
Top SchoolAlireza Parvizimosaed is a Senior Software Engineer and technical leader based in the Greater Ottawa area, with a decade-plus career building scalable AI, agentic systems, cloud-native services, and IIoT platforms. He has led engineering teams and startups, shipped production-grade RAG pipelines, high-concurrency APIs, and distributed agent frameworks that combine LangChain, Google ADK, Ray, and OpenTelemetry for observability. At Solace and Decentral he architected open-source agent meshes and AI connectors that eased legacy migration and enabled event-driven AI workflows, and he has hands-on experience deploying multi-GPU MLOps and edge microservice agents. A pragmatic prototyper, he moves ideas to validated solutions rapidly while focusing on automation, reliability, and tools that generalize across problems rather than point fixes. His background spans smart contracts for IIoT, energy market automation, and 3D imaging, reflecting an uncommon blend of embedded, distributed systems, and generative AI expertise. He is finishing doctoral study in computer science at the University of Ottawa, bringing academic rigor to practical system design and delivery.
8 years of coding experience
10 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of OttawaMaster's Degree, Computer Software Engineering, Master's Degree, Computer Software Engineering at Aryamehr University of Technology
English
Github Skills (30)
nuxmv7
checker7
xtext5
contract4
formal-verification4
compliance4
model-checking4
blockchain3
specification3
smart-contracts3
composer3
hyperledger-fabric3
hyperledger3
ide3
unity3d2
Programming languages (6)
Github contributions (5)
Smart-Contract-Modelling-uOttawa/Symboleo-Model-Checker-Test-Generator
Dec 2020 - Oct 2023
A test generator application designed to create performance benchmarks for SymploeoPC
Contributions:31 pushes, 2 branches, 1 comment in 2 years 9 months
formal-verificationmodel-checkingnuxmvsmart-contracts
Smart-Contract-Modelling-uOttawa/Symboleo-Model-Checker
Aug 2020 - Oct 2023
Contributions:17 pushes, 3 branches in 3 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.