金沙赌场网站

魏恒峰
教师介绍

无照片

2025年8月起,任金沙赌场网站-金沙博彩网站 副教授。个人主页://hengxin.github.io/。2016年于南京大学计算机金沙赌场网站 获得博士学位。2017年1月至2025年7月,曾先后任南京大学计算机金沙赌场网站 、软件金沙赌场网站 助理研究员、特任副研究员。
中文名: 魏恒峰 英文名:
学历: 博士 职称: 副教授
联系电话: 13905194610 电子邮件: [email protected]
研究方向: 分布式系统、数据库;近期关注使用形式化方法研究数据库事务一致性(隔离级别)相关的验证问题
联系地址: 湖南大学国家超级计算长沙中心 1 号楼 509 室
所属机构:  金沙赌场网站 教师  软件工程系