专业领域

  • 可计算分析
  • 有效的描述集合论
  • 博弈论和CS

出版物

  1. GHERARDI,克,marcone,一个。,保利,一个。 投影算子在晶格weihrauch 可计算 8 3-4 281 304
  2. 戴维斯,C。,Hirschfeldt,d。,赫斯特,J。,棕色,J。,保利,一个。,横山,K。 组合原理相当于弱感应 可计算 1 12
  3. Nobrega,H,保利,一。 游戏的刻画和下部锥体在weihrauch度 在计算机科学逻辑方法 15 3 1 29
  4. 赫沃宁,A,Kontinen,J。,保利,一。 连续团队语义学 理论和计算模型的应用 11436 278
  5. 木原,T,保利,一。 理论和计算模型的应用 11436 378

查看更多...

教学

  • CS-275 自动机和形式语言理论

    这个模块引入语法的概念定义的语法 正式的语言,尤其是编程语言。它引入 用图灵机的其他车型计算的极限 计算。

  • CS-M25 研究方法和项目规范

    模块ESTA学生引入课题,背景和他们的项目的目标。他们写上有关他们的话题谈话的报告,初步和详细规格将在此基础上他们的研究项目。适当的指导,在提供metodologías研究。

  • csc368 嵌入式系统设计

    嵌入式系统是嵌入到包封的产品,如汽车,电信或制造设备的信息处理系统。他们提供无处不在的信息中,现代信息技术的主要目标之一是必不可少的。该模块会给嵌入式系统设计的概述,涉及在嵌入式系统设计中最重要的议题给对方,并为学生们提供与在嵌入式系统中典型的设计挑战的实践经验。 命题和一阶逻辑的认识将有助于该模块的理解。 由于相关的实验室,一个限制是在为这个模块可用名额的地方。

  • cscm68 嵌入式系统设计

    嵌入式系统是嵌入到包封的产品,如汽车,电信或制造设备的信息处理系统。他们提供无处不在的信息中,现代信息技术的主要目标之一是必不可少的。 该模块的目的是提供的嵌入式系统设计的概述,以涉及在嵌入式系统设计中最重要的主题,以彼此,并且获得基于模型的方法来嵌入式系统设计的欣赏。 该实验室提供了嵌入式系统的设计实践经验的基础上,乐高MINDSTORMS套件。 的逻辑概念(命题逻辑,一阶逻辑)认识将有助于该模块的理解。 由于实验室中,该模块提供的名额是有限的。名额将在教学的第一周进行分配;分配标准将在第一堂课上公布。

  • cscm70 数学技能数据科学家

    这当然是一个入门课程要由数据科学家所需要的数学方法。它涵盖代数,优化技术,统计,傅立叶分析的基本知识。类的主要目的是让学生获得的数学方法和工具,在科学数据是必要的,这将在该方案的其他模块使用的实践经验。该模块是针对学生在数学基本经验。

监督

  • 朝向可计算帧理论第一步骤 (当前)

    学生姓名:
    MRES
    其他监事: 医生安东setzer
  • 苛刻的后果可计算剂使用策略 (当前)

    学生姓名:
    博士
    其他监事: 教授杰弗里giansiracusa
  • 深编码:其中遗传算法和数字系统满足 (当前)

    学生姓名:
    MRES
    其他监事: 乌尔里希博士伯杰
  • SAT求解器在AGDA:正确性的证明 (当前)

    学生姓名:
    MRES
    其他监事: 博士莫妮卡seisenberger
  • 计数N皇后的复杂性 (荣获2019)

    学生姓名:
    MSC
    其他监事: 医生奥利弗库尔曼