HASHIZUME Hiromichi (Professor)
has (at) nii.ac.jp
Research Keywords : Digital Signal Processing, Human Interface, Man-Machine Interface
In the graduate school research I will introduce historical human-interface devices and the historic background of computation systems to extract the main concept of man-machine interface which should be invariant of time. Then I will instruct the designs of future interface devices, the technology which gives the shapes to the devices especially algorithms of digital signal processing.
HASUO Ichiro (Associate Professor)
hasuo (at) nii.ac.jp
Research Keywords : Automaton, Category theory, Formal methods, Optimization, Machine learning, Cyber-physical system, Logic
Formal methods refer to a body of mathematical techniques that aim at supporting quality assurance in software development. With their theoretical core lying in logic and automata theory, formal methods have been attracting a lot of research efforts, with some significant successes in software industry. My specific research style in this field comprises: pursuing essences of formal methods techniques via mathematical abstraction; using the abstract theory thus obtained to achieve general techniques that apply to a variety of systems; and actually applying those techniques to cyber-physical systems, a field of industrial significance. My research supervision will be on this abstract and mathematical approach to formal methods. Specific topics include: generalization of automata theory in the language of category theory (coalgebras, more specifically); verification algorithms for probabilistic and other quantitative systems; verification and analysis of continuous dynamics using real algebraic geometry; and collaboration of formal methods and optimization/learning algorithms.