Chentian Wu
Senior of double honors in MATH & CS
University of Wisconsin-Madison

Homepage: Email:
Links: 		  https://wuct.site chentian DOT wu AT wisc DOT edu
GitHub / Linkedin / Google Scholar

[Education] [Research] [Publications] [Projects] [Teaching] [Awards] [Skills]

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 learning how Logic and Algebra are applied in Computer Science. Specifically, I'm doing research about Program Synthesis recently with Prof. Xiaokang Qiu.

Here is my Curriculum Vitae.

Education
University of Wisconsin-Madison 2024/01 ~ 2025/12
  • College of Letters & Science
  • B.Sc. in Math (with honors) and CS (with honors) (GPA: 4.0/4.0)
Nanjing University
2021/09 ~ 2024/01
  • Software Institute
  • B.Eng. (transferred out) in Software Engineering
Research Experiences
Logic @ UW-Madison
2024/09 ~ Now
  • Model Theory and Abstract Elementary Classes.
  • Advised by (Grad) Yiqing Wang.
CAP @ Purdue University
2024/03 ~ Now
iSE @ Nanjing University
2022/10 ~ 2023/09
Publications
[2023] LLM for Test Script Generation and Migration: Challenges, Capabilities, and Opportunities (IEEE Xplore via DOI)
  • Shengcheng Yu, Chunrong Fang, Yuchen Ling, Chentian Wu, Zhenyu Chen.
  • In proceedings of IEEE QRS 2023.
Selected Projects
Research Related
  • [2024] ${\rm F{\footnotesize O}^{\textit{k}}\ S{\footnotesize YNTH}}$: Synthesizing Extended First-Order Logic Sentences with Alternating Tree Automata. [code]
    A possible implementation of the ${\rm E{\footnotesize XACT}^\ L{\footnotesize EARNING}}$ synthesizer in paper Learning Formulas in Finite Variable Logics. [link] (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. [link] (Project Leader)
Core Systems / Infrastructure
  • [2024] ${\rm M{\footnotesize INI}\ S{\footnotesize YGUS}}$: Building a Mini SyGuS Solver from Scratch. [code]
    Coming soon. (Independent)
  • [2023] ${\rm S{\footnotesize YS}Y\ C{\footnotesize OMPILER}}$: Implementing a Compiler for SysY (a sub-language of C) from Scratch. [code]
    Using ANTLR4 as frontend and LLVM as backend. (Independent)
  • [2022] ${\rm V{\footnotesize JVM}}$: Using Java to Implement a Java Virtual Machine from Scratch. [code]
    Derived from Final Course Project of SECI@NJU. (Independent)
Web Development
  • [2024] ${\rm C{\footnotesize S}\ S{\footnotesize CHOLARS}}$: Implementing a Web-based Query System including CS Scholars worldwide. [code]
    Using React as frontend and SpringBoot as backend. (Project Participant)
  • [2023] ${\rm U{\footnotesize NIVERSAL}\ M{\footnotesize USIC}}$: Displaying Musical Themes on a Web-based Globe. [code]
    Using Vue as frontend and SpringBoot as backend. (Project Participant)
  • [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)
Teaching
[2024] CS Tutor @ UW-Madison CSLC.
Helping students with CS 200, 300, 400 level courses in UW-Madison.
[2024] Math Tutor @ UW-Madison MLC.
Navigating Proof-based Math Courses (MATH 341+) in UW-Madison for Undergraduates.
Awards
  • [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]
Skills
Language: English (Fluent), Mandarin (Native).
Programming:
    Languages Java, Python, Typst, LaTeX, C, Rust, C++, ASM(IA32), SQL, JavaScript, SMT-LIB, Shell.
    Frameworks Antlr4, Vue, Z3, Flask, Appium, SpringBoot.
One more thing: I'm an amateur enthusiast of Number Theory.



Last Updated: 2024-09-13
© 2024 Chentian Wu. This work is licensed under CC BY-NC-SA 4.0