|
安卡·穆斯科尔 |
| |
邮件:
电话: +33 (5) 40 00 35 21
传真: +33 (5) 40 00 66 69
邮寄地址：拉布里大学波尔多，
351自由球场，F-33405 Talence cedex
|
我2015/16学年在技术慕尼黑大学作为一个Hans-Frecher研究员。
研究兴趣
自动机理论、逻辑、游戏、自动化验证和合成，
偏序法，分布式计算，数据的基础基础。
出版物（有关最新出版物列表，请参阅DBLP或HAL）
专业活动
指导委员会主席国际自动化、语言和程序设计座谈会（ICALP）.
编委会成员LIPIcs（莱布尼茨国际会议录信息学）和新的钻石开放通道杂志理论CS。
理事会成员欧洲理论计算机科学协会EATCS公司.
我的长期目标是为倡议做出贡献支持开放存取出版物并宣传理论欧洲及其他地区的计算机科学。
我还致力于保持EATCS-ICALP，作为欧洲TCS的主要会议。
编辑委员会成员属于离散数学与理论计算机科学（自动、逻辑和语义部分）,
.
曾任《纽约时报》编辑委员会成员信息处理信件(2006-2015).
执行委员会成员全球存托凭证信息-数学。
教学
