MU

Chengyu Zhang

Lecturer (Assistant Professor) at Loughborough University; software engineering, programming languages, and formal methods.

United Kingdom

Joined January 2013

47 Followers

28 Following

AI Insights & Achievements

21/ 100

Coding for 13 years.

Public Repos

15

Total Stars

7

Total Forks

3

Public Gists

0

Top Languages

Based on primary language of repositories

Recent Activity

Contribution Graph

Activity Timeline

Commits and contributions grouped by day, week, or month.

High productivity periods

Most active day: January 23rd, 2026 • 6 contributions

Most active week: Nov 17–Nov 23 • 6 contributions

Most active month: Nov 2025 • 12 contributions

January 18th, 2026 11:46 AM

January 15th, 2026 11:04 AM

GitHub Analytics