That's going to be a hard sell. I do research in programming languages now and I think you'd be hard pressed to argue that the fundamental nature of my work is a social science. Especially since the initiating paper included a proof of correctness...
Well, it's not _just_ a social science. There's still plenty of interesting work to do with 1's and 0's and proofs. But even in "hard CS" areas like programming languages, the social since aspects are pretty significant. What influences the success of new languages and evolutions of existing ones? Why haven't some obviously good featuers like pre- and post-conditions and invariants been better integrated by most mainstream languages? How to make functional programming accessible to a lot more people?
