Dr Filippos Pantekis

Teaching Fellow

Computer Science

JavaScript is required to view this email address.

Research Links

https://orcid.org/0000-0001-7817-6450

About

Filippos joined Swansea University as a student in 2016 when he begun his BSc in Computer Science, and has remained part of the university since.

As a staff member, Filippos has been a Teaching Fellow for the Institute of Coding as part of the Department of Computer Science since 2019. His teaching focus has been on the Degree Apprenticeship in Applied Software Engineering.

Filippos' main research interests are optimisation, parallelisation, and High Performance Computing (HPC), particularly involving massively parallel devices such as General Purpose Graphics Processing Units (GPGPUs). More recently, research on education and the developing link between higher education and Generative AI has become of interest.

Beyond the academic world, Filippos enjoys programming and exploring the intricacies of programming languages specifically through statically typed languages such as Java and C/C++.

Areas Of Expertise

GPGPU Programming
Massively Parallel Architectures
High Performance Computing

Languages Spoken

Greek

Career Highlights

Teaching Interests

Low Level Programming
High Performance Computing
Concurrency and Parallelisation
Optimisation
Computer Security

Publications

Research Highlights

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

All Research

Journal Articles

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

Conference Contributions

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

Taught Modules

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

Email address

Research Links

About

Areas Of Expertise

Languages Spoken

Career Highlights

Publications

Research Highlights

All Research

Journal Articles

Conference Contributions

Taught Modules

CSF100 Work-Based Portfolio 1

CSF101 Programming 1

CSF102 Programming 2

CSF203 Database Systems

CSF307 Advanced Object-Oriented Programming