Advice for undergraduate schools?

From: John Doe (john_at_doe.com)
Date: 04/12/04


Date: 11 Apr 2004 17:05:54 -0500

I don't regularly participate in these forums, so I apologize if
this is not the right place for my question.

I'm looking for advice on what to look for in undergraduate
computer science programs to learn about programming language
analysis, design, type theory, etc.

I am currently attending a (two-year) community college where
I'm studying computer science, and I'm getting ready to transfer
to a four-year school. I am also interested in topics like
programming language design and type theory. My teachers, even
though they have master's degrees in computer science or
mathematics, seem to know little to nothing about these
subjects, so I'm wondering about what to look for in an
undergraduate program so that I can begin to study these kinds
of topics.

I'm not sure where to start. Are these topics not usually
covered at the undergraduate level? Should I be looking for
programs that are specifically oriented to theoretical computer
science? Should I be looking outside of computer science
curricula altogether? There seems to be a lot of overlap with
logic in particular. I live in California, so recommendations
for state schools would be especially helpful, but others would
not be ignored.

Thanks in advance!



Relevant Pages

  • Re: Advice for undergraduate schools?
    ... > I'm studying computer science, and I'm getting ready to transfer ... > to a four-year school. ... > programming language design and type theory. ... > undergraduate program so that I can begin to study these kinds ...
    (comp.theory)
  • Re: Can you find anything wrong with this solution to the Halting Problem?
    ... *very* simple piece of elementary computability theory that can be found ... serious undergraduate computer science curriculum, ... Halting Problem would be considered remedial material in any legitimate ...
    (comp.theory)
  • Re: Can you find anything wrong with this solution to the Halting Problem?
    ... *very* simple piece of elementary computability theory that can be found ... serious undergraduate computer science curriculum, ... Halting Problem would be considered remedial material in any legitimate ...
    (sci.logic)
  • Re: Busking - playing music in the street
    ... university menu when I was an undergraduate. ... Computer Science was not considered a subject, generally, until the ... become "Electrical Engineering and Computer Science" until about 1974, ... of MIT or CSAIL. ...
    (alt.usage.english)
  • Building a simple software firewall
    ... I'm a undergraduate currently pursuing my degree in computer science. ... Can anyone help me out in term of advices or resources? ...
    (comp.security.firewalls)