INFRASTRUCTURE
Started programming in primary school and has since spent 8 years on algorithm competitions, Zhen worked as a compiler developer and web developer in Shanghai, founded a tech website PROJECT λ which written by Haskell, and got his M.Sc. degree in Aritificial Intelligence from University of Edinburgh and B.Eng. degree in Software Engineering from Sun Yat-sen University. He also created a lot of fun projects, and taught himself photography.
- Experience :
- Senior Software Engineer @ Antgroup Inc.
- Co-Founder of Smart IR Compiler Framework
- Project Manager and Core Developer of CodeFuse-Query: Gödel
- Scrum Master of KCL
- Software Engineer/Tech Lead @ Huawei Research Shanghai
- Tech Lead of DevEco Lowcode
- Developer of HMS Toolkit
- Developer of OpenArkCompiler
- Software Engineer @ Citigroup Inc.
- Co-Founder of TurtleCase Gang, [web 3.0 era]since 2022, author of ERC721G
- Founder of PROJECT λ, [web 2.0 era]since 2016, now open source
- Founder of zy812 神英启蒙网, [web 1.0 era]since 2003, earliest ancestor of online education
- Senior Software Engineer @ Antgroup Inc.
- Background :
- M.Sc. in Artificial Intelligence @ University of Edinburgh
- B.Eng. in Software Engineering @ Sun Yat-sen University
- SCer「retired, Supercomputer Challenge」
- OIer「retired, Olympiad in Informatics」
- Active :
- Language : Haskell, C/C++, Java, Python, Rust, Scala, Coq, QBASIC, Pascal, Prolog, APL
- Frameworks : Spring, Bootstrap, Scotty, Persistent(ORM), web.py
- Tools : MacVim, Aquamacs, Visual Studio Code, IntelliJ Rust, Haskell for Mac, Xcode
- Devices : rMBP「Mid 2018」, SONY A7R3, HHKB pro 2「白無刻」
- Game : PlayStation 4, Nintendo Switch, PlayStation Vita, Steam
For personality, I’m a INFP-A.
PORTFOLIO
LEARN MORE about my portfolio
ABOUT THIS SITE
This site is my 4th blog. The 1st is a sina blog, I used Pascal at that time. Some posts are merged to here. The 2nd is under baidu space and I have a new id: adventop and new language C++. Unfortunately, baidu shutdown its service, I had to migrate all my posts to the 3rd one with another id: idealnova, which is a wordpress blog when I was a freshman in the university.
