松野先生がバレンシアで開催されたSafeComp2026(safecomp2026.webs.upv.es)で、ワークショップと本会議で発表しました。SASSURワークショップでは合意形成度と確信度を2軸で評価する手法と自動運転での実証実験、本会議では自動車安全性国際規格の日本企業での適用分析を発表しました。
Department of Computer Engineering, College of Science and Technology, Nihon University
Graduate School of Science and Technology, Nihon University
We study safe, long-lasting systems, with a focus on software engineering, reliability and security.
We also evaluate the usefulness of generative AI in real-world development, exploring better ways for people and software to work together.
Software is never finished once it ships; it keeps changing. We closely observe the flow of design, implementation, testing and review, and study mechanisms that help developers improve their code with confidence.
02 For critical systems, simply working is not enough. Using formal methods and testing techniques, we explore ways to build software that holds up even in unexpected situations.
03 Vulnerabilities cannot be fully prevented by a final inspection alone. We study mechanisms that let developers notice issues naturally during development, secure coding practices, and the use of supporting tools.
Seminars, development, research presentations and more: posts that capture the atmosphere of Matsuno Lab.
松野先生がバレンシアで開催されたSafeComp2026(safecomp2026.webs.upv.es)で、ワークショップと本会議で発表しました。SASSURワークショップでは合意形成度と確信度を2軸で評価する手法と自動運転での実証実験、本会議では自動車安全性国際規格の日本企業での適用分析を発表しました。
先日7月6日から9日にUniversity of the Aegean(ギリシャ・ロードス島)で開催された第17回IISA 2026 / AIESE 2026にて発表を行いました! ①吉永 達哉(Tatsuya Yoshinaga) 「LLM-Driven Taint Analysis for Detecting Bad Partitioning Issues in Trusted Applications」 ②德野 響(Hibiki Tokuno) 「Characterizing Reverse DNS Deployment for SPF-indicated Sender IP Addresses」 ③依田 みなみ(Minami Yoda) 「Holistic Fashion Classification via Structured LLM Semantics and 2D YIN/YANG Theory」
7月15日に前期お疲れ様会で寿司パーティを行いました!
5月20日に北習志野の牛繁で懇親会を行いました! 料理も美味しくみんなで交流を深めることができて楽しい会になりました!
「ICSE-SEET2026で発表しました。」 ブラジルのリオデジャネイロで開催された、ソフトウェア工学最大の国際会議ICSE2026で発表しました。ソフトウェア教育工学に関する、ICSE-SEETトラックで、 以下の論文を発表しました。片道25時間かかり、疲れましたが、最新の研究を聞けてよかったです。 Amplifiers or Equalizers? A Longitudinal Study of LLM Evolution in Software Engineering Project-Based Learning (Extended Abstract) Hana Kataoka, Jialong Li, Yutaka Matsuno Proc. 48th International Conference on Software Engineering: Software Engineering Education and Training, SEET@ICSE 2026 #ブラジル #松野研の日常
卒業生のみなさん、ご卒業おめでとうございます! 研究室での時間がみなさんの今後の糧になることを願っています。 #卒業式
We could not load the posts right now.
Please visit our Instagram for the latest updates.
+81-47-469-5709
matsuno.yutaka(at)nihon-u.ac.jp
* To prevent spam, "@" is written as "(at)". Please replace (at) with @ when sending.
Matsuno Lab, Department of Computer Engineering, College of Science and Technology, Nihon University
Room 243, 4F, Building 2, 7-24-1 Narashinodai, Funabashi, Chiba 274-8501, Japan
Directions