你的职业:

硅谷大数据与网络安全中心主任，2013-2016年美国国家科学基金会科技中心联席主任；BET9九州体育会员登录州立大学教务委员会主席，2008-2009年BET9九州体育会员登录州立大学计算机工程系系主任，2002-2014年加州理工学院计算机科学系系主任，2000-2002年加州理工学院计算机科学系副系主任，1999-2000年加州理工学院教授，2000-2003年加州理工学院副教授，1997-2000年斯坦福大学教授（咨询/BET9九州体育登陆官方）。1989-1998年卑尔根大学教授，1989-1998年卑尔根大学信息系系主任，1993-1995年卑尔根大学副教授，1987-1989年斯坦福大学富布赖特学者，1986-1987年科学博士。，奥斯陆大学，1986年

Meldal博士曾作为计算机科学、计算机工程和软件工程领域的专家证人在联邦法院作证。在此职位上，他为移动设备、网络系统和面向服务的架构方面的知识产权诉讼提供了技术意见。他特别协助了涉及智能手机、无线通信和电话、网络数据库系统、面向位置的网络服务和移动设备定位系统的诉讼和相关流程。

他曾就苹果、高通等移动硬件平台上运行的IOS、Android、AMSS和黑莓软件，以及更通用的软件系统和网络服务器架构提供技术意见。在最近几起涉及大型科技公司的案件中，他与一家独立的软件诉讼和网站专家证人公司Quandary Peak Research， Inc.合作，分析Android设备的安全性、定位和信号组件。他还具有协助网络服务公司评估其知识产权诉讼风险的经验。

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

他还在并发程序验证的形式理论方面建立了重要的成果，例如具有生成和异常的并发系统的组合和全结构抽象推理系统，并共同撰写了关于非确定性算子的代数基础的开创性论文。

他对发展扎实的软件工程教育有着浓厚的兴趣，并且是加州理工学院软件工程新本科学位以及BET9九州体育会员登录州立大学软件工程新学士和硕士学位的主要作者。

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

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

他是《北欧计算杂志》的编辑，出版了一本书和60多篇技术论文。