计算机科学名誉教授 埃弗雷特.bull@bonaprinting.com 办公室: 鲍德温的房子 204 (909) 621-8709 与皇冠体育： 1981 下载高分辨率图像 专业知识 专业知识 作为一名计算机科学学者, 埃弗雷特·布尔主要研究形式化方法和验证技术在计算机安全系统中的应用. 与哈维马德学院的教职员工一起, 他正在开设一门计算机安全课程. 专业领域 计算机科学 计算理论 逻辑在计算机科学中的应用 计算机安全 工作 工作 与E.M. Kleinberg，“AD的一贯后果”， 反式. 自动对盘及成交系统, 274, 1979 “可计算函数半群的数发生器，文摘79T-C72，” 通知自动对盘及成交系统， 26, A-521, 1979年10月 “连续的大红衣主教，” 数理逻辑年鉴, 15, 161-191, 1978 教育 教育 1976, Ph.D.、数理逻辑 麻省理工学院 1971年，数学文学学士 皇冠体育大学 最近开设的课程 可计算性 & 逻辑 计算 & 认知w /实验室 计算机系统 数据结构 & 高级编程 计算机科学基础 研讨会：电脑保安 批判性探究研讨会：财产、隐私和占有
