【学术报告预告】基于交互式定理证明的程序验证研究-精品无码久久久久久久久_99久久人妻精品无码二区_欧美一区二区三区久久综合_精品乱码久久久久久中文字幕_亚洲欧洲中文日韩久久AV乱码_精品AV国产一区二区三区四区_久久久91精品国产一区二区_久久久无码精品亚洲欧美_91麻豆国产精品91久久久_欧美乱妇日本无乱码特黄大片_国产精品久久久久久无码人妻欢迎您！ 
















精品无码久久久久久久久_99久久人妻精品无码二区_欧美一区二区三区久久综合_精品乱码久久久久久中文字幕_亚洲欧洲中文日韩久久AV乱码_精品AV国产一区二区三区四区_久久久91精品国产一区二区_久久久无码精品亚洲欧美_91麻豆国产精品91久久久_欧美乱妇日本无乱码特黄大片_国产精品久久久久久无码人妻



    

        

            
               






            
        

    

    

        

            
            


 
 
 
 

                    

                    

                





        

        

        

    
    


    













    

         
快捷指南
Quick guide

        

            
学术动态

            
                首页
                >>
                学术动态
                >>
                正文

    






    
    


         




【学术报告预告】基于交互式定理证明的程序验证研究


            

                发布日期：2024-07-02    点击：
                

                    
                    


                    
                

            



    


报告专家：曹钦翔


报告时间：2024年7月2日19：00


报告地点：腾讯会议：621-170-081


专家简介：本科毕业于北京大学，博士毕业于美国普林斯顿大学，2018年回国任教，获上海浦江人才计划资助，现为上海交通大学约翰霍普克洛夫特计算机科学中心副教授，博士生导师。长期从事基于交互式定理证明的程序验证工具开发，并研究有关程序逻辑特别是分离逻辑的理论问题，其研究成果发表于POPL、OOPSLA、JAR等国际知名会议与期刊。


主办单位：学科建设办公室


承办单位：计算机科学与技术学院





    




    












精品无码久久久久久久久_99久久人妻精品无码二区_欧美一区二区三区久久综合_精品乱码久久久久久中文字幕_亚洲欧洲中文日韩久久AV乱码_精品AV国产一区二区三区四区_久久久91精品国产一区二区_久久久无码精品亚洲欧美_91麻豆国产精品91久久久_欧美乱妇日本无乱码特黄大片_国产精品久久久久久无码人妻