Dr Filippos Pantekis

Cymrawd Dysgu

Computer Science

filippos.pantekis@abertawe.ac.uk

Dolenni Ymchwil

Trosolwg

Ymunodd Filippos â Phrifysgol Abertawe fel myfyriwr yn 2016 pan ddechreuodd ei BSc mewn Cyfrifiadureg, ac mae wedi aros yn rhan o'r brifysgol ers hynny.

Fel aelod o staff, mae Filippos wedi bod yn Gymrawd Dysgu i’r Sefydliad Codio fel rhan o’r Adran Gyfrifiadureg ers 2019. Mae ei ffocws addysgu wedi bod ar y Brentisiaeth Gradd mewn Peirianneg Meddalwedd Cymhwysol.

Prif ddiddordebau ymchwil Filippos yw optimeiddio, paraleleiddio, a Chyfrifiadura Perfformiad Uchel (HPC), yn enwedig yn ymwneud â dyfeisiau hynod gyfochrog fel Unedau Prosesu Graffeg Diben Cyffredinol (GPGPUs). Yn fwy diweddar, mae ymchwil ar addysg a'r cysylltiad sy'n datblygu rhwng addysg uwch a Deallusrwydd Artiffisial Cynhyrchiol wedi dod yn ddiddordeb.

Y tu hwnt i'r byd academaidd, mae Filippos yn mwynhau rhaglennu ac archwilio cymhlethdodau ieithoedd rhaglennu yn benodol trwy ieithoedd sydd wedi'u teipio'n statig fel Java a C/C++.

Meysydd Arbenigedd

Rhaglennu GPGPU
Cyfrifiadura Perfformiad Uchel
Saernïaeth Hynod Gyfochrog

Uchafbwyntiau Gyrfa

Diddordebau Addysgu

Rhaglennu Lefel Isel
Cyfrifiadura Perfformiad Uchel
Cydamseroldeb a Paraleleiddio
Optimeiddio
Diogelwch Cyfrifiadurol

Cyhoeddiadau

Uchafbwyntiau Ymchwil

Pantekis, F., James, P., O'Reilly, L., Archambault, D., & Moller, F. (2020). Visualising Railway Safety Verification. In Osman Hasan, Frederic Mallet (Ed.), Formal Techniques for Safety-Critical Systems. FTSCS 2019. Communications in Computer and Information Science. (pp. 95-105). Springer International Publishing.
https://doi.org/10.1007/978-3-030-46902-3_6, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa53283
Pantekis, F., James, P., & Kullmann, O. (2022). Scalable N-Queens Solving on GPGPUs via Interwarp Collaborations. In 2022 Tenth International Symposium on Computing and Networking (CANDAR)IEEE.
https://doi.org/10.1109/candar57322.2022.00029, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa61915
http://dx.doi.org/10.1109/candar57322.2022.00029
James, P., Moller, F., & Pantekis, F. (2023). OnTrack: Reflecting on domain specific formal methods for railway designs. Science of Computer Programming, 233, 103057
https://doi.org/10.1016/j.scico.2023.103057, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa65127
http://dx.doi.org/10.1016/j.scico.2023.103057
Pantekis, F., James, P., Kullmann, O., O'Reilly, L., & James, P. (2024). Optimized massively parallel solving of N‐Queens on GPGPUs. Concurrency and Computation: Practice and Experience, 0
https://doi.org/10.1002/cpe.8004, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa65385
http://dx.doi.org/10.1002/cpe.8004
Lloyd-Roberts, B., Pantekis, F., James, P., O'Reilly, L., & Edwards, M. (2024). Effective Candidate Invariant Generation Using GPGPUs and Optimisations. In 2024 Twelfth International Symposium on Computing and Networking (CANDAR) (pp. 77-86). IEEE.
https://doi.org/10.1109/candar64496.2024.00017, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa68671

Holl Ymchwil

Erthyglau Cylchgronau

Pantekis, F., James, P., Kullmann, O., O'Reilly, L., & James, P. (2024). Optimized massively parallel solving of N‐Queens on GPGPUs. Concurrency and Computation: Practice and Experience, 0
https://doi.org/10.1002/cpe.8004, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa65385
http://dx.doi.org/10.1002/cpe.8004
James, P., Moller, F., & Pantekis, F. (2023). OnTrack: Reflecting on domain specific formal methods for railway designs. Science of Computer Programming, 233, 103057
https://doi.org/10.1016/j.scico.2023.103057, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa65127
http://dx.doi.org/10.1016/j.scico.2023.103057

Cyfraniadau Cynadleddau

Lloyd-Roberts, B., Pantekis, F., James, P., O'Reilly, L., & Edwards, M. (2024). Effective Candidate Invariant Generation Using GPGPUs and Optimisations. In 2024 Twelfth International Symposium on Computing and Networking (CANDAR) (pp. 77-86). IEEE.
https://doi.org/10.1109/candar64496.2024.00017, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa68671
Pantekis, F., James, P., & Kullmann, O. (2022). Scalable N-Queens Solving on GPGPUs via Interwarp Collaborations. In 2022 Tenth International Symposium on Computing and Networking (CANDAR)IEEE.
https://doi.org/10.1109/candar57322.2022.00029, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa61915
http://dx.doi.org/10.1109/candar57322.2022.00029
Pantekis, F., James, P., O'Reilly, L., Archambault, D., & Moller, F. (2020). Visualising Railway Safety Verification. In Osman Hasan, Frederic Mallet (Ed.), Formal Techniques for Safety-Critical Systems. FTSCS 2019. Communications in Computer and Information Science. (pp. 95-105). Springer International Publishing.
https://doi.org/10.1007/978-3-030-46902-3_6, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa53283

Modiwlau a Addysgir

CSF100 Work-Based Portfolio 1

In this module, students will develop a portfolio of documents and projects which will demonstrate the application of knowledge gained from the co-requisite modules to their work experience.
CSF101 Programming 1

This module will teach students to solve computational problems by writing simple programs in a high-level language, specifically Java. Students will understand the fundamental principles underlying imperative programming languages, and have the ability and confidence to write programs in Java to solve a variety of simple problems.
CSF102 Programming 2

This module is a continuation of CSF101: Programming 1. In it, students will enhance their programming skills and will be introduced to object oriented programming.
CSF203 Database Systems

This module will discuss the theory, design and implementation of databases.
CSF307 Advanced Object-Oriented Programming

This module will give an overview of advanced techniques in object oriented programming. It will investigate some standard libraries in-depth and a range of good practices when using higher-level and lower-level languages. It will examine many elements of these languages and students will understand how to write more efficient code, and how to guard against potential security flaws. The module introduces the programming language C and, including low-level aspects of programming that are usually abstracted in languages like Java and further expands the knowledge of students in Java by looking into advanced features of the language, and their respective impact on performance.

Dr Filippos Pantekis

Cyfeiriad ebost

Dolenni Ymchwil

Trosolwg

Meysydd Arbenigedd

Uchafbwyntiau Gyrfa

Cyhoeddiadau

Uchafbwyntiau Ymchwil

Holl Ymchwil

Erthyglau Cylchgronau

Cyfraniadau Cynadleddau

Modiwlau a Addysgir

CSF100 Work-Based Portfolio 1

CSF101 Programming 1

CSF102 Programming 2

CSF203 Database Systems

CSF307 Advanced Object-Oriented Programming