基本信息
浏览量:683
职业迁徙
个人简介
Betty H.C. Cheng received her BS in computer science from Northwestern University in 1985 and her
MS and PhD degrees in computer science from the University of Illinois-Urbana Champaign, in 1987
and 1990, respectively. Her dissertation addressed a translation-based approach to code generation
from formal specifications. She joined the faculty at Michigan State University in 1990, where
she developed and has taught several courses in software engineering and formal methods, making
software engineering one of the fundamental areas in the undergraduate and graduate curricula.
She has also taught courses in programming languages, software engineering for embedded systems,
and formal methods for security and adaptive systems. In recognition of her teaching efforts, she
received the Withrow Teaching award in 1998. With funding from NSF, NASA, and EPA, she
established the Software Engineering Research Group, involving 10-15 research assistants over a
six-year period.
In 1996, Dr. Cheng co-founded the Software Engineering and Network Systems Laboratory,
where funding from NSF Research Instrumentation grants provided funds for the computing infrastructure.
The SENS laboratory has since grown to include six faculty members and supports
approximately 30 graduate research assistants. She has been a PI or Co-PI on externally funded
projects totaling more than $35 M, with funding from NSF, DARPA, ARO, AFRL, NASA, EPA,
USDA, and numerous industrial collaborators, including Eaton Corporation, Ford Motor Company,
General Motors, Motorola, and Siemens. Her research interests include high assurance systems,
integrating informal and formal software engineering techniques, automated software engineering,
model-driven engineering, embedded systems, dynamically adaptive software systems, and harnessing
digital evolution for developing high-assurance systems.
研究兴趣
论文共 286 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
ACM Transactions on Autonomous and Adaptive Systems (2024)
SEARCH-BASED SOFTWARE ENGINEERING, SSBSE 2023 (2024): 19-34
SOFTWARE AND SYSTEMS MODELINGno. 5 (2023): 1543-1563
2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)pp.121-130, (2022)
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems (2022)
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn