卡洛·福里亚

我是一个副教授在中软件研究所的一部分信息技术学院的意大利斯维泽拉大学（又名USI，发音为“OO-see（OO-see）").我的研究兴趣集中在开发严格的技术和工具上分析并改进质量、正确性和可靠性软件和系统。

关于我

我有博士学位计算机科学来自米兰理工大学, 理学硕士计算机科学来自伊利诺大学芝加哥分校, 米兰理工大学计算机科学与工程劳雷亚学位。在加入USI之前，我是一名副教授在查尔默斯理工大学.在查尔默斯之前，我在苏黎世ETH在非凡的软件工程主席（别找它，它已经不在了）。

• 个人简历
• 博客

研究

我的大部分研究都是在的形式化方法软件工程。这些包括一系列支持分析的模型、技术、方法和工具，严格的软件开发和验证软件密集型系统。我的大部分工作都是为了使方法实际的等等广泛地可应用的-例如，通过增加的级别自动化。它经常特征组合多种技术提高通用性并减少局限性；和彻底的经验主义的评估相关性的评估以及研究成果的影响。旨在提高经验评估，我也越来越感兴趣使用最先进的技术贝叶斯数据分析技术到分析软件工程数据.

我的个人资料：推荐使用谷歌学术引用,DBLP公司,ORCID公司,语义学者,美国计算机协会数字图书馆,MS学术搜索, 和Arnetminer公司.

• 这个ATOM研究小组页面列出了我的组的当前成员。
• 这个ATOM软件第页我们作为团队的一部分开发了一些工具研究。

教学

我教过的最新课程：

• 2024年春季：软件分析（2019年版的公开资料在这里)
• 2023年秋季：编程基础1,软件设计和建模

如果你是一个正在寻找项目或论文主题，请随时给我写信。我的研究页面让你了解我所做的一些工作，但通常有我们可以亲自讨论的更具体的话题。

事件

我目前参与的科学活动，如会议组织:

• 副主编这个经验主义的软件工程（EMSE）日记账。考虑提交你的研究！
• PC成员第19国际集成形式方法会议（iFM）, 2024年11月13日至15日，英国曼彻斯特。
• Co-chair的博士生论坛属于2024年FM, 意大利米兰。2024年9月9日至13日。
• 项目联合主席2024年SE正式上市, 第十二届国际会议软件工程中的形式化方法，与ICSE 2024年, 葡萄牙里斯本。2024年4月14日至21日。
• PC成员NIER（新想法和新成果）的轨迹第46届国际会议软件工程（ICSE）, 葡萄牙里斯本。2024年4月14日至20日。
• 的PC成员TACAS 2024年,第30届国际计算机工具和算法会议系统的构建和分析预计2024年, 卢森堡市，卢森堡。2024年4月6日至11日。