|
个人信息：Personal Information
讲师（高校） 硕士生导师
性别：女
毕业院校：华东师范大学
学历：博士研究生毕业
学位：工学博士
在职信息：在岗
所在单位：计算机学院
办公地点：jianghui@cqupt.edu.cn
电子邮箱：
扫描关注
个人简介：Personal Profile
担任CCF形式化方法专委会执行委员，CCF会员等，主要研究计算机系统编译优化，量子系统与复杂软件的安全性、可靠性验证，程序测试等方向；主持国家自然科学基金青年基金、重庆市自然科学基金面上项目、重庆市教委青年项目，参与1项重庆市自然科学基金面上项目；发表CCF B类及以上论文6篇，其中包含期刊 TOSEM、TCS、JCST、ACTA Informatica，会议论文HSCC2024，申请发明专利1项；获得全国理论计算机学会年会优秀论文；招收计算机科学与技术专业学硕、专硕