Dr. 拉丹·拉尔

助理教授

教育

• Ph.D. Computer Science; Kansas State University, 2021
• M.Tech. Computer Science; Indian Statistical Institute, India, 2014
• MCA (Master of Computer Application); Motilal Nehru National Institute of Technology, India, 2010
• B.S. Mathematics and Statistics; University of Allahabad, India, 2006

课程

• 44641面向对象系统
• 44642应用程序Des：模式 & Frmwrks
• 44413/44613数据可视化

学术兴趣

• 网络物理系统和神经网络的正式验证
• 应用于机器人，自动驾驶汽车，无人驾驶飞行器和无人水下航行器
• 农业和医院自动化

学术活动

谷歌学者

选择出版物:

• 拉丹·拉尔 和Pavithra Prabhakar. 农药喷洒时最优多四旋翼轨迹规划. 国际机器人与自动化会议（ICRA）， 2021.
• 拉丹·拉尔， Aaron McKinnis, Dustin Hauptman, Shawn KeshmiriPavithra Prabhakar. 正式验证了飞机控制器可恢复性的切换逻辑. 计算机辅助验证国际会议（CAV）， 2021.
• 拉丹·拉尔 和Pavithra Prabhakar. 线性离散随机系统的安全性分析. 嵌入式软件国际会议（EMSOFT (WiP)）， 2020.
• 拉丹·拉尔 和Pavithra Prabhakar. 基于反例的多面体概率混合系统抽象改进. 嵌入式软件国际会议（EMSOFT）， 2019.
• Pavithra角色, 拉丹·拉尔 詹姆斯·卡宾斯基. 信号时序逻辑的自动跟踪生成. 第39届IEEE实时系统研讨会（RTSS）， 2018.
• 拉丹·拉尔Ajay Sharda和Pavithra Prabhakar. 农田农药喷洒多机器人路径优化规划. 56^th IEEE决策与控制会议（CDC）， 2017.
• 帕维瑟拉·普拉巴卡，米里亚姆·加西亚·索托和 拉丹·拉尔. 混合系统的验证技术. 7^th 2016年国际学术研讨会.
• 拉丹·拉尔Pavithra Prabhakar. 参数化线性系统的有界误差流管计算. 15^th 嵌入式软件国际会议（EMSOFT）， 2015.

学生团体辅导

以前:

• Grow & 兴奋夏令营 关于机器人，堪萨斯州立大学，2018年
• 夏天干 论机器人，2017，堪萨斯州立大学，2017

其他专业经历

程序委员会:

• EdgeDL 2021: 面向智能健康和福利应用的边缘深度学习
• ACCSE 2021: 计算、通信和服务进展国际会议
• ACCSE 2020: 计算、通信和服务进展国际会议

RE计划委员会：

• HSCC 2021: 混合系统：计算与控制国际会议
• HSCC 2020: 混合系统：计算与控制国际会议
• 骑兵2020: 计算机辅助核查国际会议
• HSCC 2019: 混合系统：计算与控制国际会议

评审人员:

• 硫氢化钠2021: 国际自动控制联合会杂志
• tec 2021: 美国计算机学会嵌入式计算系统汇刊
• 顿巴黄铜2020: 美国计算机学会建模与计算机仿真汇刊
• 2020年成就法: 印度科学院学报
• ICRA 2020: 机器人与自动化国际会议
• 社2020年: 国际软计算会议
• 自动化2019: 国际自动控制联合会杂志

Other

Honour & Awards:

• 杰出的 研究生研究奖，堪萨斯州立大学，2021年
• Graduate 杰出的 出版奖，堪萨斯州立大学，2021年
• Gattanni 2019年，堪萨斯州立大学优秀研究生奖
• Graduate 杰出的 出版奖，堪萨斯州立大学，2019年
• Graduate 杰出的 2019年，堪萨斯州立大学学生奖