西格德Meldal

你的职业:

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多篇技术论文.