Theses That I'm willing to Supervise

1. Theory: SOCCer: Structural Object-oriented theory of Computational Complexity.

2. How simple can software project documents become? How can we produce records of ideas, visions, plans, sepecs, code, etc with as little bureaucratic overhead as possible? Possibilities: diagrams, tables, shorthand->text, mathematics, templates and picking lists, etc.

3. Is there order for free at the edge of chaos? Replicate Stuart Kauffman's work on random Boolean networks [ BOOLNETW.html ] and survey the literature on this.
4. Literature survey of the work on Complexity sponsored by the [ http://www.santafe.edu/ ] Santa Fe Institute
5. A survey of known attempts and results of ways to write a program to play a well studied game like tic-tac-toe, chess, or checkers.
6. Any attempt at a new way to write a program to play a game (other than tic-tac-toe, chess, and checkers -- see previous).
7. Investigate the state of software development: Using an Internet survey to look for patterns linking socio-economic situations to software processes.

8. The super smoke-test: Explore the possibillities for encorporating invariants, pre/post-conditions into unit testing and the MicroSoft daily recompilation of the whole system.
9. What can be done to data mine text answers to survey questions for patterns?
10. Explore the structure of the World Wide Web to see what highly-linked sets of pages exist. Ramsey Theory proves that in any sufficiently large graph there will be a (large) subset of nodes that are all connected to each other, or there will be a (large) subset of nodes that will be completely disconnected. The WWW defines large graph. What sizes of highly connected/unconnected pages exist? Reading: Small Worlds.
11. Is there Fool's Gold in them there hills? Explore the distribution of data mining patterns in simulated and theoretical data warehouses.
12. Gather and analyse data on the actual process of [ Open Source software development ] to go behind the hype to see how it is done and if possible determine the qualities of the software developed using Open Source. See [ anarchism.html ] "Free Software and the Death of Copyright" by Eben Moglen , the [ index.html ] Berlin Project. and [ http://ww.debian.org/ ] Debian Linux

13. Use an experiment to correlate object-oriented metrics with the understandability of the measured code by computer science students.

14. Demonstrate the application of mathematics to the analysis of a set of related problems and the specification of an object-oriented programs in some domain.

15. Experiment on helpfulness of typing in learning a programming language.

16. What is the shape of the Internet as measured by the time it takes for standard packets to be sent to and returned from various sites?

17. On the use of formal tables (logic) to support the development of software.

18. Using of formal diagrams(logic) to support the development of software.

19. Experiments comparing the readability of different forms of documentation.

20. Literature surveys of: Object Orientation, Comp Sci Education, ...

. . . . . . . . . ( end of section Theses That I'm willing to Supervise) <<Contents | End>>