Meldal,西格德

Meldal,西格德

教授,计算机工程、软件工程、计算机科学

电子邮件

首选: 西格德.meldal@aproteka.com

可选: 西格德.meldal@mostly-sunny.com

电话

首选: (408) 924-3960

办公时间

通过计算机工程系预约

爱好:

  • 网络安全
  • 软件工程教育
  • (分布式)软件的规范和一致性
  • 分布式架构原型

教育

  • 1986年,挪威奥斯陆大学计算机科学博士
  • 萤石. 真正的.,计算机科学,挪威奥斯陆大学,1982年

生物

当前位置:

上海大学计算机工程、软件工程与计算机科学教授 何塞州立大学.

在大学的教职 计算机工程计算机科学 部门.

工程评审委员会委员 支持公司.

你的职业:

2013-2016年,硅谷大数据与网络安全中心主任 
美国国家科学基金会科学技术中心:无所不在安全研究小组联合主任 技术,2005 - 2017
2008-2009年,圣何塞州立大学学术委员会主席
2002-2014年,美国圣何塞州立大学计算机工程系系主任
2000-2002年,加州理工学院计算机科学系系主任
1999-2000年,加州理工学院计算机科学系副系主任
2000-2003年,加州理工学院教授
加州理工学院副教授,1997-2000
斯坦福大学教授(咨询/访问),1989-1998年
1989-1998年,卑尔根大学教授
1993-1995年,卑尔根大学信息系系主任
1987-1989年,卑尔根大学副教授
富布赖特学者,斯坦福大学,1986-1987
Dr. 有技巧的.,奥斯陆大学,1986年

Dr. 梅尔达尔作为计算机领域的专家证人在联邦法院作证 科学、计算机工程和软件工程. 在这个角色中,他提供了 在涉及移动设备、网络系统等的知识产权诉讼中提供技术意见 面向服务的体系结构. 特别是,他曾协助处理诉讼和相关案件 过程涉及智能手机,无线通信和电话,网络数据库 系统、面向位置的web服务和移动设备定位系统.

他曾就IOS、Android、AMSS和黑莓软件提供技术意见 在苹果、高通和其他移动硬件平台上运行,以及更通用的 软件系统和网络服务器架构. 在最近的几起案件中 各大科技公司,他都有独立合作 软件的诉讼网站专家证人 公司 困顿峰研究公司. 分析Android设备中的安全、定位和信令组件. 他还具有协助网络服务公司评估其知识产权诉讼的经验 曝光.

他的研究兴趣主要集中在并发处理的许多方面 通过编程、原型设计和规范强调其形式化 带有支持工具的形式主义. 他参与了任务的定义 他是Rapide开发项目的高级研究员 用于分布式体系结构原型和抽象的语言框架 大规模一致性检查所需的机制.

他还在形式验证理论中建立了重要的结果 并发程序,如组成和完全结构化的抽象推理 系统的并发系统与产卵和异常,并共同撰写的种子 非确定性算子的代数基础.

他对发展扎实的软件工程教育有着浓厚的兴趣, 也是加州理工学院软件工程本科学位的主要作者 以及圣何塞州立大学新开设的软件工程学士和硕士学位.

作为网络安全+大数据计划的主管,他正在开展新的研究 以及网络安全和数据科学的研究生课程,利用这种相互作用 这两个领域以及它们各自不同的承诺和挑战.

他是高等教育国际化的坚定支持者,特别是 为学生准备一个全球化的工作场所所必需的国际合作. 为此,他与印度和中国的大学合作建立了合作关系 学生和教师交流以及双学位或联合学位课程的框架 将来自不同国家的学生聚集在一个教育环境中.

他是《lol菠菜网正规平台》的编辑,已经出版了一本书 60多篇技术论文.