拉杰夫·阿鲁尔

拉杰夫·阿鲁尔
拉杰夫·阿鲁尔
齐斯曼家族教授
计算机与信息科学系
 宾夕法尼亚大学
609莱文
宾夕法尼亚州费城胡桃街3330号，邮编：19104-6389
电子邮件：cis-upenn-edu校友
电话：+1（215）573-7483

概述

我的研究重点是系统设计的形式化方法，涵盖人工智能、网络物理系统、，分布式系统、计算机科学中的逻辑、机器学习和编程语言。我是ASSET（人工智能系统中心：安全、可解释和值得信赖）也是Penn的成员PRECISE中心和PL俱乐部.

研究

我目前的研究主要集中在值得信赖的AI和安全自治.自主系统越来越依赖机器学习来进行决策。当此类系统用于安全关键型系统时在无人驾驶汽车和医疗设备等应用中，我们需要保证它们的安全。这推动了研究在学习算法中集成逻辑推理。代表性研究方向为：

如何正式验证包含基于神经网络的控制器的闭环系统？出版物示例：Verisig公司,EMSOFT’21；谈话（1月20日）
如何在强化学习中整合逻辑规范？出版物示例：RL中的时间逻辑：调查,光谱；AAAI'23教程幻灯片

以下是我过去研究的一些精选贡献(出版物完整清单):

流处理系统的编程抽象：定量正则表达式,StreamQRE系统、和同步架构、和谈话（2018年4月）。
语法引导的程序合成; 看见原始纸张和概述（2021年4月）作为美国国家科学基金会计算机增强程序工程（ExCAPE）项目考察。
单个过程中的所有正则变换：流串传感器（请参见谈话),流树传感器
嵌套词（又称可视下推语言）用于使用线性层次结构建模数据
并发软件的架构（Architecture）软件分析（请参阅PLDI 2007年CheckFence上的纸）
嵌入式控制软件组合调度的自动机理论方法(代表性出版物)
查龙用于混合系统的建模和验证
多代理系统：反应式模块(FMSD 1999论文),摩卡, 交替时间时序逻辑(JACM 2002论文)
基于场景的需求的规范、分析和测试。
混合自动机(TCS 1995论文)
实时时序逻辑：TPTL(JACM 1994论文)、TCTL(I&C 1993论文)、MITL(JACM 1996论文)
定时自动机(TCS 1994论文); 看见博客帖子和采访2016年荣获阿隆佐教堂奖，表彰其对逻辑和计算的杰出贡献。

教学

2024年春季：值得信赖的机器学习
在本科阶段，我教书CIS 2620：自动机、可计算性和复杂性，通常是每个秋季学期。为了帮助学生学习确定性有限自动机的基本模型，我们开发了交互式工具自动教程具有新颖的特点用于自动生成反馈和自动分级。如果你是一名教授这方面课程的讲师，请鼓励您的学生使用此工具，如果您想设置使用我们的工具完成家庭作业，给我们发电子邮件！
CIS 6730：计算机辅助验证下一次发行：2023年春季。
对硕士生进行嵌入式新兴领域所需的跨学科技能培训和网络物理系统，宾夕法尼亚工程学院启动了一个新项目欧洲工商管理学院我执导了很多年。多年来，我一直在教书CIS 540：嵌入式计算原理用于此程序。关于这个话题，我写了课本网络物理系统原理那是麻省理工学院出版社于2015年4月出版。有很多教学资源，例如练习、解决方案、幻灯片和项目，如果您想授课，可以使用类似的课程。

研究小组

现任博士生：
1. 菲利普·希利亚德（与联合顾问扎克·艾夫斯)
2. 康斯坦蒂诺斯·卡拉斯
3. Spyros Pavlatos公司
4. 阿莱亚·索尔科·布雷斯林（与联合顾问马约尔·奈克)
5. 克里斯·沃森
6. 薛安东（Anton Xue）（与共同建议黄少祺)
前成员：
1. Aalok Thakkar公司2023年夏季博士（与Mayur Naik共同担任顾问）
  论文：关系查询的示例引导综合。
  Aptos实验室。
2. Kishor Jothimurugan公司2023年春季博士。
  论文：规范引导强化学习。
  两西格玛。
3. 苏古曼·班萨尔，CRA/NSF计算创新研究员，2020-22年。
  佐治亚理工学院计算机科学系教员。
4. 卡勒布·斯坦福2022年夏季博士。
  论文：分布式流上的安全编程。
  加州大学戴维斯分校计算机科学系教员。
5. 雷氏（与Boon Thau Loo共同担任顾问），博士，2022年春季。
  论文：实用网络编程自动化。
  华为研究。
6. 拉多斯拉夫·伊万诺夫博士后研究员，2018-21年（与Insup Lee和George Pappas共同担任顾问）。
  伦斯勒理工学院计算机科学系教员。
7. 王月鹏，博士后研究员，2020-21年（与Mayur Naik共同担任顾问）。
  加拿大西蒙弗雷泽大学计算机科学系教员。
8. 菲利普·尼基奇，博士后研究员，2018-20。
  谷歌。
9. 栾越元，博士后研究员，2018-19年。
  代顿大学计算机科学系教员。
10. 尼米特·辛哈尼亚，博士，2018年秋季（与Joe Deviette共同担任顾问）。
  论文：GPU程序性能的静态分析(pdf格式)
  易趣网。
11. 康斯坦蒂诺斯·马穆拉斯，博士后研究员，2015-18。
  莱斯大学计算机科学系教员。
12. 阿琼·拉德哈克里什纳，博士后研究员，2014-17。
  微软。
13. 穆昆德·拉戈塔曼，博士，2016年秋季。
  论文：基于数据流的常规编程(pdf格式)
  南加州大学计算机科学系教员。
14. 达娜·菲斯曼，ExCAPE研究科学家，2013-16。
  计算机科学系，以色列本古里安大学。
15. 萨拉尔·莫拉里夫2016年夏季博士（与Ufuk Topcu共同担任顾问）。
  论文：多智能体系统的合成反应合成(pdf格式)
  优步。
16. Yifei Yuan公司2016年夏季博士（与Boon Thau Loo共同担任顾问）。
  论文：网络策略编程的高级抽象(pdf格式)
  阿里巴巴。
17. Abhishek Udupa公司，博士，2016年春季。
  论文：从场景和规范合成分布式协议(pdf格式)
  微软。
18. 洛里斯·德安东尼,博士，2015年夏季。
  论文：使用自动机和传感器编程
  威斯康星大学麦迪逊分校计算机科学系。
19. 克里斯托斯·斯特吉奥，ExCAPE博士后研究员，2013-15。
  谷歌。
20. 塞拉·马多尔·海姆、全部输出发行。
  隐蔽性。
21. 阿什图什·特里维迪，博士后研究员，2010-12。
  科罗拉多大学博尔德分校计算机科学系教员。
22. Jyotirmoy Deshmukh公司2010-2012年，博士后研究员（计算机创新研究员）。
  南加州大学计算机科学系。
23. 帕沃尔·塞尔尼2009年夏季博士。
  论文：软件模型机密性检查
  奥地利维也纳大学计算机科学系。
24. 杰拉·韦斯2006年至2009年，博士后研究员。
  计算机科学系，以色列本古里安大学。
25. 阿迪蒂亚·卡纳德，博士后研究员，2007-2009年。
  计算机科学与自动化系，印度科学院，班加罗尔。
26. 米哈伊尔·伯纳德斯基2008年春季博士。
  论文：随机离散事件系统的符号分析
  Cox数字解决方案
27. 斯瓦拉特·乔杜里2007年夏季博士。
  论文：软件分析的逻辑和算法
  德克萨斯大学奥斯汀分校计算机科学系教员。
28. 塞巴斯蒂安·伯克哈特2007年夏季博士（与Milo Martin共同担任顾问）。
  论文：并发数据类型的内存模型敏感分析 pdf格式
  微软研究院，雷蒙德。
29. Wonhong Nam公司2007年春季博士。
  论文：使用语言学习进行合成和合成验证
  韩国孔国大学互联网与多媒体工程系。
30. 迈克尔·麦克道格尔2005年春季博士（与卡尔·冈特共同担任顾问）。
  论文：建模和分析集成策略 pdf格式
  亚马逊网络服务。
31. 马德苏丹·帕塔萨拉蒂，博士后研究员，2001-2004年。
  伊利诺伊大学香槟分校计算机科学系。
32. 弗兰乔·伊万西奇, 博士，2003年秋季。
  论文：混合系统的建模与分析,摘要
  谷歌。
33. 资江·杨博士，2003年秋季。
  论文：降低符号可达性分析计算要求的技术,摘要
  西密歇根大学计算机科学系。
34. Supratik Mukhopadhyay公司，博士后研究员，2001-02。
  路易斯安那州立大学计算机科学系。
35. 陶当（Thao Dang），博士后研究员，2000-2001年。
  法国格勒诺布尔CNRS。
36. 王朝霞（Bow-Yaw Wang）, 博士，2001年夏。
  论文：异步进程的层次化约简和精化检查,摘要
  中国科学院，台湾。
37. 萨尔瓦托雷拉托雷，博士，2001年夏季。
  论文：中反应系统和决策问题的验证时间逻辑,摘要
  意大利萨勒诺大学计算机科学系
38. 拉杜·格罗苏，博士后研究员，1998-2000。
  奥地利维也纳大学信息学院。
39. 乔治·帕珀斯,博士后研究员，1999-2000。
  宾夕法尼亚大学电气与系统工程系。
硕士学位：Himyanshu Anand（医学硕士，2000年），阿纳布尼·巴塔查吉（Arnabnil Bhattacharjee，MS，1999），Arun Chandrashekharapuram（医学硕士，2005年），Gunjan Gupta（MS，2004），Steve Hsu（MS，2022），康敏素（MS，2001），Jason Simas（理学硕士，2004年），Shaan Vaidya（医学硕士，2021年）。