基本信息
浏览量:5
职业迁徙
个人简介
Honors and Awards
Alfiere del Lavoro, Rome 1965, awarded by the President of the Italian Republic, (after the Maturità examination)
President, Associazione Italiana di Logica e sue Applicazioni, AILA, 1994-1998
President, Kurt Gödel Society, KGS, Vienna, 1992-1996
Member of the Centro de Logica, Epistemologia e História da Ciência, CLE, UNICAMP, State University of Campinas, Brazil, 1995-present
Member of the Scientific Council of the European Association for Computer Science Logic, EACSL, 1993-2005
Member of the Advisory Board of the Centro de Algebra, CAUL, University of Lisbon, 2003-2014
Member of the Advisory Board for the Doctoral Program Logical Methods in Computer Science at TU Vienna, 2014-2019
Distinguished Visiting Professor, University of Bahía Blanca, UNS, Argentina, 1999
Alfiere del Lavoro, Rome 1965, awarded by the President of the Italian Republic, (after the Maturità examination)
President, Associazione Italiana di Logica e sue Applicazioni, AILA, 1994-1998
President, Kurt Gödel Society, KGS, Vienna, 1992-1996
Member of the Centro de Logica, Epistemologia e História da Ciência, CLE, UNICAMP, State University of Campinas, Brazil, 1995-present
Member of the Scientific Council of the European Association for Computer Science Logic, EACSL, 1993-2005
Member of the Advisory Board of the Centro de Algebra, CAUL, University of Lisbon, 2003-2014
Member of the Advisory Board for the Doctoral Program Logical Methods in Computer Science at TU Vienna, 2014-2019
Distinguished Visiting Professor, University of Bahía Blanca, UNS, Argentina, 1999
研究兴趣
论文共 176 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONSno. 1 (2024): 127784-127784
Electronic Proceedings in Theoretical Computer Science (2022)
The Logic of Software. A Tasting Menu of Formal Methodspp.382-396, (2022)
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn