Αρίθμηση, συνδυαστική, ιδιότητες ακεραίων, διατεταγμένα σύνολα και πλέγματα, άλγεβρες Boole, επιλογή θεμάτων από κυψελιδικά αυτόματα, υπολογισμούς με συστολικά διανύσματα, απεικόνιση αλγορίθμων σε υπολογιστικά συστήματα.
