Empirical Software Engineering - Evidence-based research on software systems. Static Analysis & Code Quality Information Retrieval - Learn to develop your own search engine. Quantum Computing - ...