Engineer, startup founder, and researcher with a Ph.D. in database systems.
My interests lie in database systems, distributed systems, and applying formal methods to system design.
I enjoy working with Rust, TLA+.
My main current project is MuduDB, a system that enables data-intensive software to be installed and run on it.
Outside of work, I'm passionate about computer gaming, cycling, reading, and traveling.
Currently based in Shanghai, China.
📍Feel free to clone or fork any repositories, open issues, or submit pull requests if you have ideas for improvements.
You can also ask me anything via GitHub Issues or reach out via email at guohua [at] scupt.com.



