No.273 Seminar ： Science of Software, the Fun of Rust
- Assistant Professor Yusuke Matsushita, 15th Batch, Graduate School of Informatics
- 2025/09/02 4:45pm
- Research Administration Building, Basement Floor (Conference Rooms 1&2)
- English
- Onsite and Zoom
Summary
We are living in the midst of the Information Age, where information technology is rapidly growing to become an indispensable part of human society. In this world, software, what instructs physical computers, plays a vital role.
In this talk, I will introduce software science, a branch of computer science that explores solid, general methodologies for developing high-quality, bug-free software. This young field stems from humans’ intellectual exploration since ancient times, including mathematics and logic.
Then, I will explain my research topics in this field. My primary focus is on the Rust programming language, born in 2015. It achieves great performance and security by the idea of ownership, which originates from Girard’s linear logic in 1987. Software science is advancing software development in the real world.