PhD Studies in Symbolic Functional Analysis