Το ΑΛΜΑ είναι ένα Μεταπτυχιακό Πρόγραμμα Ειδίκευσης στις περιοχές των Αλγορίθμων, της Λογικής, και των Διακριτών Μαθηματικών. Το πρόγραμμα συνδιοργανώνεται από το Τμήμα Πληροφορικής και Τηλεπικοινωνιών και από το Τμήμα Μαθηματικών, του Εθνικού και Καποδιστριακού Πανεπιστημίου Αθηνών, καθώς επίσης και από τη Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών και τη Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών, του Εθνικού Μετσόβιου Πολυτεχνείου.
Σκοπός του ΑΛΜΑ είναι να προσφέρει στους φοιτητές του ένα σημαντικό υπόβαθρο σε διαφορετικές περιοχές της Θεωρητικής Πληροφορικής, με έμφαση στις ακόλουθες τρεις κεντρικές ερευνητικές περιοχές:
- Αλγόριθμοι και Υπολογιστική Πολυπλοκότητα. Η περιοχή αυτή θεωρείται σήμερα ως η κεντρικότερη της Θεωρητικής Πληροφορικής, και περιλαμβάνει ποικίλα και γοητευτικά υποπεδία, όπως οι προσεγγιστικοί αλγόριθμοι, η συνδυαστική βελτιστοποίηση, η αλγοριθμική θεωρία γραφημάτων, η υπολογιστική γεωμετρία, η θεωρία πολυπλοκότητας, η αλγοριθμική θεωρία παιγνίων, η κρυπτογραφία, κοκ. Οι εφαρμογές των αλγορίθμων στην καθημερινή μας ζωή είναι αναρίθμητες, όπως αναρίθμητα είναι και τα γοητευτικά και δύσκολα ανοιχτά προβλήματα της περιοχής αυτής.
- Μαθηματική και Υπολογιστική Λογική. Η Μαθηματική Λογική γνώρισε μια ραγδαία ανάπτυξη κατά τον 20ο αιώνα. Στις μέρες μας, πέρα από τη συνεχιζόμενη ανάπτυξη της ως ένας βαθύς κλάδος των Μαθηματικών, η Λογική έχει μια συνεχή αλληλεπίδραση με την Πληροφορική, σε σημείο ώστε να θεωρείται από πολλούς ως ο «λογισμός της Πληροφορικής». Πιο συγκεκριμένα, η Λογική χρησιμοποιείται στις Βάσεις Δεδομένων, στην Τεχνητή Νοημοσύνη, και έχει προσφέρει τα θεμέλια για την ανάπτυξη της θεωρίας των σύγχρονων Γλωσσών Προγραμματισμού. Οι λογικές υψηλής τάξης, η τροπική, και η χρονική λογική χρησιμοποιούνται ευρέως σε εφαρμογές, και πολλές υποπεριοχές της Λογικής, όπως η θεωρία αποδείξεων, η μοντελοθεωρία, ο λάμδα λογισμός, η θεωρία τύπων, κ.ο.κ., έχουν υιοθετηθεί και περαιτέρω αναπτυχθεί από τη Θεωρητική Πληροφορική.
- Διακριτά Μαθηματικά. Η πρωτοφανής ενσωμάτωση των ψηφιακών τεχνολογιών στην καθημερινή ζωή έχει καταστεί δυνατή λόγω της αξιοσημείωτης ανάπτυξης των Διακριτών Μαθηματικών. Αλλά και τα ίδια τα Διακριτά Μαθηματικά έχουν δεχτεί την ισχυρή θετική ανατροφοδότηση που έχει προκύψει από την τεχνολογική πρόοδο, με αποτέλεσμα να έχουν γνωρίσει αλματώδη ανάπτυξη. Τα Διακριτά Μαθηματικά είναι στην ουσία τα Μαθηματικά των δομών που – σε αντίθεση με το συνεχές σύνολο των σημείων στη γραμμή των πραγματικών αριθμών – είναι "ψηφιακές ", όπως ακριβώς και οι ακέραιοι. Φυσικά, πέρα από τους ακέραιους αριθμούς υπάρχουν και άλλες αφηρημένες αλγεβρικές, γεωμετρικές, τοπολογικές, και πιθανοτικές δομές που βρίσκονται στο επίκεντρο των Διακριτών Μαθηματικών, καθώς και των αλληλεπιδράσεων τους με τους Αλγορίθμους και τη Μαθηματική Λογική.
Κατά μία έννοια, τα άλματα της σύγχρονης τεχνολογίας έχουν επιτευχθεί μέσω της ισχυρής αλληλεπίδρασης των Αλγορίθμων, της Λογικής και των Διακριτών ΜΑθηματικών. Τη γνώση των τριών αυτών θεμελιωδών περιοχών φιλοδοξεί το Α.Λ.ΜΑ. να μεταλαμπαδεύσει στους φοιτητές του.