-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
2 changed files
with
48 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,47 @@ | ||
--- | ||
title: Profile | ||
# date: 2021-12-10 23:24:18 | ||
date: 2019-11-18 | ||
--- | ||
|
||
## Contact | ||
|
||
- Office: Room 339, 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 | ||
|
||
## About Me | ||
|
||
I am currently a master student at the [Institute of Software, Chinese Academy of Sciences](http://www.iscas.ac.cn/) in the group [Trustworthy Intelligent Systems](https://tis.ios.ac.cn/), advised by Prof. [Zhilin Wu](https://lcs.ios.ac.cn/~wuzl). | ||
|
||
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 | ||
|
||
## Education | ||
|
||
- *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*. | ||
|
||
## Projects | ||
|
||
### DSL Development of Security Analyzer for JavaScript at HUAWEI (Oct. 2021 - Nov. 2021) | ||
|
||
I use Kotlin to implement standard and third-party API definitions in custom DSL for taint analysis. | ||
|
||
## Experience | ||
|
||
### 2018 China Collegiate Programming Contest - Online Trial (Aug. 2018) | ||
- Prepare a problem [HDU 6440 - Dream](http://acm.hdu.edu.cn/showproblem.php?pid=6440) for the contest. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,6 +1,7 @@ | ||
# Header | ||
menu: | ||
Home: / | ||
Profile: /profile | ||
Archives: /archives | ||
rss: /atom.xml | ||
|
||
|