George Ungureanu

Software Technology Researcher at Ericsson

Stockholm, Sweden
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
George Ungureanu is a Software Technology Researcher with 11 years of experience specializing in embedded systems design, electronic design automation, and formal methodologies for heterogeneous cyber-physical systems. He earned a PhD from KTH, where he developed ForSyDe-Atom and contributed to multiple EU and national projects addressing mixed-criticality, low-power, and correct-by-construction design. Currently at Ericsson, he combines academic rigor with industrial practice to build CAD tools and formal frameworks that bridge modeling, verification, and real-time implementation. Known for hands-on system prototyping and signal-processing work from an earlier role at Xaar, he brings both deep theoretical insight and practical integration experience. Based in Stockholm, he thrives on interdisciplinary collaboration across industry and academia to turn complex specifications into verifiable, deployable systems.
code11 years of coding experience
job7 years of employment as a software developer
bookDoctor of Philosophy - PhD, Embedded Systems Design, Doctor of Philosophy - PhD, Embedded Systems Design at KTH Royal Institute of Technology
bookPOLITEHNICA București National University for Science and Technology
languagesRomanian, English, Swedish
github-logo-circle

Github Skills (24)

hackage8
ghc8
pgf8
tikz8
electrical-engineering8
ssreflect8
dsl7
servant7
modeling7
fsm7
embedded6
cabal6
haskell6
eda6
documentation5

Programming languages (5)

C++TeXHaskellHTMLPython

Github contributions (5)

github-logo-circle
forsyde/forsyde-latex

May 2015 - Dec 2021

TikZ/PGF libraries for ForSyDe documents
Contributions:3 releases, 6 PRs, 53 pushes in 6 years 8 months
tikzforsydepgf
Contributions:1 PR, 22 pushes, 4 branches in 2 years 8 months
forsydepython
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