Dr. 阿齐兹砍伐量

副教授

教育

• Ph.D. 计算机科学，肯特州立大学，肯特，俄亥俄州，美国
• M.S. 计算机科学，凯斯西储大学，克利夫兰，俄亥俄州，美国
• B.S. 计算机科学/软件工程(5年制), 康斯坦丁大学, 康斯坦丁, 阿尔及利亚

课程

学术兴趣

• 程序设计与形式语言，软件工程，理论计算机科学
• 流编程语言，程序理解
• 基于语言的软件工程，基于语言的信息流安全
• 模型检查和软件算法验证，形式化方法，并行计算模型

学术活动

选定的出版物

• A. 费拉和A. Bandi, 基于微服务的体系结构:一种进化的软件开发模型, 第33届计算机在工业和工程中的应用国际会议(CAINE 2020)论文集, pp. 1-8，拉斯维加斯，10月. 2020.
• 班迪和A. 砍伐量, 应急灾害管理系统中的认知信息学, 第29届软件与数据工程国际会议论文集, 拉斯维加斯, pp. 第21至28,10月. 2020,
• A. 砍伐量,. Bandi和M. 尤瑟夫, 在软件开发中走向程序理解:一个案例研究, 第四届计算方法与通信国际会议(ICCMC 2020)论文集, pp. 660 - 665年2月. 2020.
• A. Bandi D. 情况下,N. 爱，和A. 砍伐量, “指导研究生指导项目的挑战:通过合作的专业学习”小组讨论:大学计算科学联盟大学计算科学, St. 路易斯,莫. 2019.
• C.  Badami D. 情况下,N. Eloe,. 砍伐量D. Hawley C. 选D. Linville, “计算机科学和信息系统教育的混合课程:适应不断变化的教育方法和需求”小组讨论:大学计算机科学联合会. St. 路易斯,莫. 2019年4月.
• A. 费拉和A. Bandi, 使用交替有限自动机学习语言方程和规则语言, CCSC落基山区第29届年会, 高校计算机科学学报35(2), pp. 19-28，苏瀑，SD. 10月. 2019.
• A. 费拉和A. Bandi, 实时系统中基于自动机的定时事件程序理解,FASSI第五届软件系统集成基础与进展国际会议论文集, 不错的, 法国:IARIA, pp. 第21至28,10月. 2019.
• A. 费拉和A. Bandi, 实时软件系统中的架构衰变预测,第28届软件工程与数据工程国际会议论文集, 圣地亚哥, 加州, pp. 98 - 108年10月. 2019.
• A. Bandi D. 情况下,N. 爱，和A. 砍伐量, 指导研究生指导项目的挑战:通过合作的专业学习:小组讨论.  高校计算机科学联合会. St. 路易斯,莫. 2019.
• A. Bandi和A. 砍伐量, 社会分析:使用社交媒体数据的情感分析,第28届软件工程与数据工程国际会议论文集, 圣地亚哥, 加州, pp. 61 - 67年10月. 2019.
• A.  Bandi,. 费拉和H. Bondalapati, 《威尼斯人在线》,《威尼斯人在线》, 34(4), pp. 78 - 89年4月. 2019.
• S. 贝克,C. 渐变群,. 砍伐量D.  霍利和M. Oudshoorn, 计算机科学与信息系统教育的成果:整合大学, 将大学和学校成果纳入课程”. CCSC中部平原会议小组，密苏里州玛丽维尔，2018.
• A.  Bandi,. 砍伐量H. Bondalapati和M. 科森, 《威尼斯人在线》,第28届软件工程与数据工程国际会议论文集, 新奥尔良, 路易斯安那州, 美国:ISCA, 10月. 2018. 
• A. 费拉和A. Bandi, 递归的本质:约简, 代表团, 和可视化”, 高校计算机科学联合会. 高校计算机科学学报，33(5)，pp. 115 - 123年4月. 2018.
• R. 曾,. Bandi和A. 砍伐量, 基于EMOTIV耳机和编程语言的脑机接口设计, 第二届方法与通信国际会议论文集, ICCMC 2018), 2月. 2018.
• A. Bandi和A.  费拉，《威尼斯人在线》. 高校计算机科学学报，33(2)，pp. 46-56 12月. 2017.
• 罗杰斯. 费拉和D. “Flash, Buzz, Zap和Ouch! “物联网在课堂上的声音和景象”, 《威尼斯人在线》,  内布拉斯加州, 2017年4月.
• Bandi和A. 砍伐量, 将网站转换为移动网站和应用程序的设计问题:一个案例研究, 计算方法与通信国际会议论文集, ICCMC 2017). 2017年7月，印度罗德. 
• 砍伐量, 实时语言和时间时态逻辑:关系和规范, Procedia, 计算机科学杂志, 爱思唯尔卷. 62, pp. 47-54 9月. 2015.
• A. 砍伐量, “实时语言, 定时交变自动机, 和时间时间逻辑:关系和规范”, 软计算与软件工程国际会议论文集(SCSE 2015), 加州大学伯克利分校, 加州, 2015年3月.
• A. 砍伐量, 扩展时间交替有限自动机:重访, 计算机科学基础国际会议论文集, 拉斯维加斯, 美国, 2013年7月.
• A. 费拉和A. Maamir, 一种域无关的近重复检测方法, 国际应用计算会议论文集, 马德里, 西班牙, pp. 139 - 146年10月. 2012.
• A. 砍伐量, 定时事件系统和自动机, 国际控制与应用会议论文集, pp. 2011年6月1日至3日，温哥华，不列颠哥伦比亚省.
• A. 砍伐量, 基于自动机的软件模型检测框架, 美国计算机学会应用计算(SAC)年度研讨会论文集, (软件验证及测试), pp. 2498-2502，瑞士，2011年3月22-26日.
• A. 砍伐量, 软件模型检查的定时状态-事件自动机和交替, 在IADIS的程序中, 应用计算, pp. 226-233，罗马，意大利，11月. 19-22, 2009.
• A. Maamir,. 费拉和L. 萨勒姆, 面向对象系统中信息流控制的细粒度访问权限, 国际安全及其应用杂志, 卷. 2, No. 3, pp. 2008年7月81-91日.
• A. Maamir,. 费拉和L. 萨勒姆, 面向对象系统中的信息流控制, 国际信息与安全杂志, 卷. 2, pp. 140-146, 2008年6月.
• A. Maamir,. 费拉和L. 萨勒姆, “信息流控制的细粒度访问权限”, 国际信息安全与保障会议论文集, 釜山, 韩国, pp. 122-128, 2008年4月.
• M. 玛蒂和A. 砍伐量, 压缩可读文档的高效页面级信息检索, 应用计算国际会议论文集, 阿尔加夫, 葡萄牙, pp. 156-163, 2008年4月.
• A. 砍伐量,Z. 弗里格斯塔德和S. 误, 确定性定时AFA:一类新的定时交替有限自动机, 计算机科学杂志, 卷. 5. No. 1, pp. 1-8, 2007.
• A. 砍伐量, 论模型检验及相关自动机问题, 第三届年度科学论坛, 沙迦大学, 阿联酋, 可能2 - 3, 2007.
• A. 砍伐量, 并发软件架构和分布式时间相关Web服务的交替和时间, 国际方法工具会议论文集, 软件应用(M)&S MTSA' 2006)，页. 2013年7月31日至8月，卡尔加里. 2, 2006.
• A. 砍伐量, 广义定时交替有限自动机, 第七届布尔问题国际研讨会论文集, 弗莱, 萨克森, 德国, pp. 159 - 164年9月. 20-22, 2006.
• A. 砍伐量,Z. 弗里格斯塔德和S. 误, 欧米茄DTAFA的一些简洁性, 软件工程国际会议论文集 & 分布式系统，pp. 500-506，马德里，西班牙，2月. 15-17, 2006.
• A. 砍伐量,Z. 弗里格斯塔德和S. “欧米茄- DTAFA的一些简洁性”，计算机学报，卷. 5 (4), pp. 740-745, 2006.
• A. 砍伐量, 布尔网络服务自动机:分布式网络服务操作的并行模型, IEEE通信会议的会议记录, 计算机与信号处理, pp. 416-420，维多利亚，BC.，加拿大，pp. 24-26, 2005.
• S. 误和A. 砍伐量, “解析函数的实零点定位”, 高性能计算科学与工程(HPCSE), Kluwer学术出版社,  施普林格,  pp. 123-142, 2005.
• A. 砍伐量, “确定性定时交替有限自动机”, 国际会议记录 & 布尔问题研讨会，页. 63-70，弗莱堡，德国，9月. 2004.
• A. 费拉和C. 哈丁, 时间交替有限自动机的语言方程, 国际计算机数学杂志, 卷. 80 (9), pp. 1075-1091, 2003.
• A. 马米尔和A. 砍伐量, 使用版本为面向对象系统增加信息流控制的灵活性, 国际软件工程与知识工程杂志, 卷. 13 (3), pp. 313-325, 2003.
• A. 费拉和R. 莫森, 用于字符串搜索的分布式多维后缀数组, IEEE国际通信会议论文集, 计算机与信号处理, pp. 792-795，维多利亚，不列颠哥伦比亚省，加拿大，8月. 2003.
• A. 砍伐量,. 马米尔和我. Rahwan, 面向对象系统中使用版本的信息流控制, 高性能计算系统和应用, 第十三章, Kluwer学术出版社, pp. 271-284 2003.
• A. 砍伐量, 计算机集群上基于对象的分布式内存分页, 计算机和电信系统性能评价国际研讨会, pp. 加利福尼亚州圣地亚哥240-245,2002年7月.
• A. 砍伐量, 计算机集群上多键排序的并发和分布式数据结构,  IEEE第十六届高性能计算系统与应用国际研讨会论文集, pp. 2002年6月，加拿大蒙克顿281-28号.
• A. 砍伐量, 计算机集群的多键排序与搜索,  科学与工程计算与数学方法国际会议(CMMSE). 算法和高性能计算，Alcante，西班牙，2009年9月. 2002.
•  A. 砍伐量, 利用计算机集群改进分布式面向对象虚拟内存分页,  科学与工程计算与数学方法国际会议(CMMSE). 算法和高性能计算，阿尔坎特，西班牙，9月. 2002.
• A. 砍伐量,M. A. Maamir, Hypercube多计算机上多键排序的高效数据和工作负载平衡, 应用信息学会议论文集, pp. 355-358，因斯布鲁克，奥地利，二月. 2001.
•  A. 砍伐量,. 马米尔，还有马米尔先生. Abaza，“关于多键排序”，国际工程软件进展杂志，卷. 31, pp. 493-498, 2000.

其他专业经历

• 计算机科学会议、期刊和研究补助金的同行评审.
• B .委员会主席.Sc./M.S. 软件工程专业
• 学院教学卓越奖.
• 研究主席兼协调员.
• 本科生研究协调员.
• 智能顾问，博士. 朗. & 软件系统.
• 公关及学生社团联络协调员.
• 奖学金委员会委员.
• KCP协调员&L和每个年度比赛.
• 招聘及留用委员会开放日主席.
• 系及学院终身教职晋升委员会成员.
• 研究生计划委员会成员.
• ACM区域和国际大学编程竞赛:成员，联合主席，裁判，教练.
• 高中省级编程比赛:协调员.
• 中学省级编程竞赛:协调员.
• 计算机科学协调员.
• 丰富的计算机认证经验(i).e.，教唆，csac).
• 委员会成员，导师/共同导师，论文和提案的审稿人.
• 大量参与各种计算机学术项目.
• 可观的研究经费.