Dr. M. 安德鲁·莫舍
代数计算卓越中心主任，教授 & 拓扑结构
施密德科学学院 and 技术; Mathematics
办公地点:
凯克科学与工程中心366
- 教育:
- 加州州立大学富勒顿分校，理学学士
密歇根大学理学硕士
密歇根大学，博士.D.
传记
度
- Ph.D. 1988年8月获密歇根大学计算机科学博士学位.
- M.S. 1984年12月获密歇根大学计算机科学博士学位.
- 1983年5月在加州州立大学富勒顿分校获得计算机科学学士学位.
学术经验
- 计算机科学与数学教授. 澳门威尼斯人app下载大学. 1994年9月——现在.
- 系主任. 数学与计算机科学，1997年1月- 2006年8月.
- (研究教员)计算机语言学, Universität des Saarlandes, 萨尔布吕肯, 德国. 1992年6月至1994年5月.
- 加州大学客座助理教授, 洛杉矶的计算机项目, 数学系. 1988年7月至1992年6月.
- 密歇根大学电子工程与计算机科学系助教. 1985年1月至1988年5月.
- 密歇根大学研究助理. 1983年9月至1986年12月. 加州州立大学富勒顿分校计算机科学系讲师. 1983年7月至1983年8月.
相关专业经历
- Ayres-Sowell Associates和劳伦斯伯克利实验室能源模拟小组的研究顾问. 1988年6月至今. 参与了面向对象连续仿真语言SPARK的设计与实现. 主要成就:开发了一种将方程组分解为独立可解子系统的优化策略.
- 程序员. 各种软件公司. 1981年7月至1986年8月. 亮点:设计和实现PsyChart, 为机械工程师设计的CAD工具, regarded by its distributor as an outstanding program for its longevity and maintainability (on the market for over fifteen years); implemented graphics drivers for Auto CAD; designed and implemented pre-Windows graphical user interfaces for DOS; implemented RSA-based encryption software for PC security.
专利申请中
2010年1月,米.A. 和J. Furlong，“一种更快、可扩展的方法和设备”
Montgomery乘法，”USPTO申请11/277,758,2006年3月.
最近的创意，学术工作和出版物
-
球,R.N.莫舍，M.A. & Pultr,. 封闭子区域的精确过滤器和连接. 应用类别结构28,655 - 667 (2020).
-
,米.A.波尔特，A. & 苏亚雷斯,.L. 精确过滤器和强精确过滤器. 应用类别结构(2020年).
-
Jipsen P.，梁，F.莫舍，M. A.齐姆利斯，A. (2017)偏序多型代数, 显示演算与范畴弱化的关系. LATD 2018会议录.
-
,米.A. 框架与框架关系. 代数、逻辑和拓扑学研讨会，葡萄牙科英布拉，2009年9月. 2019.
-
G. 希腊,F. 梁,M.A..莫舍和A. Palmigiano, “半De Morgan逻辑的多类型显示演算”，第24届国际研讨会论文集, WoLLIC 2017, 伦敦, UK, 7月21, 2017. 施普林格
-
R.N. 球,米. A. J·莫舍,.L. Walters-Wayland & A. Pultr，“Lindelöf紧度和Dedekind-MacNeille完成规则s型框架” 数学问题卷. 40、先生. 3, 2017年4月，第347—362页.
-
,米. 安德鲁和皮卡多, 乔治和普尔特, 啤酒š, 根据子集和关系生成亚区域:一堆修饰词. 通用代数，第78卷，第1期. 2017年9月，第105- 118页.
-
batachargee, P莫舍，M. A. 韦兰，J. 刚性框架映射和布尔化, 拓扑学及其应用, 卷194, 2015年10月, 400 - 408页.
-
P. 吉普森和M. A. 莫舍, 具有测试和分支自动机的并发Kleene代数, 规划中的逻辑和代数方法杂志, 卷85, 问题4, 2016年6月, 637 - 652页.
-
M. 莫舍和P. Jipsen, 对偶与格展开，第一部分:正则扩展的拓扑构造，代数通论, 2014年4月, 卷71, 问题2, pp 109-126
-
M. 莫舍和P. Jipsen, 对偶与格展开式，第二部分:拟算子的格展开式，代数通论, 2014年5月, 卷71, 问题3, pp 221-234
-
2012年6月组织牛津对偶理论研讨会. 我作为协办人与教授. 普里斯特利博士和希拉里. 狮子座卡布瑞拉.
-
在编程语义的数学基础会议上组织了连续数据计算专题会议, 英国巴斯, 2012年6月