Log in

No account? Create an account
Things I might want to study in grad school - Lindsey Kuper [entries|archive|friends|userinfo]
Lindsey Kuper

[ website | composition.al ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

Things I might want to study in grad school [Nov. 9th, 2006|06:50 pm]
Lindsey Kuper
[Tags|, ]

Things I might want to study in grad school:

11/09/2006: Things I might want to study in grad school, version 0.1

  • There are a lot of things that suck about this, but still, it's better than nothing:
    • I picked the five top-level things from Wikipedia's breakdown of fields of computer science. This is not the only taxonomy for computer science. (Do you know of a better one? Help.)
    • I think it's interesting that by starting at mathematical logic, you can get to the most stuff. That checks, because I think that of everything here, it gets closest to the core of what I think I'm really interested in, which is the study of formal systems. On the other hand, that might be because there are a lot of arrows missing. (Which ones? Help. This is important.)
  • A representation of this graph as a list is left as an exercise for the reader. (C'mon, Schemers, you know you want to. I see you twitching.)
  • You might be interested to see what OmniGraffle's autolayout function does with it.

(Deleted comment)
[User Picture]From: lindseykuper
2006-11-18 07:14 pm (UTC)
Yeah, you're right. Software engineering is not about programming per se; it's about design of projects, which includes lots of things. But I didn't come to formal methods by way of software engineering. I'm interested in formal methods because I'm interested in logic. Which might be misguided, and maybe I should forget about saying I'm interested in formal methods, because maybe that will just land me with the software engineers when what I really want to do is hang out with the logicians. (Subject to change, of course.)
(Reply) (Parent) (Thread)