Δρ Παναγιώτης Κούβαρος
Σύντομο βιογραφικό σημείωμα
Στοιχεία επικοινωνίας
Πανεπιστημιούπολη Λεμεσού 2: οδός Χαϊδαρίου 3-5, 3020 Λεμεσός, Κύπρος
Προσωπική ιστοσελίδα
Δρ Παναγιώτης Κούβαρος
Επίκουρος Καθηγητής
Συνδιευθυντής MSc CSBT
Τμήμα Τεχνολογιών Πληροφορικής
ΕΜΠΕΙΡΙΑ
Η έρευνά μου ασχολείται με την ασφαλή τεχνητή νοημοσύνη, την αντίπαλη επαλήθευση, την ισχυρή εκπαίδευση και την επεξηγηματικότητα των νευρωνικών δικτύων, τον έλεγχο μοντέλων των συστημάτων σμήνους πρακτόρων και την επαλήθευση των νευροσυμβολικών συστημάτων.
ΣΥΝΤΟΜΟ ΒΙΟΓΡΑΦΙΚΟ ΣΗΜΕΙΩΜΑ
Είμαι Επίκουρος Καθηγητής Τεχνητής Νοημοσύνης και Επιστήμης Δεδομένων και συνδιευθυντής του ΠΜΣ στην Επιστήμη Υπολογιστών και Τεχνολογίες Επιχειρήσεων στο Πανεπιστήμιο Λεμεσού. Επιπλέον, είμαι συνιδρυτής και ερευνητικός σύμβουλος της Safe Intelligence, μιας επιχειρηματικής εταιρείας που χρηματοδοτείται από το Imperial College του Λονδίνου. Προηγουμένως ήμουν ερευνητής στην ομάδα επαλήθευσης αυτόνομων συστημάτων στο Imperial College του Λονδίνου. Πριν από αυτό, ήμουν υπότροφος για το διδακτορικό βραβείο EPSRC του Imperial College London. Είμαι κάτοχος διδακτορικού διπλώματος στην Επιστήμη των Υπολογιστών από το Imperial College του Λονδίνου (2016). Έχω δημοσιεύσει πάνω από 20 άρθρα σε συνέδρια και περιοδικά σχετικά με την ασφαλή τεχνητή νοημοσύνη. Επιλέχθηκα για μια ομιλία IJCAI 2023 Early Career Spotlight Talk.
Ενδεικτικές Δημοσιεύσεις
- P. Kouvaros. Towards Formal Verification of Neuro-symbolic Multi-agent Systems. In Pro- ceedings of the 33th International Joint Conference on Artificial Intelligence (IJCAI23), 2023.
- P. Kouvaros, F. Leofante, B. Edwards, C. Chung, D. Margineantu and A. Lomuscio. Verifica- tion of Semantic Key Point Detection for Aircraft Pose Estimation. In Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR23), 2023. Towards Scalable Complete Verification of ReLU Neural Networks via Dependency-based Branching. Panagiotis Kouvaros, Alessio Lomuscio.
- Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI21).
- P. Kouvaros, A. Lomuscio. Parameterised Verification for Multi-Agent Systems. Artificial Intelligence, 2016.
- M. Akintunde, E. Botoeva, P. Kouvaros, A. Lomuscio. Formal Verification of Neural Agents in Non-deterministic Environments. Journal of Autonomous Agents and Multi-Agent Systems, 2021.
Ενδεικτικές Δημοσιεύσεις
- Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification. P. Kouvaros, B. Brückner, P. Henriksen, A. Lomuscio. Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence (AAAI25). Phildelphia, Pennsylvania, USA.
- Επαλήθευση της γεωμετρικής ανθεκτικότητας των νευρωνικών δικτύων μέσω γραμμικής προσέγγισης κατά τεμάχια και βελτιστοποίησης Lipschitz. B. Batten, Y. Zheng, A. De Palma, P. Kouvaros και A. Lomuscio. Πρακτικά του 27ου Ευρωπαϊκού Συνεδρίου Τεχνητής Νοημοσύνης (ECAI24). Santiago de Compostela, Ισπανία.
- Τυπική επαλήθευση παραμετροποιημένων νευροσυμβολικών συστημάτων πολλαπλών πρακτόρων. Π. Κούβαρος, E. Botoeva, C. Bonis-Campbel. Πρακτικά του 33ου Κοινού Διεθνούς Συνεδρίου για την Τεχνητή Νοημοσύνη ( IJCAI24). Jeju, Νότια Κορέα.
- Π. Κούβαρος. Προς την τυπική επαλήθευση νευροσυμβολικών συστημάτων πολλαπλών πρακτόρων. Στα Πρακτικά του 33ου Διεθνούς Κοινού Συνεδρίου για την Τεχνητή Νοημοσύνη (IJCAI23), 2023.
- P. Kouvaros, F. Leofante, B. Edwards, C. Chung, D. Margineantu και A. Lomuscio. Επαλήθευση της σημασιολογικής ανίχνευσης βασικών σημείων για την εκτίμηση της στάσης του αεροσκάφους. Στα Πρακτικά του 20ου Διεθνούς Συνεδρίου για τις Αρχές της Αναπαράστασης Γνώσης και της Συλλογιστικής (KR23), 2023.
- M. Akintunde, E. Botoeva, P. Kouvaros, A. Lomuscio. Lomuscio. Verifying Strategic Abilities of Neural Multi-Agent Systems. In 17th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2023), 2023.
- M. Akintunde, E. Botoeva, P. Kouvaros, A. Lomuscio. Formal Verification of Neural Agents in Non-deterministic Environments. Journal of Autonomous Agents and Multi-Agent Systems, 2021.
- V. Hashemi, P. Kouvaros, A. Lomucio. OSIP: Tightened Bound Propagation for the Ver- ification of ReLU Neural Networks. In Proceedings of the 19th Interational Conference on Software Engineering and Formal Methods (SEFM21), 2021.
- P. Kouvaros, T. Kyono, F. Leofante, A. Lomuscio, D. Margineantu, D. Osipychev, Y. Zheng. Formal Analysis of Neural Network-based Systems in the Aircraft Domain. In Proceedings of the 24th International Symposium on Formal Methods (FM21), 2021.
- P. Kouvaros, A. Lomuscio. Towards Scalable Complete Verification of ReLU Neural Networks via Dependency-based Branching. In Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI21), 2021.
- B. Batten, P. Kouvaros, A. Lomuscio, Y. Zheng. Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts. In Proceedings of the 30th Interna- tional Joint Conference on Artificial Intelligence (IJCAI21), 2021. (Core A*; full paper.) 2020.
- M. Akintunde, E. Botoeva, P. Kouvaros, A. Lomuscio. Verifying Strategic Abilities of Neural Multi-Agent Systems. In Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR20), 2020.
- M. Akintunde, E. Botoeva, P. Kouvaros, A. Lomuscio. Formal Verification of Neural Agents in Non-deterministic Environments. In Proceedings of the 19th International Conference on Autonomous Agents and Multi-agent Systems (AAMAS20), 2020.
- E. Botoeva, P. Kouvaros, J. Kronqvist, A. Lomuscio, R. Misener. Efficient Verification of ReLU-based Neural Networks via Dependency Analysis. In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI20), 2020.
- P. Kouvaros, A. Lomuscio, E. Pirovano, H. Punchihewa. Formal Verification of Open Multi- Agent Systems. In Proceedings of the 18th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS19), 2019.
- P. Kouvaros, A. Lomuscio, E. Pirovano. Symbolic Synthesis of Fault-Tolerance Ratios in Pa- rameterised Multi-Agent Systems. In Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI18), 2018.
- P. Kouvaros, D. Kouzapas, A. Philippou, J. Georgiou, A. Pitsillides. In Proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems (FMICS18), 2018.
- P. Kouvaros, A. Lomuscio. Verifying Fault-tolerance in Parameterised Multi-Agent Systems. In Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI17), 2017.
- F. Belardinelli, P. Kouvaros, A. Lomuscio. Parameterised Verification of Data-aware Multi- agent Systems. In Proceedings of the 26th International Joint Conference on Artificial Intel- ligence (IJCAI17), 2017.
- P. Kouvaros, A. Lomuscio. Parameterised Verification of Infinite State Multi-Agent Systems via Predicate Abstraction. In Proceedings of the 31st AAAI Conference on Artificial Intelli- gence (AAAI17), 2017.
- P. Kouvaros, A. Lomuscio. Parameterised Verification for Multi-Agent Systems. Artificial Intelligence, 2016
- P. Kouvaros, A. Lomuscio. Parameterised Model Checking for Alternating-time Temporal Logic. In Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI16), 2016.
- P. Kouvaros, A. Lomuscio. Formal Verification of Opinion Formation in Swarms. In Proceed- ings of the 15th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS16), 2016.
- I. Boureanu, P. Kouvaros, A. Lomuscio. Verifying Security Properties in Unbounded Multi- agent Systems. In Proceedings of the 15th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS16), 2016.
- P. Kouvaros, A. Lomuscio. Verifying Emergent Properties of Swarms. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI15), 2015.
- P. Kouvaros, A. Lomuscio. A Counter Abstraction Technique for the Verification of Robot Swarms. In Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI15), 2015.
- P. Kouvaros, A. Lomuscio. A Cutoff Technique for the Verification of Parameterised Inter- preted Systems with Parameterised Environments. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI13), 2013.
- P. Kouvaros, A. Lomuscio. Automatic Verification of Parameterised Interleaved Multi-Agent Systems. In Proceedings of the 12th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS13), 2013.
English (UK) 
Ελληνικά