- Office: Room 301, Building 5
- Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
- Apartment: State Key Lab. of Computer Science
- Email: fuxd [AT] ios [DOT] ac [DOT] cn
I am currently a master student at the Institute of Software, Chinese Academy of Sciences in the group Trustworthy Intelligent Systems, advised by Prof. Zhilin Wu.
My research interests lie in the whole area of computer science and its interdisciplinary disciplines, including but not limited to:
- Quantum computation
- Automated analysis and verification of big data programs
- Sep. 2020 - Present: M.S. Student in Computer Science and Technology at Institute of Software, Chinese Academy of Sciences (University of Chinese Academy of Sciences)
- Sep. 2016 - Jul. 2020: B.Eng. in Microelectronic Science and Engineering at School of Electronic Science and Engineering, University of Electronic Science and Technology of China
Selected Honors and Awards
- Gold Medal(The 7th Place), The 45th ICPC Asia Kunming Regional Contest. Apr. 2021.
- Gold Medal, The 45th ICPC Asia Regional Contest (Shanghai Site 2020). Dec. 2020.
- Gold Medal, 2019 China Collegiate Computing Contest - Group Programming Ladder Tournament. Mar. 2019.
- Silver Medal, The 2018 ACM-ICPC Asia-East Continent Final. Nov. 2018.
- Gold Medal, The 2018 ICPC China SiChuan Provincial Programming Contest. Jun. 2018.
- First Price(The First Place), 2018 UESTC’s Mathematical Contest in Modeling. Dec. 2017.
- Global 81st Place, IEEEXtreme Programming Competition 11.0. Oct. 2017.
- Bronze Medal, The 2017 ACM-ICPC Asia Regional Contest (Xi’an Site). Oct. 2017.
I use Kotlin to implement standard and third-party API definitions in custom DSL for taint analysis.
2018 China Collegiate Programming Contest - Online Trial (Aug. 2018)
- Prepare a problem HDU 6440 - Dream for the contest.