People Search
Phones, Emails, Addresses, Background check, Web references
All public info
Like other search engines (Google or Bing) Radaris collects information from public sources.
History Now at the Graduate School of Mathematics, Nagoya University. I was until 2004 at the Kyoto University Research Institute for Mathematical Sciences.
Drafts and talks material Simpoulet: an attempt at proving environmental bisimulations in Coq Jacques Garrigue and Pierre-Marie Pédrot. Presentation at TPP'10, Nagoya.
Jacques Garrigue Link to my New Page I am no longer here. Please follow the above link. The old information here is just in case of connection problems.
FIML FIML is an acronym for Functional and Imperative ML. It is an extension of ML based on the transformation calculus. Its type system is an extension to transformations of that ...
Past and present project members are: Jacques Garrigue(*), Yoshio Hayashi, Akira Itou(*), Koji Kagawa, Yoshihiko Kakutani(*), Keisuke Nakano, Susumu Nishimura.
History Now at the Graduate School of Mathematics, Nagoya University. I was until 2004 at the Kyoto University Research Institute for Mathematical Sciences.
Drafts and talks material Simpoulet: an attempt at proving environmental bisimulations in Coq Jacques Garrigue and Pierre-Marie Pédrot. Presentation at TPP'10, Nagoya
Jacques Garrigue Link to my New Page I am no longer here. Please follow the above link. The old information here is just in case of connection problems.
Linkedin
Kyoto University (Computer Software industry): Research Associate, (1995-2004)
INRIA (Computer Software ...