软件和硬件系统 研究领域简要概述 对更新的硬件和软件的需求一直在增长;与此同时,它们的发展变得越来越复杂。因此,在许多层面上,不断需要新的方法来满足这些需求。在这项研究中,软件方面包括,例如,新编程语言方面的工作,对设计和开发过程的持续提问,以及产品的系统测试。就硬件系统而言,在提高效率、生产、新协议以及证明正确行为的可能性方面都存在问题。 在萨尔布吕肯嵌入式系统学位课程代表了这个研究领域的一个接口学科。计算机科学系和马克斯·普朗克软件系统研究所让他们关注这一领域。 该领域的教授 Sven Apel博士教授萨尔大学教授软件工程与编程方法萨尔州大学萨尔州信息学院E1 1,R.21166123萨尔布吕肯德国+49 681 302-57211助理:+49 681 302-57210电子邮件主页Michael Backes教授博士CISPA亥姆霍兹信息安全中心科学主任兼教授信息安全与密码学CISPA亥姆霍兹信息安全中心萨尔州信息学院E9 1号机组66123萨尔布吕肯德国+49 681 302-3259助理:+49 681 302-3249电子邮件主页Derek Dreyer教授马克斯·普朗克软件系统研究所(MPI SWS)科学主任兼教授编程基础马克斯·普朗克软件系统研究所(MPI SWS)萨尔州信息学院E1第5页66123萨尔布吕肯德国+49 681 9303-8701电子邮件主页Peter Druschel教授马克斯·普朗克软件系统研究所(MPI SWS)科学主任兼教授分布式系统马克斯·普朗克软件系统研究所(MPI SWS)萨尔州信息学院第4页66123萨尔布吕肯德国+49 681 9303-9100电子邮件主页Anja Feldmann博士教授马克斯·普朗克信息学研究所(MPI INF)科学主任兼教授互联网架构马克斯·普朗克信息学研究所(MPI INF)萨尔州信息学院E1 4,R.51866123萨尔布吕肯德国+49 681 9325-3501电子邮件主页Bernd Finkbeiner教授博士CISPA亥姆霍兹信息安全中心教授无功系统CISPA亥姆霍兹信息安全中心萨尔州信息学院E1 1,R.11166123萨尔布吕肯德国+49 681 302-5651助理:+49 681 302-5650电子邮件主页Deepak Garg博士教授马克斯·普朗克软件系统研究所(MPI SWS)教授计算机安全与隐私、形式逻辑、编程语言马克斯·普朗克软件系统研究所(MPI SWS)萨尔州信息学院E1 5,R.41266123萨尔布吕肯德国+49 681 9303-9201电子邮件主页Krishna Gummadi博士教授马克斯·普朗克软件系统研究所(MPI SWS)科学主任兼教授网络化系统马克斯·普朗克软件系统研究所(MPI SWS)萨尔州信息学院E1 5,R.43466123萨尔布吕肯德国+49 681 9325-670电子邮件主页Sebastian Hack博士教授萨尔州大学教授编译器设计萨尔州大学萨尔州信息学院E1 3,R.40866123萨尔布吕肯德国+49 681 302-57520助理:+49 681 302-3434电子邮件主页托尔斯滕·赫费特教授萨尔州大学教授电信萨尔州大学萨尔州信息学院C6 3,R.10.0266123萨尔布吕肯德国+49 681 302-70852电子邮件主页Holger Hermanns教授萨尔州大学教授可靠的系统和软件萨尔州大学萨尔州信息学院E1 3,R.50166123萨尔布吕肯德国+49 681 302-5631电子邮件主页Martina Maggio教授萨尔州大学教授软件和硬件系统萨尔州大学萨尔州信息学院E1 3,R.30566123萨布吕肯德国+49 681 302-57330助理:+49 681 302-57330电子邮件主页Wolfgang J.Paul教授博士萨尔州大学名誉教授计算机体系结构与并行计算萨尔大学E1 3,R.30566123萨尔布吕肯德国+49 681 302-2436电子邮件主页Jan Reineke博士教授萨尔州大学教授实时和嵌入式系统萨尔州大学萨尔州信息学院E1 3,R.41066123萨尔布吕肯德国+49 681 302-4448电子邮件主页Gert Smolka教授萨尔大学教授编程系统萨尔州大学萨尔州信息学院E1 3,R.51466123萨尔布吕肯德国+49 681 302-5311助理:+49 681 302-5312电子邮件主页h.c.Reinhard Wilhelm博士教授萨尔州大学名誉教授编程语言与编译器构造萨尔大学E1 3,R.40566123萨尔布吕肯德国+49 681 302-3434电子邮件主页安德烈亚斯·泽勒教授CISPA亥姆霍兹信息安全中心教授软件工程CISPA亥姆霍兹信息安全中心萨尔州信息学院E9 1,R.20766123萨尔布吕肯德国+49 681 302-70971助理:+49 681 302-70970电子邮件主页 这个领域的初级教师 Björn Brandenburg博士马克斯·普朗克软件系统研究所(MPI SWS)组长实时系统马克斯·普朗克软件系统研究所(MPI SWS)Paul-Ehrlich大街G26 G 26,R.41667663凯泽斯劳滕德国+49 681 9303-8401电子邮件主页Sven Bugiel博士CISPA亥姆霍兹信息安全中心组长系统安全CISPA亥姆霍兹信息安全中心萨尔州信息学院E9 1,R.30966123萨尔布吕肯德国+49 681 302-57362电子邮件主页Maria Christakis博士马克斯·普朗克软件系统研究所(MPI SWS)组长编程语言与验证马克斯·普朗克软件系统研究所(MPI SWS)Paul-Ehrlich大街G26 G 26,R.40767663凯泽斯劳滕德国+49 631 9303-9401电子邮件主页Keon Jang博士马克斯·普朗克软件系统研究所(MPI SWS)组长马克斯·普朗克软件系统研究所(MPI SWS)萨尔州信息学院E1 5,R.43866123萨尔布吕肯德国+49 681 9303-9801电子邮件主页Antoine Kaufmann博士马克斯·普朗克软件系统研究所(MPI SWS)组长马克斯·普朗克软件系统研究所(MPI SWS)萨尔州信息学院E1 5,R.41266123萨尔布吕肯德国+49 681 9303-9122电子邮件主页Christoph Lenzen博士马克斯·普朗克信息学院(MPI INF)组长分布式和嵌入式系统理论马克斯·普朗克信息学研究所(MPI INF)萨尔州信息学院E1 4,R.30866123萨尔布吕肯德国+49 681 9325-1008电子邮件主页乔纳森·梅斯博士马克斯·普朗克软件系统研究所(MPI SWS)组长云软件系统马克斯·普朗克软件系统研究所(MPI SWS)萨尔州信息学院E1 5,R.40966123萨尔布吕肯德国+49 681 9303-8801电子邮件主页Ben Stock工程师CISPA亥姆霍兹信息安全中心组长Web安全CISPA亥姆霍兹信息安全中心萨尔州信息学院E9 1,R.20966123萨尔布吕肯德国+49 681 302-57377电子邮件主页Nils Ole Tippenhauer博士CISPA亥姆霍兹信息安全中心组长网络物理系统安全CISPA亥姆霍兹信息安全中心萨尔州信息学院圣英格伯特66386号德国+49 681 87083-2271电子邮件主页Georg Zetzsche博士马克斯·普朗克软件系统研究所(MPI SWS)组长马克斯·普朗克软件系统研究所(MPI SWS)Paul-Ehrlich大街G26 G 26,R.40667663凯泽斯劳滕德国+49 631 9303-8901电子邮件主页