Title: Relational Methods for Computer Science Applications