基本信息
浏览量:296
职业迁徙
个人简介
Bastani's research interests are in the areas of software engineering, software reliability, formal methods, program transformation, self-stabilization and inherent fault tolerance.
His current focus is on embedded systems – making sure that computer systems work reliably and that if one part of a system fails, recovery systems automatically engage to ensure system safety.
For example, a car is a complex machine with embedded systems. A typical car is controlled by several interconnected computers.
"It is a complex integrated system with lots of time constraints. If a car hits a patch of ice and the driver loses control, antiskidding capabilities have to be activated in real time based on the car's speed and travel direction. The reliability of the system depends not only on doing things correctly, but also doing it at the correct time."
The UT Dallas site of the National Science Foundation Net-Centric Software & Systems Industry/University Cooperative Research Center (NSF NCSS I/UCRC) was formed in 2009 and has included research with Boeing, Cisco Systems, Codekko Inc., Hewlett-Packard Co., Keane, Lockheed Martin, Raytheon Co., Texas Instruments Inc. and Tektronix.
"Through the center, students get to do invaluable work with high-technology companies and land positions when they graduate," Bastani said.
Bastani's group is also working on automated software synthesis – which involves telling a system what is needed and having the system automatically generate the code.
Bastani earned his bachelor's degree in electrical engineering from the Indian Institute of Technology, Bombay, and his master's and doctoral degree in computer science from the University of California, Berkeley.
He was a professor at the University of Houston before joining UT Dallas in 1997. Bastani's wife, I-Ling Yen, is also a faculty member in the Department of Computer Science of the Erik Jonsson School.
研究兴趣
论文共 134 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) (2018): 480-486
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn