Sepehr Amir-Mohammadian
副教授，计算机科学
斯托克顿
办公室:
室122
电话号码:
我是一名副教授 计算机科学系, 博彩平台网址大全. 我的研究探索了编程语言理论之间的相互作用, 数理逻辑, 和网络安全. 特别是, 我的目标是理解语言方法如何帮助在不同的应用程序中建立感兴趣的属性. 2017年，我获得了计算机科学博士学位 论文 关于深度安全策略的运行时实施.
我喜欢教授本科生和研究生的计算机网络课程, 可靠的软件设计, 编程语言, 以及计算机科学的理论方面.
我曾担任工程师 & 2020-2021年计算机科学委员会主席. 我目前是工程与计算机科学学院教育技术委员会的代表.
教育
佛蒙特大学计算机科学博士，2017年
硕士，信息安全工程，阿米尔卡比尔理工大学，2011
学士，信息技术工程，阿米尔卡比尔理工大学，2009
教学的兴趣
网络
编程语言
网络安全
计算机科学的理论方面
研究的焦点
网络安全 专注于 编程语言 提供的技术 正式的软件安全保证.
最近的出版物
请结帐。 出版物页面 查看更新的更详细的列表.
- Khayyam Salehi, Ali A. Noroozi, Sepehr amir - mohammaddian, Mohammadsadegh mohaghghi. 并行程序的自动化定量信息流分析. In 第19届系统定量评估国际会议论文集(QEST 2022)第43- 63页. 斯普林格国际出版社，2022年9月. [ 围嘴 | .pdf ]
- 尼古拉斯·D. Ahn和Sepehr Amir-Mohammadian. 为并发审计日志配置微服务:超越Horn子句. In 第16届IEEE安全与信任国际研讨会论文集 & 软件应用程序隐私(STPSA 2022), 作为第46届IEEE计算机年会的一部分, 软件, 与应用会议(COMPSAC 2022)，第1762—1767页，2022年6月. [ 围嘴 | .pdf ]
- Khayyam Salehi, Ali A. Noroozi和Sepehr Amir-Mohammadian. 利用PRISM模型检查器量化概率程序的信息泄漏. In 第十五届新兴安全信息国际会议论文集, 系统与技术(SECURWARE 2021)，第47—52页，2021年11月. [ 围嘴 | .pdf ]
- Sepehr Amir-Mohammadian和Afsoon Yousefi Zowj. 迈向微服务并发审计日志. In 第15届IEEE安全与信任国际研讨会论文集 & 软件应用程序隐私(STPSA 2021), 作为第45届IEEE计算机年会的一部分, 软件, 与应用会议(COMPSAC 2021)，第1357—1362页，2021年7月. [ 围嘴 | .pdf ]
- Akshat Bajpai和Sepehr Amir-Mohammadian. 基于单目视觉SLAM的室内导航系统研究. In 资讯科技实务研讨会论文集, 第45届IEEE计算机年会, 软件, 与应用会议(COMPSAC 2021)，第520—525页，2021年7月. [ 围嘴 | .pdf ]
- Sepehr Amir-Mohammadian. 混合动态系统中直接信息流的语义框架. In 第七届ACM信息物理系统安全研讨会论文集(CPSS 2021)，第5- 15页. 计算机协会，2021年6月. [ 围嘴 | .pdf ]
- Sepehr Amir-Mohammadian和Chadi Kari. 并发系统中正确的审计日志记录. 理论计算机科学中的电子笔记， 351:115—141,2020年9月. 特刊的一部分:LSFA会议录2020, 第15届逻辑和语义框架国际研讨会, 与应用程序. [ 围嘴 | .pdf ]
- Christian Skalka, Sepehr Amir-Mohammadian, Samuel Clark. 可能是受污染的数据:理论和案例研究. 计算机安全杂志生态学报，28(3):295—335,2020年4月. [ 围嘴 | .pdf ]
- Chadi Kari, Sixia Chen, Sepehr Amir-Mohammadian和Vivek K. Pallipuram. 大规模异构存储系统中有空闲节点的数据迁移. In 国际计算机会议, 网络和通讯, ICNC 2019, 火奴鲁鲁, HI, 美国, 2月21, 2019. IEEE, 2019年2月. [ 围嘴 | .pdf ]
