Logical Foundations of Computer Science Research Faculty | GradNova