Hengfeng Wei (魏恒峰)

Activities

Talks

Chairs

• SCCP 2026 (1st Symposium on Consistency Checking Principles) Co-Chair

• SCCP 2026 Session Chair (Session 4: Many Models, One Theory)

PC Members

• PaPoC 2026 (13th Workshop on Principles and Practice of Consistency for Distributed Data) Program Committee

• SRDS 2026 Program Committee

Reviewers

Paper Review

• TCS

• JPDC

• JSEP

• TAAS

Artifact Evaluation

• USENIX ATC 2025 Artifact Evaluation Committee

• OSDI 2025 Artifact Evaluation Committee

• ACM SIGMOD 2025 Availability & Reproducibility Committee (ARC)

• SIGMOD 2024 ARC

Lectures

• “2023 犀牛鸟中学科学人才培养计划” 报告

Services

• 南京大学软件学院教学委员会秘书 (2022 – 2025)