|
Chentian Wu
Junior of double honor in MATH
& CS
University of Wisconsin-Madison
|
I'm Chentian Wu (吴陈添), a junior of MATH and CS at University of Wisconsin-Madison. Prior to my current studies, I had been pursuing Software Engineering at Software Institute, Nanjing University since September 2021. In January 2024, I transferred to University of Wisconsin Madison. Currently, I am engaged in the study of logic and aspires to delve into research in the field of Logic, Algebra and Program Language Theory. Specifically, I'm doing research about Program Synthesis recently with Prof. Xiaokang Qiu.
Here is my Curriculum Vitae.
University of Wisconsin-Madison
2024/01 ~ 2025/12
- College of Letters & Science
- B.Sc. in Mathematics and Computer Science (GPA: 4.0/4.0)
Nanjing University
2021/09 ~ 2024/01
- Software Institute
- B.Eng. (transferred) in Software Engineering
Purdue University
2024/03 ~ Now
- Program Synthesis.
- Advised by Prof. Xiaokang Qiu @ PL Group
Nanjing University
2022/10 ~ 2023/09
- Mobile GUI Testing.
- Advised by Prof. Chunrong Fang @ iSE Lab
- Shengcheng Yu, Chunrong Fang, Yuchen Ling, Chentian Wu, Zhenyu Chen.
- In proceedings of IEEE QRS 2023.
A possible implementation of the ${\rm E{\footnotesize XACT}^\ L{\footnotesize EARNING}}$ synthesizer in paper
Learning Formulas in Finite Variable Logics. (Independent)
[2023] ${\rm R{\footnotesize EP}\ F{\footnotesize LOW}}$: Dialogue-system based Android bug reproduction workflow. [code]
A possible implementation of ${\rm R{\footnotesize EP}A{\footnotesize SSISTOR}}$ in paper
Towards Effective Bug
Reproduction for Mobile Applications. (Project Leader)
[2023] ${\rm S{\footnotesize SE}\ S{\footnotesize TAR}\ M{\footnotesize ARKET}\ M{\footnotesize AKER}}$: Science and technology innovation board market making strategy management platform. [code]
Enhancing Market Resilience and Liquidity with Deep Learning-Based Strategies. (Project
Participant)
[2022] ${\rm S{\footnotesize EEC}\ P{\footnotesize LAG}}$: Nanjing University training program of innovation for undergraduates (202310284364Y). [code]
Serverless-based Integrated Online Plagiarism Checker. (Project Participant)
Navigating Proof-based Math Courses (MATH 341+) in UW-Madison for Undergraduates.
- [2024] UW-Madison Dean's List. [link]
- [2024] UW-Madison Summer Internship Scholarship. [link]
- [2024] UW-Madison Transfer Scholars Summer Award. [link]
- [2023] CitiCup Financial Innovation and Application Competition, Third Prize. [link]
- [2023] China's National College Students' Mathematical Competition, First Prize of Jiangsu Province. [link]
- [2022] Nanjing University Renmin Scholarship, First Prize. [link]
Selected MATH Courses
- [00010011] Calculus (Tier 1, @ NJU)
- [MATH 473] History of Mathematics [notes]
- [MATH 475] Introduction to Combinatorics [notes]
- [MATH 521] Analysis I [notes]
- [MATH 541] Modern Algebra I
- [MATH 571] Introduction to Mathematical Logic [notes]
- [MATH 623] Compelex Analysis
- [MATH 770] Foundations of Mathematics (graduate level)
Selected CS Courses
- [25000540] Compiling Techniques (@ NJU)
- [25011270] Introduction to Machine Learning (@ NJU)
- [25011230] Software Testing (@ NJU)
- [CS 354] Machine Organization and Programming
- [CS 400] Programming III
- [CS 538] Introduction to the Theory and Design of Programming Languages
- [CS 564] Database Management Systems: Design and Implementation
- [CS 570] Introduction to Human-Computer Interaction
- [CS 704] Principles of Programming Languages (gradulate level)
Language: English (Fluent), Mandarin (Native).
Programming:
| Languages | Java, Python, LaTeX, C, C++, ASM(IA32), Typst, JavaScript, Haskell, SMT-LIB, Shell. |
| Frameworks | Vue.js, Antlr4, Flask, SpringBoot. |
| Tools | Linux, Git, VS Code, Docker, Vim. |
One more thing: I'm an amateur enthusiast of Number Theory and
Algebra.