Ask International Computer Science Professors a Question (use Google Translate if necessary)
Budget: $10 – $20 USD
I would like someone to find and write the chairman of the Computer Science department at the most prestigious universities in the following 20 countries: South Korea, Taiwan, Denmark, Switzerland, Israel, Finland, Netherlands, Sweden, Norway, Singapore, United Kingdom, Belgium, Germany, Austria, Japan, Iceland, United Arab Emirates, Canada, Australia, Hong Kong.
I want to ask them the following:
I study Program Synthesis - the process of automating the construction of computer programs based on specifications for what the program is supposed to do. I am interested in the state of the art of Program Synthesis at prestigious universities internationally. In particular:
1. Does Program Synthesis exist? Has anyone published a mechanical procedure that produces programs written in a general-purpose programming language?
2. If so, what specifications and programming languages have been successfully used?
3. Where can I read about any success in this area?
How much would you charge for 100 messages sent or received?
I want to ask them the following:
I study Program Synthesis - the process of automating the construction of computer programs based on specifications for what the program is supposed to do. I am interested in the state of the art of Program Synthesis at prestigious universities internationally. In particular:
1. Does Program Synthesis exist? Has anyone published a mechanical procedure that produces programs written in a general-purpose programming language?
2. If so, what specifications and programming languages have been successfully used?
3. Where can I read about any success in this area?
How much would you charge for 100 messages sent or received?