[Laaas]

CS research is generally more common in the functional programming sphere AFAICT. Doing research on type systems and type theory is something you can do at home with few prerequisites.