教授安杰伊·穆拉夫斯基MSC,哲学博士

Professor Andrzej Murawski
主题: 
部: 
计算机科学系
学院办公室: 
在计算机科学伯纳德sufrin同胞
研究兴趣: 

我的研究都是围绕着编程语言的语义和软件验证。我感兴趣的编程范式的全谱,喜欢与自动机理论方法语义融合研究。特别是,我在模拟逻辑系统,并使用游戏,被称为游戏语义面积编程语言的专业知识。我特别喜欢获得结果语义等领域之间的桥梁差距。