In reality, logicians and type theorists are employed in the computer science department and rightfully so. The whole field of computer science should upgrade with such influx of talent.