Skip to main content

Reading your sign-in state

←Back to Professor matching

APPLICATION

Professor matching

河野真治 · University of the Ryukyus · Professor Matching · Ryugaku Jinja

Professor profile deep page

河野真治

← Direction map

A · Basic informationPublic professor archive1/2

Ryugaku JinjaProfessor Archive

Ryugaku Jinja · Professor Archive

Public Professor Archive

河野真治河野真治

University of the Ryukyus · Faculty of Engineering

Keywords: 5

留学神社

A

Basic information

University of the Ryukyus · Faculty of Engineering

Research keywordsAgda formalization・proof assistants・program verification・continuation based C・formal methods outreach

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

B

Public links to verify

Official profile

Next step

Sign in for fit and contact guidance

Personalized fit, contact angles, and saved workflows require sign-in.

Ryugaku Jinja

終

Public professor archive河野真治

© 2026 留学神社 Ryugaku JinjaThe tool structures and improves what you provide. Please check the facts behind experiences, awards, and outcomes, as well as the final submission.

Sign in for fit and contact guidance