Where have the universities gone?

Where have the universities gone?

Posted Jul 27, 2007 11:22 UTC (Fri) by dps (subscriber, #5725)
In reply to: Where have the universities gone? by allesfresser
Parent article: Where have the universities gone?

I was a while ago, but I have 3 degrees in CS (BA, MSc and PhD). None of them either featured operating system installation or the use of specific software to any significant degree. Oxford university is still a major theory center their dergees reflect this and concentrate on formal methods. A typical item included in the course is moderately complete treatment of CSP, which can be used to analyse parallel systems.

Pushed to the limit you can do theoretical CS without ever using a computer, although most people are required do their own typing.

Incidently I have used CSP in anger. My PhD thesis states a component design and proves a deadlock freedom result about those component connected in any way whatsoever (which can include any sort of cycles). You can find a lightweight implentation of the design on sourceforge. Currently documentation is limited to the appropriate sections of my PhD thesis and a set of man pages.

My first linux box ran SLS 1.03 (kernel 0.99pl13 or earlier) and was a "high spec" box (486DX2/50 with 8Mb of memory).

---

(Log in to post comments)