Τομέας Εφαρμογών και Θεμελιώσεων της Επιστήμης των Υπολογιστών