Can I still be based? BS Pure Math -> CS PhD

>>8700356
>Computer Science
MODS

>needing validation from 4chan

no, you can never be "based"

>>8700359
good, now i will just focus on research

>>8700356
Depends what you intend by "security".
But sure there are plenty of abstract hard-core stuff to be done.

>>8700356
math bachelors make the best CS PhDs

>>8700363
I'm new to the field, what do you recommend looking into?

>>8700368
Thanks anon. I still study/do pure math on the side but love getting into the nitty gritty of systems research

>>8700372
you shouldn't thank me, I don't know how good you are

but it's true though, certainly a math BSc helps you more than the shitty "CS" BSc being pushed around. try to learn your algorithms and languages though, there's a cool springer book on graph theory for instance etc etc

>>8700384
yup, studying CLRS for fun and love it. One of my favorite books now.

>>8700372

Well I don't know much about OS, but a huge formal field is about proving certain properties of computer programs. That could certainly apply to OS as well.

You could start looking into semantics (mathematical modelling of a programming language), or abstract interpretation.

>>8700400
excellent, thanks anon

>>8700388
really? CLRS is particularly bad as a self study textbook (or even to lecture on as a first algorithms class). it's more of a reference book, you might want to look into something more comprehensive and suited for a first course

>>8700414
>>8700388
Yeah. You should read Papadimitriou or Sedgevick

>>8700356
"Based" means you don't give a fuck. But here you are asking if people on 4chan will respect you if you study CS? Lol gtfo

Also get yourself acquainted with coq. It may seem cumbersome as hell at first, but it's actually kind of fun.
https://coq.inria.fr/

>>8700435
no this is useless get your cocks out of here