Award Abstract #0502312
International Research Fellowship Program: Social Software and its Applications
![](common/images/greenline.jpg)
NSF Org: |
OISE
Office of International Science and Engineering
|
![divider line](common/images/x.gif) |
![divider line](common/images/x.gif) |
Initial Amendment Date: |
July 13, 2005 |
![divider line](common/images/x.gif) |
Latest Amendment Date: |
August 16, 2007 |
![divider line](common/images/x.gif) |
Award Number: |
0502312 |
![divider line](common/images/x.gif) |
Award Instrument: |
Fellowship |
![divider line](common/images/x.gif) |
Program Manager: |
Susan Parris
OISE Office of International Science and Engineering
O/D OFFICE OF THE DIRECTOR
|
![divider line](common/images/x.gif) |
Start Date: |
June 1, 2006 |
![divider line](common/images/x.gif) |
Expires: |
February 29, 2008 (Estimated) |
![divider line](common/images/x.gif) |
Awarded Amount to Date: |
$90350 |
![divider line](common/images/x.gif) |
Investigator(s): |
Eric Pacuit epacuit@gmail.com (Principal Investigator)
|
![divider line](common/images/x.gif) |
Sponsor: |
Pacuit Eric J
Brooklyn, NY 11211 / -
|
![divider line](common/images/x.gif) |
NSF Program(s): |
EAPSI
|
![divider line](common/images/x.gif) |
Field Application(s): |
0000912 Computer Science
|
![divider line](common/images/x.gif) |
Program Reference Code(s): |
OTHR, 5980, 5956, 5948, 0000
|
![divider line](common/images/x.gif) |
Program Element Code(s): |
7316
|
ABSTRACT
![](common/images/bluefade.jpg)
0502312
Pacuit
The International Research Fellowship Program enables U.S. scientists and engineers to conduct three to twenty-four months of research abroad. The program's awards provide opportunities for joint research, and the use of unique or complementary facilities, expertise and experimental conditions abroad.
This award will support a fifteen-month research fellowship by Dr. Eric J. Pacuit to work with Dr. Johan van Benthem at the University of Amsterdam's Institute for Logic, Language and Computation (ILLC) in the Netherlands.
Social software is an emerging interdisciplinary field devoted to the design and analysis of social procedures. First discussed by Rohit Parikh, social software has recently gained the attention of a wide range of research communities, including computer scientists, game theorists and philosophers. The main idea behind social software is that constructing and verifying social procedures should be pursued as systematically as computer software is pursued by computer scientists. Realizing this objective requires mastering techniques from the analysis of algorithms, logic of programs, logic of knowledge and game theory. Once mastered, these techniques need to be combined and reexamined from the social software point of view. Although the analogy between computer software and social software is strong, there are some important differences. For example, two issues which are important for social software but less crucial for computer software are the exchange of (and occasional hiding of) information, and the provision of incentives. Concurrency theory, cryptography and distributed computing have all addressed the first issue. However, many of the underlying assumptions in these fields makes applying these results to social procedures unrealistic. The second issue has been more or less the province of game theory. But game theory tends to study the area in rather simple terms lacking the sophisticated tools of computer science like recursion and data types. The objective of this project is to develop a formal framework for verifying social procedures, with special attention paid to naturally modeling the flow of information in a social situation.
Collaboration with van Benthem, Robert von Rooij and other members of the ILLC community, including Ph.D. students, will be an integral part of the success of this project. The ILLC hosts an active European research community through its regular workshops on "Logic, Games and Computation".
Please report errors in award information by writing to: awardsearch@nsf.gov.
|