Welcome to Taka's homepage
Hi. I'm a Ph.D. candidate in the Department of Computer Science at
Rutgers University. Although this page is severely under
construction, please expect to see forthcoming updates.
Interests
- Establishing regularities in enterprise computing, via
middlewares, e.g., the publish/subscribe mechanism, to
regulate work applications, including Workflow Systems, and
to flexibly support participating agents.
- Software
Engineering in the context of the following:
Formal
Methods , including Model Checking; Automated Theorem Proving;
Knowledge Representation; Language Semantics
- Automated proof of properties of Prolog programs based on second
order intuitionistic logic
- program synthesis utilizing type theory and/or deductive synthesis
- software reuse and architecture
Publication
Other Sites of Interest
Takahiro Murata / Dept. of Computer Science
/ Rutgers Univ. / murata@cs.rutgers.edu
Last modified: Oct. 21, 2002