Stefan Milius教授博士
关于我
研究
余代数及其在计算机科学中的应用 迭代和递归的语义 泛代数与范畴理论 系统的逻辑和形式验证
奖品
最佳理论论文 2019年FM 对于 “通用分区优化和加权树自动机” (与H.-P.Deifel、L.Schröder和T.Wißmann合作) 2017年MFCS EATCS最佳论文奖 “自由的艾伦伯格定理” (与J.Adamek和H.Urbat合作) CALCO 2015年 最佳论文奖 “类别中的句法单体” (与J.Adamek和H.Urbat合作) 阿克曼奖 2006年,我的 博士论文 . Braunschweig Preis für hervorragende Leistungen im Studium,2000年。
编辑活动
咨询委员会成员 理论CS (自2019年起) 总编辑 计算机科学中的逻辑方法 (自2020年起) 编委会成员 应用的分类结构 (自2020年起) 计算机科学中的代数和余代数会议(CALCO),指导委员会cochair(与M.Roggenbach,自2015年起) 计算机科学中的协同算法国际研讨会(CMCS),指导委员会主席(自2015年起) 执行编辑 计算机科学中的逻辑方法 (自2014年起)
项目委员会
第26届软件科学和计算结构基础国际会议(FoSSaCS 2023),PC成员 第47届国际研讨会 计算机科学数学基础(MFCS 2022) ,PC成员 第46届国际研讨会 计算机科学数学基础(MFCS 2021) ,PC成员 第二十九 EACSL公司 年度 计算机科学逻辑会议(CSL 2021) ,PC成员 第十四届计算机科学协同代数方法国际研讨会(CMCS 2018) ,PC成员 第32届ACM/IEEE计算机科学逻辑年会(LICS 2017) ,PC成员 第七届计算机科学代数和余代数会议(CALCO 2017) ,PC成员 第37届IFIP WG 6.1分布式对象、组件和系统形式化技术国际会议(FORTE 2017) ,PC成员 第十三届计算机科学协同算法国际研讨会(CMCS 2016) ,PC成员 第六届计算机科学代数和余代数会议(CALCO 2015) ,PC成员 第21届并发表达研讨会和第11届结构化操作语义研讨会(EXPRESS/SOS 2014) ,PC成员 第30届程序设计语义数学基础会议(MFPS XXX) ,PC成员 第十二届计算机科学协同代数方法国际研讨会(CMCS 2014) ,PC成员 第五届计算机科学代数和余代数会议(CALCO 2013) ,PC联合主席 第十一届计算机科学协同算法国际研讨会(CMCS 2012) ,PC成员 第十届计算机科学协同代数方法国际研讨会(CMCS 2010) ,PC成员 第三届计算机科学代数和余代数会议(CALCO 2009) ,PC成员 第八届计算机科学协同代数方法国际研讨会(CMCS 2006),PC成员
当前教学
关于论文项目的主题,请直接问我。 理论信息学für Wirtschaftsinformatik und Lehramt
旧项目
项目 VerSyKo公司 硕士论文 类别中的关系 计算机科学学生研究项目 稀疏矩阵与指令收缩数组的乘积 艾伦 –1997年软件工程实践期间开发的图灵机器模拟器。 图形视觉 :1992年至1996年间开发的一个使用Turbo Pascal的图形用户界面库。