Yasuki Matsushita
Owner at System11 Co.Ltd.
Chiyoda, Japan
Summary
🤩
Rockstar🎓
Top SchoolYasuki Matsushita is the founder and owner of System11, a niche software manufacturer specializing in integrated F&B cost control, purchasing, inventory and sales systems for hotels and restaurants, a domain he has focused on since 1997. Based in Chiyoda, Tokyo, he blends deep operational knowledge from collaborating directly with hotel and restaurant staff with 13 years of formal industry experience to turn messy hospitality workflows into auditable, single-package software. A physics graduate from Chuo University, he brings a methodical, analytical approach to product design and long-term product stewardship. In open source he contributes as a Rust researcher and has helped harden formal verification tooling by adding rigorous backend tests to the creusot project, underscoring his attention to correctness and reliability.
13 years of coding experience
Bachelor, Physics, Bachelor, Physics at 中央大学
Github Skills (7)
unit-testing10
rust10
formal-methods10
formal-verification10
testing10
proof9
rust-lang9
Programming languages (14)
Github contributions (5)
creusot-rs/creusot
Sep 2021 - Oct 2021
Creusot helps you prove your code is correct in an automated fashion.
Role in this project:
Back-end Developer & QA Engineer / Test Automation Engineer
Back-end Developer & QA Engineer / Test Automation EngineerContributions:11 reviews, 25 commits, 39 PRs in 28 days
Contributions summary:Yasuki's contributions center around adding and improving tests for the `creusot-rs/creusot` repository. They implemented unit tests to verify the correctness of functions related to formal verification and deductive reasoning. These tests cover a variety of code examples, showcasing the user's focus on ensuring the reliability and accuracy of the project's core functionalities, as well as implementing tests for the logical functions and traits. This also included code formatting and supporting unary operators, and the use of `@` and `pearlite!` notations.
why3rustsemideductive-reasoningformal-verification
shiatsumat/Hash
Jan 2013 - Mar 2013
Contributions:39 commits in 1 month
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.