CV

Curriculum vitae of Weijun Chen.

Contact Information

Name 陈蔚骏 / Weijun Chen
Professional Title Ph.D. Candidate
Email [email protected]
Location Shanghai, China

Professional Summary

I am a fourth-year Ph.D. candidate majoring in computer science at the BASICS Lab, School of Computer Science, Shanghai Jiao Tong University, advised by Prof. Yuxi Fu, with a primary research focus on theoretical computer science.

Experience

  • 2021 - present

    Shanghai, China

    Ph.D. Candidate
    BASICS Lab, Shanghai Jiao Tong University
    Conducting research in theoretical computer science.

Teaching

  • 2022, 2023

    Fall

    Theory of Computation
    Shanghai Jiao Tong University
    Teaching Assistant - Lecturer: Dr. Huan Long
  • 2023-2025

    Spring

    Mathematical Foundation in Computer Science
    Shanghai Jiao Tong University
    Teaching Assistant - Lecturer: Dr. Huan Long
  • 2024, 2025

    Fall

    Computational Complexity
    Shanghai Jiao Tong University
    Teaching Assistant - Lecturer: Prof. Yuxi Fu
  • 2026

    Spring

    Theory of Programming Language
    Shanghai Jiao Tong University
    Teaching Assistant - Lecturer: Dr. Huan Long

Education

  • 2022 - present

    Shanghai, China

    Ph.D.
    Shanghai Jiao Tong University
    Theoretical Computer Science
    • BASICS Lab, advised by Prof. Yuxi Fu.
  • 2018 - 2022

    Shanghai, China

    B.Eng.
    Shanghai Jiao Tong University
    Computer Science and Engineering
    • Minor in Mathematics & Applied Mathematics
  • 2015 - 2018

    Fuzhou, China

    High School
    Fuzhou No.1 High School

Publications

Skills

Programming Languages: Python, C++, Lean4

Languages

Chinese : Native speaker
English : Normal
Eastern Min : Native speaker

Interests

Theoretical Computer Science: Semantics and verification, Concurrent systems, Complexity and computability, Formal languages and automata