Rong Gu
Formal Methods Developer at Prover
Stockholm, Sweden
Summary
👤
Senior🎓
Top SchoolRong Gu is a Formal Methods Developer based in Stockholm with eight years of experience bridging academic research and industrial software engineering. With a PhD in Computer Science from Mälardalen University and postdoctoral and visiting research roles at KTH, she applies formal verification techniques to real-world embedded and safety-critical systems. Her background includes hands-on embedded software engineering at the Aviation Industry Corporation of China, giving her practical insight into constraints and certification needs that inform her research-driven tooling work. Now at Prover, she leverages both theory and practice to build verifiable software; her Google Scholar and personal pages reflect a steady publication record that complements her development focus. Notably, she transitioned from embedded systems to formal methods, combining low-level systems understanding with advanced verification methods to produce pragmatic, auditable solutions.
8 years of coding experience
4 years of employment as a software developer
Doctor's Degree Computer Science, Doctor's Degree Computer Science at Mälardalen UniversityMaster's degree Computer Software Engineering, Master's degree Computer Software Engineering at Xi'an Jiaotong University
Github Skills (39)
automata8
state-machine8
fsm-library8
robotics8
generalization7
asynchronous7
tla7
gleam7
model-checking7
formal-verification7
fsm6
declarative-programming6
abstraction6
verification6
formal-methods6
Programming languages (5)
Github contributions (5)
rgu01/TAMAA-DALi
Apr 2020 - Mar 2024
Contributions:61 pushes, 1 branch in 4 years
rgu01/MALTA
Jun 2021 - Feb 2022
Contributions:77 commits, 72 pushes, 1 branch in 8 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.