Institutes of Innovation for Future Society Global Research Institute for Mobility in Society

Ubiquitous Computing, Software, Communication/Network Engineering, Media Informatics/Data Base, Computer System Network, Informatics / Computer systems, Informatics / Information theory, Informatics / Software, Activity recognition, Informatics / Information networks

Graduate School of Informatics Center for Embeded Computing Systems

Informatics / Software, Informatics / Computer systems

Graduate School of Informatics Department of Computing and Software Systems 2

Informatics / Software

Graduate School of Informatics Department of Computing and Software Systems 3

Informatics / Software

Graduate School of Mathematics Division of Mathematics

Formal Verification of Programs, Functional Programming, Formalization of mathematics, Quantum Computation, Type Theory

Graduate School of Informatics Department of Computing and Software Systems 1

Term rewriting systems, Combinatorial optimization, Informatics / Intelligent informatics

Graduate School of Informatics Department of Computing and Software Systems 1

Informatics / Software, Informatics / Information theory, Informatics / Biological, health, and medical informatics, Informatics / Intelligent informatics

Nagoya University Hospital Department of Patient Safety

Incident Reporting System, Numerical Analysis, Statistical Analysis, AI, BERT FineTuning, Comparing Document Embedding Distributions with BERT

Graduate School of Engineering Information and Communication Engineering 1

Informatics / Computer systems, Informatics / Entertainment and game informatics, Informatics / Information networks, Informatics / Human interfaces and interactions, Informatics / Intelligent informatics, Informatics / Software