info on theorethical and applied computer science