Name

TERAUCHI, Tachio

Official Title

Professor

Affiliation

(School of Fundamental Science and Engineering)

Sub-affiliation

Affiliated Institutes

理工学術院総合研究所(理工学研究所)

兼任研究員 2018-

Research Grants & Projects

Grant-in-aids for Scientific Research Adoption Situation

Research Classification:

Program verification and program synthesis for side-channel attack resilience

2018/-0-2021/-0

Allocation Class:¥6240000

Research Classification:

Verification of high-level programs containing mutable higher-order recursive data structures

2017/-0-2022/-0

Allocation Class:¥17940000

Research Classification:

Large scale verification of higher-order programs

2014/-0-2017/-0

Allocation Class:¥4810000

Research Classification:

Verification of real-time reactive systems in high-level programming languages

2013/-0-2017/-0

Allocation Class:¥16770000

Research Classification:

Verification of Quantitative Information Flow

2011/-0-2014/-0

Allocation Class:¥4160000

Research Classification:

Higher-Order Model Checking and its Applications

2011/-0-2016/-0

Allocation Class:¥137540000

Research Classification:

Formal Verification of Higher-Order Open Systems

2010/-0-2015/-0

Allocation Class:¥14690000

Research Classification:

Verification of Multi-thread Programs via Linear Programming

Allocation Class:¥4030000

Research Classification:

Advancement and Application of Type Theory for Improving Software Safety

Allocation Class:¥49270000

Research Classification:

Type Theory for Software Safety

Allocation Class:¥12160000

Lecture Course

Course TitleSchoolYearTerm
Introduction to Computer Science and Communications EngineeringSchool of Fundamental Science and Engineering2019spring semester
Introduction to Computer Science and Communications Engineering [S Grade]School of Fundamental Science and Engineering2019spring semester
Computer Programming A (1)School of Fundamental Science and Engineering2019spring semester
Computer Programming A (1)School of Fundamental Science and Engineering2019spring semester
Computer Programming A (2)School of Fundamental Science and Engineering2019spring semester
Computer Programming A (2)School of Fundamental Science and Engineering2019spring semester
Computer Programming A [S Grade]School of Fundamental Science and Engineering2019spring semester
Computer Programming A (1) [S Grade]School of Fundamental Science and Engineering2019spring semester
Computer Programming A [S Grade]School of Fundamental Science and Engineering2019spring semester
Computer Programming A (2) [S Grade]School of Fundamental Science and Engineering2019spring semester
Computer Science and Engineering Laboratory A (2)School of Fundamental Science and Engineering2019fall semester
Computer Science and Engineering Laboratory A [S Grade]School of Fundamental Science and Engineering2019fall semester
Programming LanguagesSchool of Fundamental Science and Engineering2019fall semester
Programming LanguagesSchool of Fundamental Science and Engineering2019fall semester
Programming Languages [S Grade]School of Fundamental Science and Engineering2019fall semester
Programming Languages [S Grade]School of Fundamental Science and Engineering2019fall semester
Bachelor Thesis ASchool of Fundamental Science and Engineering2019full year
Bachelor Thesis A [S Grade]School of Fundamental Science and Engineering2019full year
Bachelor Thesis BSchool of Fundamental Science and Engineering2019full year
Bachelor Thesis B [S Grade]School of Fundamental Science and Engineering2019full year
Programming LanguagesSchool of Fundamental Science and Engineering2019fall semester
Project Research ASchool of Fundamental Science and Engineering2019spring semester
Computer Science and Engineering Laboratory CSchool of Fundamental Science and Engineering2019fall semester
Project Research BSchool of Fundamental Science and Engineering2019fall semester
Communications and Computer Engineering Laboratory ASchool of Fundamental Science and Engineering2019fall semester
Communications and Computer Engineering Laboratory A [S Grade]School of Fundamental Science and Engineering2019fall semester
Communications and Computer Engineering Laboratory BSchool of Fundamental Science and Engineering2019spring semester
Communications and Computer Engineering Laboratory B [S Grade]School of Fundamental Science and Engineering2019spring semester
Bachelor Thesis ASchool of Fundamental Science and Engineering2019full year
Bachelor Thesis A [S Grade]School of Fundamental Science and Engineering2019full year
Bachelor Thesis BSchool of Fundamental Science and Engineering2019full year
Bachelor Thesis B [S Grade]School of Fundamental Science and Engineering2019full year
Project Research ASchool of Fundamental Science and Engineering2019spring semester
Project Research BSchool of Fundamental Science and Engineering2019fall semester
Research Project BSchool of Fundamental Science and Engineering2019spring semester
Research Project BSchool of Fundamental Science and Engineering2019spring semester
Research Project BSchool of Fundamental Science and Engineering2019spring semester
Research Project B [S Grade]School of Fundamental Science and Engineering2019spring semester
Research Project CSchool of Fundamental Science and Engineering2019fall semester
Research Project CSchool of Fundamental Science and Engineering2019fall semester
Research Project C [S Grade]School of Fundamental Science and Engineering2019fall semester
Research Project C [S Grade]School of Fundamental Science and Engineering2019fall semester
Design and Implementation of Programming LanguagesSchool of Fundamental Science and Engineering2019fall semester
Design and Implementation of Programming LanguagesSchool of Fundamental Science and Engineering2019fall semester
Research Project ASchool of Fundamental Science and Engineering2019fall semester
Research Project ASchool of Fundamental Science and Engineering2019fall semester
Research Project DSchool of Fundamental Science and Engineering2019spring semester
Research Project DSchool of Fundamental Science and Engineering2019spring semester
Communications and Computer Engineering LaboratorySchool of Fundamental Science and Engineering2019fall semester
Computer Science and Communications Engineering Laboratory ASchool of Fundamental Science and Engineering2019fall semester
Computer Science and Engineering LaboratorySchool of Fundamental Science and Engineering2019fall semester
Computer Science and Engineering LaboratorySchool of Fundamental Science and Engineering2019fall semester
Computer Science and Communications Engineering Laboratory A [S Grade]School of Fundamental Science and Engineering2019fall semester
Introduction to Computers and NetworksSchool of Fundamental Science and Engineering2019spring semester
Master's Thesis (Department of Computer Science and Communications Engineering)Graduate School of Fundamental Science and Engineering2019full year
Research on Computer Programming LanguagesGraduate School of Fundamental Science and Engineering2019full year
Research on Computer Programming LanguagesGraduate School of Fundamental Science and Engineering2019full year
Special Laboratory A in Computer Science and Communications EngineeringGraduate School of Fundamental Science and Engineering2019spring semester
Special Laboratory A in Computer Science and Communications EngineeringGraduate School of Fundamental Science and Engineering2019spring semester
Special Laboratory B in Computer Science and Communications EngineeringGraduate School of Fundamental Science and Engineering2019fall semester
Special Laboratory B in Computer Science and Communications EngineeringGraduate School of Fundamental Science and Engineering2019fall semester
Advanced Project StudyGraduate School of Fundamental Science and Engineering2019full year
Design and Implementation of Programming LanguagesGraduate School of Fundamental Science and Engineering2019fall semester
Design and Implementation of Programming LanguagesGraduate School of Fundamental Science and Engineering2019fall semester
Seminar on Computer Programming Languages AGraduate School of Fundamental Science and Engineering2019spring semester
Seminar on Computer Programming Languages AGraduate School of Fundamental Science and Engineering2019spring semester
Seminar on Computer Programming Languages BGraduate School of Fundamental Science and Engineering2019fall semester
Seminar on Computer Programming Languages BGraduate School of Fundamental Science and Engineering2019fall semester
Seminar on Computer Programming Languages CGraduate School of Fundamental Science and Engineering2019spring semester
Seminar on Computer Programming Languages CGraduate School of Fundamental Science and Engineering2019spring semester
Seminar on Computer Programming Languages DGraduate School of Fundamental Science and Engineering2019fall semester
Seminar on Computer Programming Languages DGraduate School of Fundamental Science and Engineering2019fall semester
Master's Thesis (Department of Computer Science and Communications Engineering)Graduate School of Fundamental Science and Engineering2019full year
Research on Computer Programming LanguagesGraduate School of Fundamental Science and Engineering2019full year
Special Seminar A in Computer Science and Communications EngineeringGraduate School of Fundamental Science and Engineering2019spring semester
Special Seminar B in Computer Science and Communications EngineeringGraduate School of Fundamental Science and Engineering2019fall semester