hubris's profile

About me

Username:	hubris
Name:	Satoh, Wataru
Job title:	assistant engineer
Affiliation:	Not specified
Web page:	http://www.hubris.jp/
Joined:	2007-12-07

Research Fields^NEW

None specified

What I do

http://en.wikipedia.org/wiki/Special:Contributions/Hubris.jp?namespace=0

Interests

computer systems operation, history of / algorithms for proof automation

Recent Activity

No activity in the last 90 days