Skip to content
View uniqueFranky's full-sized avatar
40 followers · 59 following

Highlights

  • Pro

Block or report uniqueFranky

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
uniqueFranky/README.md

Hi there 👋

  • 🔭 I'm currently a senior undergraduate student at Huazhong University of Science and Technology.
  • 🌱 I’m broadly interested in stuffs regarding Software Engineering, including programming languages, program analysis, formal methods, AI4SE, compilers ...
  • 📖 I'm currently working on software tracability/temporal analysis.
  • 👯 I'll join Key Lab of High Confidence Software Technology, MoE at Peking University in 2025 Fall as a Ph.D. student under the supervision of Prof. Bing Xie.

Top Langs

Runbang Yan's GitHub stats

Pinned Loading

  1. CGCL-codes/naturalcc CGCL-codes/naturalcc Public

    NaturalCC: An Open-Source Toolkit for Code Intelligence

    Python 272 46

  2. Tai-e-assignments Tai-e-assignments Public

    Forked from pascal-lab/Tai-e-assignments

    My solution to Tai-e assignments for static program analysis

    Java

  3. miniob miniob Public

    Forked from oceanbase/miniob

    My solution to MiniOB, a compact database that assists developers in understanding the fundamental workings of a database.

    C++ 3

  4. riscv-pke riscv-pke Public

    An Operating System running on RISC-V machines simulated by spike.

    C 2 1

  5. SmokeyDays/CarrotIsYou SmokeyDays/CarrotIsYou Public

    Verilog 7

  6. ARJump ARJump Public

    Swift