Are top CS theorists nice people? Would they even talk with you? (comment 25)(blog.computationalcomplexity.org)
blog.computationalcomplexity.org
Are top CS theorists nice people? Would they even talk with you? (comment 25)
http://blog.computationalcomplexity.org/2009/09/why-you-shouldn-not-go-to-focs.html
41 comments
I met Simon Peyton-Jones at a dinner once, and he came across as a really nice guy. He seemed interested in what I was doing, even though it's leagues away from what he does, and not nearly so 'interesting'. Highly recommended.
He is not a member of this community.
SPJ's not a member of the top CS theorists?
His research has nothing to do with what is considered CS theory in the US and Canada.
"His research has nothing to do with what is considered CS theory in the US and Canada."
So what is considered CS theory in the US and Canada?
So what is considered CS theory in the US and Canada?
See:
http://rjlipton.wordpress.com
http://blog.computationalcomplexity.org
Also check out the STOC, FOCS, and SODA conferences.
http://rjlipton.wordpress.com
http://blog.computationalcomplexity.org
Also check out the STOC, FOCS, and SODA conferences.
So your assertion is that theoretical computer science is complexity theory and algorithmic analysis?
How about any of these?
Semantics
Concurrency theory
Theories of refinement
Type theory
The Curry-Howard Correspondence (and results derived from it)
(Finite) automata
...
Shall I go on?
Those are all "theoretical CS". Programming language theorists qualify as "theoretical CS" practitioners in most cases. Simon Peyton Jones certainly qualifies.
I think you have a strange, narrow definition of theoretical CS that isn't shared by many people.
How about any of these?
Semantics
Concurrency theory
Theories of refinement
Type theory
The Curry-Howard Correspondence (and results derived from it)
(Finite) automata
...
Shall I go on?
Those are all "theoretical CS". Programming language theorists qualify as "theoretical CS" practitioners in most cases. Simon Peyton Jones certainly qualifies.
I think you have a strange, narrow definition of theoretical CS that isn't shared by many people.
I think you have a strange, narrow definition of theoretical CS that isn't shared by many people.
You're wrong in the "not shared by many" part.
http://weblog.fortnow.com/2009/03/lets-congradulate-gerard-h...
You're wrong in the "not shared by many" part.
http://weblog.fortnow.com/2009/03/lets-congradulate-gerard-h...
> You're wrong in the "not shared by many" part.
At least the first dozen comments on that link support my position that programming, logic and semantics are all "theoretical computer science". You appear to have produced an example of one person questioning whether his definition of TCS is too narrow, and then pages of comments from people telling him that it is.
What was your point, again?
At least the first dozen comments on that link support my position that programming, logic and semantics are all "theoretical computer science". You appear to have produced an example of one person questioning whether his definition of TCS is too narrow, and then pages of comments from people telling him that it is.
What was your point, again?
What was your point, again?
You obviously didn't read the thread.
Highlighted therein is the contrast between TCS scenes in US and Europe. That is the amichail's point. These are two separate communities scarcely communicating with each other.
In the "first dozen of comments" you have Mitzenmacher, member of program committee of leading US conference comparing your field's importance and utility for TCS (as defined in the US) with that of e.g. chemistry's.
You obviously didn't read the thread.
Highlighted therein is the contrast between TCS scenes in US and Europe. That is the amichail's point. These are two separate communities scarcely communicating with each other.
In the "first dozen of comments" you have Mitzenmacher, member of program committee of leading US conference comparing your field's importance and utility for TCS (as defined in the US) with that of e.g. chemistry's.
I did read the thread, thanks.
The "contrast" is being highlighted, but I can't see anyone in there seriously advancing the idea that all of the things I've described aren't "theoretical CS" - they just suggest that there aren't many people in the US doing them. One commenter rightly notes that there are plenty of people doing the kind of "theoretical CS" I'm talking about at CMU, for example (and I can think of a handful of other places doing similar work in the US).
So I stand by my original assertion: the definition of TCS as being exactly complexity and algorithmic analysis is a particularly narrow definition that is inconsistent with the way in which most people use and understand "theoretical computer science".
The "contrast" is being highlighted, but I can't see anyone in there seriously advancing the idea that all of the things I've described aren't "theoretical CS" - they just suggest that there aren't many people in the US doing them. One commenter rightly notes that there are plenty of people doing the kind of "theoretical CS" I'm talking about at CMU, for example (and I can think of a handful of other places doing similar work in the US).
So I stand by my original assertion: the definition of TCS as being exactly complexity and algorithmic analysis is a particularly narrow definition that is inconsistent with the way in which most people use and understand "theoretical computer science".
I won't argue about semantics of theoretical in theoretical computer science.
It is my experience that people in casual conversations automatically assume topic to be complexity theory, despite I'm in Europe.
Or maybe I will, just a bit ;) Because in fact, in casual conversations noone seem to be insiting, or in fact using adj. theoretical when talking about languages, semantics, logic, universal algebra, category theory. This is computer science after all, no need for special adjectives. It would be a bit like calling category theory a "theoretical mathematics".
Fact is, major part of the community uses term exclusively in the meaning we talk about. It could be argued if rightly and people outside may justifiably think in broader sense. Maybe better words could be found instead of theoretical, such as "analytical", and in fact I recall one of European departments reorganizing into two institutes, one for "Analytical CS".
It is my experience that people in casual conversations automatically assume topic to be complexity theory, despite I'm in Europe.
Or maybe I will, just a bit ;) Because in fact, in casual conversations noone seem to be insiting, or in fact using adj. theoretical when talking about languages, semantics, logic, universal algebra, category theory. This is computer science after all, no need for special adjectives. It would be a bit like calling category theory a "theoretical mathematics".
Fact is, major part of the community uses term exclusively in the meaning we talk about. It could be argued if rightly and people outside may justifiably think in broader sense. Maybe better words could be found instead of theoretical, such as "analytical", and in fact I recall one of European departments reorganizing into two institutes, one for "Analytical CS".
What would it be called then?
Programming Language theory, I think.
I guess I see CS theory encompassing PL theory - not that that's correct.
[deleted]
I do research in an area that is tangent to CS theory. My experience with meeting some of these people is exactly this: they will not pay attention to you if you are not from their clique.
Also, every time I visit this blog I see comments on the same theme: that theory-oriented conferences are managed by a clique, that others don't feel welcome... So, my general feeling is that they have deep problems in their community (and I don't mean theoretical problems).
Also, every time I visit this blog I see comments on the same theme: that theory-oriented conferences are managed by a clique, that others don't feel welcome... So, my general feeling is that they have deep problems in their community (and I don't mean theoretical problems).
That's actually true of computer science in general. Ever turned up to a web conference? Or an OO conference? or a Java conference? I guarantee you that I feel as out of place and excluded in any of those forums as I'm sure you do in a theory conference.
The thing about any "community" that is well-defined enough to justify having its own conferences is that it has its own set of foundational assumptions and jargon, and conventions. If you don't know these things, you're going to have trouble participating at a high level.
I don't think it's so much that people will not "pay attention" to you - it's probably just that what you are saying isn't very interesting. The thing about non-theory CS people interacting with theoretical CS people is that they usually present exactly the same arguments/problems/ideas that everyone else does. Believe me, you get _really_ bored by the seventeenth time you have to address the question "but what if the theorem prover has bugs in it?!", pronounced with the swagger of someone who believes they have just hit upon a novel idea.
I imagine that if I turned up to a gathering of high-energy particle physicists, I don't think they would pay much attention to my thoughts on the subject either.
It's not dismissive behaviour, either. It's actually just a common mistake within CS to believe that you can turn your hand to any part of CS - you're essentially participating in a very high-level discussion.
To answer the original question, I've found people in the top echelons of theoretical CS to be extremely patient and friendly.
I asked some really silly questions of top researchers (in one-on-one or small group situations) as an undergraduate that probably deserved to be answered with disdain - I still cringe in retrospect. The most biting retort I ever got was "Oh, that's covered in <such-and-such-a-paper>, which is worth reading if you're interested in this". Hardly a telling-off. For the most part, people have always taken the time to explain things from first principles, or re-state them in ways that I could understand.
The idea of the ivory tower is a bit of a misconception. You're talking about very, very smart people who are usually more than accommodating when it comes to answering genuine questions or just engaging in discussions. I would jump at the chance to talk to them about anything and everything - it'll be interesting to say the least, and they are some of the nicest people you'll meet in CS.
The thing about any "community" that is well-defined enough to justify having its own conferences is that it has its own set of foundational assumptions and jargon, and conventions. If you don't know these things, you're going to have trouble participating at a high level.
I don't think it's so much that people will not "pay attention" to you - it's probably just that what you are saying isn't very interesting. The thing about non-theory CS people interacting with theoretical CS people is that they usually present exactly the same arguments/problems/ideas that everyone else does. Believe me, you get _really_ bored by the seventeenth time you have to address the question "but what if the theorem prover has bugs in it?!", pronounced with the swagger of someone who believes they have just hit upon a novel idea.
I imagine that if I turned up to a gathering of high-energy particle physicists, I don't think they would pay much attention to my thoughts on the subject either.
It's not dismissive behaviour, either. It's actually just a common mistake within CS to believe that you can turn your hand to any part of CS - you're essentially participating in a very high-level discussion.
To answer the original question, I've found people in the top echelons of theoretical CS to be extremely patient and friendly.
I asked some really silly questions of top researchers (in one-on-one or small group situations) as an undergraduate that probably deserved to be answered with disdain - I still cringe in retrospect. The most biting retort I ever got was "Oh, that's covered in <such-and-such-a-paper>, which is worth reading if you're interested in this". Hardly a telling-off. For the most part, people have always taken the time to explain things from first principles, or re-state them in ways that I could understand.
The idea of the ivory tower is a bit of a misconception. You're talking about very, very smart people who are usually more than accommodating when it comes to answering genuine questions or just engaging in discussions. I would jump at the chance to talk to them about anything and everything - it'll be interesting to say the least, and they are some of the nicest people you'll meet in CS.
Clarifying point - although coliveira's comment was as something of a true outsider, the original comment in the linked article was from a published phD student in theory who felt snubbed based on his response to "What school do you go to?"
Oh, duly noted. That wasn't obvious to me from my initial reading of the article.
That said, that's certainly contrary to my experiences. Most smart people are suckers for interesting research, and if you're doing something interesting, people will feel like discussing it.
Of course, most people often like talking about their own work more. If that's really a concern, just school up on the work of a few people and ask them about their research in a semi-intelligent way. It's just human that we're often much more interesting to ourselves than other people are.
That said, that's certainly contrary to my experiences. Most smart people are suckers for interesting research, and if you're doing something interesting, people will feel like discussing it.
Of course, most people often like talking about their own work more. If that's really a concern, just school up on the work of a few people and ask them about their research in a semi-intelligent way. It's just human that we're often much more interesting to ourselves than other people are.
When I was going to the University of South Carolina, I had the good fortune of having Karel Čulík as one of my professors. In addition to generally being a happy person and obviously enthusiastic about automata theory, I also found that he could talk about computer science in a largely egoless fashion. If someone at a talk said something a bit clueless, or even hugely idiotic, he would simply find the most intelligent interpretation possible of what they said, then just see what the implications were according to theory. No bullying or dominance games needed, just a simple joy in doing computer science.
I wish more science/tech folks were like this. To me, this is what it means to have intellectual integrity. Too many techies and academics feel that they have a tenuous hold on status in their community, which tends to make them petty.
I wish more science/tech folks were like this. To me, this is what it means to have intellectual integrity. Too many techies and academics feel that they have a tenuous hold on status in their community, which tends to make them petty.
I notice this pattern among my smarter friends, as well - when someone says something vague or badly defined, they try to understand the person's mindset, and clarify their ideas, instead of rejecting the faulty semantics they used to express them. One can always find semantics to argue about, and petty people usually do.
This isn't unique to CS. All academic fields suffer more or less the same problem to a greater or lesser extent.
Much of this is likely psychological -- in casual conversation at conferences, I definitely ask people about what school they go to rather than what their research project is. Whenever I ask someone about their research project, they launch into an often lengthy synopsis which typically requires ten minutes of clarifying questions to even understand. Then, they may offer to forward me their paper which I must accept or feel callous.
How about "what are you working on, in ten words or less?" it sounds mean, but it really is what you want from the other person, isn't it?
Complaining about "Ivies" in the context of CS theory is a bit goofy. Princeton is in the top echelon for theory, but I'm not sure the other Ivies would crack the top 5.
'Ivies' is used (erroneously)* as a blanket term to descibe a number of elite institutions (think Stanford, MIT, Caltech, Berkeley, top LACs, etc.)
... connotation.
... connotation.
the correct term is "top tier" or "tier 1" schools. The "ivies" are a sports league of schools that all happen to be good at academics: dartmouth, harvard, brown, columbia, yale, princeton, upenn, cornell.
Sometimes people include top-ranked private universities like Stanford, but never for public universities, and never to refer to top schools in a particular field where the rest of the Ivies are notably weak.
In this context, I think that the "also has a top CS program" attribute is implied. I think most people understand what the author meant regardless of his slightly incorrect choice of words.
Rajeev Motwani was a very nice guy and would certainly talk to you. He's the only top CS theorist I've met.
If it is indeed the case that many of them are dismissive to those who are not likely to be useful to them in research, is this logical behavior?
CS theory requires the highest IQ of any subfield of CS to succeed at the highest levels, so perhaps this behavior is reasonable.
CS theory requires the highest IQ of any subfield of CS to succeed at the highest levels, so perhaps this behavior is reasonable.
I spent a month at Princeton this summer, working alongside current Princeton students and a handful of the people that work at Princeton.
Princeton people are usually very bright. Not all of them are—many of them are capable of regurgitating academically and not much more—but overall it's a community of smart people. It is not, however, particularly brighter than a handful of other communities. Perhaps there's less riffraff, so you only have people above average there, but there's this perception that you have to be a genius to be Ivy and that's simply not true.
Until my stint at Princeton, I was a "Princeton child". I grew up loving Princeton, I wanted to have a Princeton degree on my resume and live in the enormous castles that Princeton calls dorms. After staying there, I came away with the perception that Princeton's a great college, but it's not head-and-shoulders above any number of other great colleges, and there's nothing special about the people that go there. (They also put up fake ivy on new buildings, which I consider false advertising.)
Another way of putting it: The smartest group of people I've ever worked with was a group of twelve writers who I met when I was sixteen. They were all pretty remarkable people. Of that group, two went to Princeton, one went to Brown, a handful went to schools like Vassar and NYU, and a few went to shitty NJ public schools like I did for a year. So when you're talking to people from shitty public schools, remember that there're people there who could put half of Princeton to shame. Not everybody there's going to be brilliant, but not everybody at Princeton's brilliant either.
Princeton people are usually very bright. Not all of them are—many of them are capable of regurgitating academically and not much more—but overall it's a community of smart people. It is not, however, particularly brighter than a handful of other communities. Perhaps there's less riffraff, so you only have people above average there, but there's this perception that you have to be a genius to be Ivy and that's simply not true.
Until my stint at Princeton, I was a "Princeton child". I grew up loving Princeton, I wanted to have a Princeton degree on my resume and live in the enormous castles that Princeton calls dorms. After staying there, I came away with the perception that Princeton's a great college, but it's not head-and-shoulders above any number of other great colleges, and there's nothing special about the people that go there. (They also put up fake ivy on new buildings, which I consider false advertising.)
Another way of putting it: The smartest group of people I've ever worked with was a group of twelve writers who I met when I was sixteen. They were all pretty remarkable people. Of that group, two went to Princeton, one went to Brown, a handful went to schools like Vassar and NYU, and a few went to shitty NJ public schools like I did for a year. So when you're talking to people from shitty public schools, remember that there're people there who could put half of Princeton to shame. Not everybody there's going to be brilliant, but not everybody at Princeton's brilliant either.
You are making several big assumptions here: 1. Grad students from non-Ivy PhD programs are useless as research collaborators. 2. People doing CS theory need to be smarter than the average CS PhD. 3. People who go to non-Ivy schools are dumber.
These all strike me as ego-driven and unfounded statements.
(Not to mention the giant question mark around IQ as a valid measurement of general intellectual aptitude.)
These all strike me as ego-driven and unfounded statements.
(Not to mention the giant question mark around IQ as a valid measurement of general intellectual aptitude.)
It's incredibly disheartening to read that post. It seems tragic that someone like Aaron would be shut out due to not attending the right school.