余世维是中科院计算所研究员、中国科学技术大学计算机科学与技术系教授、博士生导师，是中国科学院址首位菲尔兹奖获得者陈省身的得意门生。
余世维主要从事计算机体系结构、软件稳定性、可靠性和安全性等领域的研究。在国际上首次提出了独立检验的可靠性保障技术，提高现代计算机处理器的可靠性。余世维还是国际上最早提出并实现了程序语义化验证技术，在软件设计和开发中起到了重要作用。
余世维先后获得过中国计算机学会的高分辨率图形国际青年学者奖、国家杰出青年基金等重要奖项，并于2013年当选为中科院院士，成为当时中国科学技术大学最年轻的院士。
余世维在科学研究和技术创新方面的成果获得了业内人士的高度评价，同时也为中国科技事业的发展作出了重要贡献。
