编程系统实验室

萨尔大学编程系统实验室由领导格特·斯莫尔卡成立于1990年，当时格特·斯莫尔卡来到萨尔布吕肯担任DFKI公司（直到1998年）和一位教授计算机科学在萨尔州大学.我们开发了编程系统莫扎特（并发约束编程）和爱丽丝（并发函数编程）并为设计Gecode公司约束库。我们还开发了基于约束的方法和工具自然语言的句法和语义处理。另一个重要的研究方向是开发和验证计算效率高的tableaux系统模态逻辑（PDL，CTL）和简单类型理论。自2010年以来，我们的重点一直是交互式定理证明使用Coq系统以及计算类型理论中的形式化和验证。

出版物教学软件正规化

编程系统实验室工作人员（1990-2023）

Ondrej Bojar公司	乍得E.布朗	托尔斯滕·布伦克劳斯	拉尔夫·德彪斯曼
克里斯蒂安·多兹卡尔	安德烈·杜登赫夫纳	丹尼斯公爵	凯特琳·厄克
扬尼克·福斯特	塞夫·哈里迪	马丁·亨兹	Ute Hornung公司
Bärbel Hussung先生	乔纳斯·凯泽	马克·卡明斯基	多米尼克·柯斯特
莱夫·科恩斯塔特	马尔科·库尔曼	费边·昆泽	迪迪埃·勒·博特兰
莫里茨·利希特	迈克尔·梅尔	马蒂亚斯·莫尔	马丁·米勒
托比亚斯·米勒	桑德拉·诺伊曼	约阿希姆·尼伦	Marek Paralic公司
康斯坦丁·波波夫	蒂姆·普里斯尼茨	安德烈亚斯·罗斯伯格	史蒂文·施费尔
拉尔夫·谢德豪尔	西格德·施耐德	托马斯·施奈德	克里斯蒂安·舒尔特
简·施温哈默	凯瑟琳·斯塔克	格特·斯莫尔卡	Lutz Stra汉堡
加博尔·绍科利	Guido塔克	托比亚斯·特比	拉尔夫·特雷恩
安·范德维尔	不过研究人员凡洛伊	约阿希姆·P·瓦尔泽	约格·沃茨

法律公告,隐私政策