network
Programming Language Laboratory
Languages, Theories, and Tools for Better Programs
Our daily lives and society are supported by a wide variety of software systems, including smartphones, web services, automobiles, and IoT devices. As such software becomes larger and 老挝磨丁赌场_老挝赌场-中国竞彩网官网推荐 complex, it must remain safe, flexible, maintainable, and efficient. Our laboratory studies programming techniques for structuring complex software and theoretical foundations for improving its safety and efficiency. By connecting programming language theory with the implementation of language processors and development-support tools, we aim to establish fundamental technologies for building reliable, maintainable, and efficient software systems.
College of Systems Engineering and Science
- Faculty Name
- AOTANI, Tomoyuki
- Laboratory location
- No.5 Building OMIYA Campus 5F 5572-1
This lab is for this SDG activity:
STUDY FIELDS
- Information Communication Technology
- Software Engineering
- Programming
FOR SOCIETY
Software is used in almost every part of modern society, including information services, transportation, healthcare, education, manufacturing, and social infrastructure. Therefore, software systems must not only be useful and efficient, but also safe, reliable, and maintainable. Our laboratory studies programming techniques for structuring complex software, formal methods for guaranteeing program safety, and optimization techniques for efficient program execution. Through this research, we aim to advance the fundamental technologies that support future software development and to educate students who can contribute to building reliable software systems for society.
RESEARCH THEMES
- Research on Constructing Safe Programs Using Type Systems and Program Logics
- Research on Program Optimization Based on Program Transformation Techniques
- Research on Modular Programming Techniques
