基本信息
浏览量:48
职业迁徙
个人简介
Dino Mandrioli was born in 1949. He graduated in electrical engineering at the Politecnico di Milano in 1972 and in mathematics at the Università Statale di Milano in 1976. He has been assistant and associate professor at Politecnico di Milano from 1976 to 1980; professor at the Università di Udine from 1981 to 1983. Since then, he is professor of computer science at the Politecnico di Milano. Presently he is the dean of the Faculty on Information Engineering at the same University.
He has been a visiting scholar at the University of California at Los Angeles in 1976, at the University of California at Santa Barbara in 1981, 1992, 1997, 2001, at Hewlett Packard research laboratories in Palo Alto in 1989 and 1990, at EPFL, Lausanne, in 1999. Mandrioli's research interests include theoretical computer science and software engineering, with particular reference to specification languages and environments, programming languages, real time systems. He has published over 100 scientific papers in major journals and conferences of the field, including Journal of the ACM, ACM Transactions on Programming Languages and Systems, ACM Transactions on Software Enegineering and Methodologies, IEEE Transactions on Software Engineering, Information and Computation (formerly Information and Control), SIAM Journal on Computing, Theoretical Computer Science, Software Practice and Experience, International Conference on Software Engineering. Many of his papers have had a fairly strong impact in the scientific community as it is shown by the many citations and reviews (e.g ACM’s Computing reviews). He has also published several books, including "Theoretical Foundations of Computer Science" with Carlo Ghezzi, "Fundamentals of Software Engineering" (I and II eds, translated in Italian, Chineese, and Russian) with Carlo Ghezzi and Mehdi Jazayeri, "The Art and Craft of Computing" (I and II eds, translated in Italian) with Stefano Ceri and Licia Sbattella.
Mandrioli serves as a reviewer and as an editor for many international conferences and journals and has participated to program committees of several international conferences. He has been program co-chair of the Conference Formal Methods 2003. and has been appointed as co-chair of the first Student Contest on SW Engineering Projects (SCORE) to be held as part of the 2009 International Conference on SW Engineering. Mandrioli is a member of the ACM, of FME (Formal Methods Europe), and a senior member of the IEEE Computer Society.
Mandrioli is the recipient of the scientific awards: Sperry UNIVAC,1982; Cray (Italian Section), 1991; Philip Morris,1992.
Mandrioli's vita appears in several biographic publications including Marquis' Who's Who in the World (11-th edition and following ones).
研究兴趣
论文共 140 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
arxiv(2023)
引用0浏览0EI引用
0
0
LOGICAL METHODS IN COMPUTER SCIENCEno. 4 (2023)
CoRR (2023)
引用0浏览0EI引用
0
0
COMPUTER AIDED VERIFICATION, PT II, CAV 2021 (2021): 387-410
引用0浏览0EI引用
0
0
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn