基本信息
Andrea Turrini 男 软件研究所
电子邮件:andrea.turrini@gmail.com 
个人主页:http://lcs.ios.ac.cn/~turrini
通信地址:北京市海淀区中关村南四街4号计算机科学国家重点实验室
邮政编码:

研究领域

   

招生信息

   
招生专业
081202-计算机软件与理论
招生方向
模型检测
概率系统、分布式系统、网络系统的正确性验证

教育背景

2011-02--今 德国萨尔大学 Post-doc in Computer Science
2006-01--2009-05 意大利维罗纳大学 Ph.D. in Computer Science
1999-09--2005-03 意大利维罗纳大学 Laurea degree in Computer Science, Magna cum Laude
学历
   
学位
   

工作经历

   
工作简历
2011-10--2011-12 德国萨尔大学 Instructor
2006-01--2009-02 意大利维罗纳大学 Undergraduate Researcher
2004-09--2008-03 意大利维罗纳大学 Teaching Assistant
2004-09--2008-03 意大利维罗纳大学 Teaching Assistant
社会兼职
   

教授课程

   

专利与奖励

   
奖励信息
   
专利成果
   

出版信息

   
发表论文
(1) On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation,AVOCS,2013,第3作者
(2) Deciding Bisimilarities on Distributions,QEST,2013,第4作者
(3) The Quest for Minimal Quotients for Probabilistic Automata,TACAS,2013,第4作者
(4) Cost Preserving Bisimulations for Probabilistic Automata,CONCUR,2013,第2作者
(5) Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time,FSTTCS,2012,第2作者
(6) Conditional Automata: a Tool for Safe Removal of Negligible Events,CONCUR,2010,第2作者
(7) A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding,Journal of Applied Non-classical Logics,2009,第4作者
(8) Approximated Computationally Bounded Simulation Relations for Probabilistic Automata,CSF,2007,第2作者
(9) Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models,QEST,2005,第2作者
发表著作
   

科研活动

   
科研项目
   
参与会议
   

合作情况

   
项目协作单位
   

指导学生