Leonel Augusto Pires Seabra de Sousa is a Full Professor at the University of Lisbon's Instituto Superior Técnico and a principal researcher at INESC-ID. His primary research focuses on heterogeneous architectures for high-performance computing, computer systems technologies, and cryptographic hardware acceleration. He holds a Fellow status with the IET and has been recognized as a Senior Member of both ACM and IEEE. Roles: Full Professor, Researcher (INESC-ID) Education: Details not explicitly provided in text His work spans parallel computing, embedded systems, and bioinformatics applications. Key contributions include energy-efficient architectures, RNS-based cryptographic accelerators, and GPU-driven phylogenetic analysis. Over 150 publications highlight his impact in these areas. Recent projects include COPMA (post-quantum cryptography hardware) and low-power 5G positioning systems. Awards include the HiPEAC Paper Award and multiple academic recognitions. Advising focuses on PhD/MSc students in HPC and embedded systems. Collaborates with industry partners on FPGA and GPU-based solutions.
Tan Tuy Nguyen serves as an Assistant Professor in the School of Informatics, Computing, and Cyber Systems at Northern Arizona University, where his research bridges theoretical cryptography with practical hardware and software implementations. His work focuses on developing secure, high-performance computing systems for real-world applications across multiple domains. Dr. Nguyen's research program centers on five interconnected pillars: Post-Quantum Cryptography : Advancing lattice-based schemes like CRYSTALS-Dilithium and Kyber to counter quantum computing threats Hardware Acceleration : Optimizing cryptographic operations through GPU architectures and specialized hardware designs Homomorphic Encryption Systems : Enabling computation on encrypted data through CKKS scheme optimizations Medical Security Applications : Integrating cryptography with deep learning for privacy-preserving diagnostic systems Audio Processing Security : Combining neural networks with encryption for secure audio transmission and storage Analysis of his 2024-2025 publications reveals a strategic shift toward deployable cryptographic solutions, with 80% of recent work addressing performance bottlenecks in post-quantum algorithms. His research demonstrates particular innovation in GPU-accelerated cryptography (40% of recent output) and cross-domain applications to healthcare and audio processing (30% combined), establishing him as a key contributor to practical secure computing systems.
Oluwaseun Priscilla Olawale is a Lecturer in Software Engineering at Near East University (Nicosia, Cyprus), where she is concurrently pursuing her master's degree in Software Engineering. She previously served as a teaching assistant at the same institution. Her academic background includes a Bachelor's degree in Computer Science from Bowen University, Nigeria, complemented by professional experience as an IT Specialist at the Standards Organisation of Nigeria and Software Developer at Royal Niger Company. Research Focus: Her work centers on developing reliable software solutions with emphasis on artificial intelligence applications. Primary domains include healthcare technology (medical imaging, remote healthcare, IoHT security), industrial systems (Industry 4.0 automation), cybersecurity (blockchain integration, anomaly detection), and educational technology (post-pandemic learning environments). She demonstrates consistent interest in interdisciplinary AI implementations bridging theoretical models and practical challenges. Publication Trends: Recent articles (2020-2025) reflect a progression from foundational surveys in data mining and blockchain verification toward applied AI solutions. Emerging themes include disaster prediction systems, audio-visual signal processing, and security-enhanced healthcare networks. Her technical approach frequently employs deep learning architectures (CNNs, VGG-16), blockchain frameworks, and signal processing techniques to address real-world problems across diverse sectors.
Fernando Magno Quintão Pereira is an Associate Professor at the Federal University of Minas Gerais (UFMG), Brazil, specializing in compiler design and program analysis. His academic journey began with a Ph.D. from UCLA in 2008 under Jens Palsberg's supervision, establishing his foundation in compiler research. His research focuses on compilers , with core expertise in code generation , compiler optimizations , and static program analyses . Recent work explores quantum compilation, binary analysis, and security-aware compilation techniques. His publications reveal consistent contributions to major conferences including PLDI, CGO, and SPLASH, with emphasis on practical optimization frameworks and theoretical compiler advancements. Analysis of his 15 most recent publications (2020-2026) shows dominant themes in binary optimization (e.g., AnghaBench), security-aware compilation (e.g., Memory-Safe Elimination of Side Channels), and emerging architecture support (e.g., Quantum Computing Compilation). His work bridges theoretical compiler principles with real-world systems challenges. He actively contributes to the academic community through: Program committees for PLDI (2020-2025), CGO (2021-2026), and SPLASH conferences Leadership roles including CGO Finance Chair (2026) and PLDI Diversity & Inclusion Co-Chair (2023-2024) Organizing JENSFEST 2024 and serving on multiple conference steering committees Pereira maintains an active research group evidenced by continuous publication output and conference leadership, with his personal website ( homepages.dcc.ufmg.br/~fernando/ ) serving as a hub for his academic activities.
Professor Hadi Larijani serves as a full Professor in Cyber Security and Networks within the School of Computing, Engineering and Built Environment at Glasgow Caledonian University. His research portfolio spans secure wireless communications, Internet-of-Things security, and neural network applications in networking systems, contributing significantly to UN Sustainable Development Goals through technological innovation. His primary research interests include: Wireless Sensor Network Security Intrusion Detection Systems Long Range Wide Area Networks (LoRaWAN) 6G Communication Security EEG Sensing and Medical Device Validation Digital Twin Frameworks for Logistics Professor Larijani's recent publication trends (2024-2025) show strong focus on practical security implementations for emerging technologies, with significant work in EEG validation systems, logistics optimization, antenna design, and VPN protocol analysis. His research bridges theoretical security frameworks with real-world applications across healthcare, agriculture, and transportation sectors. Notable research activities include: Principal Investigator for Market Assessment of Wearable Smart Wireless EEG Headset Co-Investigator for Secure 6G Enabled Realtime Joint Communication and Sensing Testbed Co-Investigator for Ghanaian tomato irrigation improvement project Co-Principal Investigator for British Academy Researcher at Risk - Ukraine Professor Larijani supervises research students with three documented supervised works, and maintains active collaborations across multiple institutions as evidenced by multi-author publications and international projects. His research group appears focused on practical security implementations for next-generation communication systems and IoT applications.
Associate Professor Biplob Ray serves as Head of Course for Postgraduate ICT Courses at the School of Engineering and Technology, Central Queensland University. With over 15 years of academic experience, he has progressed from ICT Lecturer (2015-2019) to Senior Lecturer (2020-2022) and currently holds the position of Associate Professor (2023-Present). His research is centered at the Centre for Intelligent Systems within the Institute for Future Farming Systems, where he leads multidisciplinary projects with significant industry and government funding. Dr. Ray holds a PhD from Deakin University (2015), Master of Information Technology from University of Ballarat (2008), and Graduate Certificate in Education Tertiary Teaching (2013). His academic journey began with a BSEng in Computer Engineering, followed by professional experience as Analyst Programmer at Telstra and Systems Programmer in the Philippines. His research focuses on the intersection of Artificial Intelligence, Internet of Things, and Cybersecurity, with practical applications spanning smart farming, environmental monitoring, and energy systems. His multidisciplinary approach has secured over $3 million in research funding from Australian federal government and industry sources since 2016, including significant projects like the $1.28 million 'Intelligent, Adaptable, and User-Friendly Weed Management system' and the $513,268 'AI-SSPCAS' project with CSIRO Data61. Dr. Ray's publication record shows consistent high-quality output with approximately 15-20 papers annually, primarily in IEEE and Elsevier journals. His work demonstrates strong translational impact, with multiple projects featured in media outlets including ABC News, Channel 7, and Australian Tree Crop magazine. His research has directly contributed to practical implementations such as smart irrigation systems for Cairns Regional Council and cybersecurity solutions for small businesses. 2025 Australian Awards for University Teaching (AAUT) 2024 Vice-Chancellor's Award of Commendation for Outstanding Researcher (Mid-Career) 2023 Vice-Chancellor's Award for Exemplary Practice in Learning and Teaching 2021 Vice-Chancellor's Award for Exemplary Practice in Learning and Teaching (Tier 1) 2019 Vice-Chancellor's Award for Exemplary Practice in Learning and Teaching 2016 'RISING STAR of 2016' award from CQUniversity Dr. Ray currently supervises fifteen research students across PhD and Master's programs, with active grants supporting multiple research positions. His leadership extends to professional service as Vice-Chair of IEEE Victorian Section (2024-2025), former Chair of IEEE Victoria IoT Community, and member of the Engineering Institute of Technology Course Advisory Committee. The Centre for Intelligent Systems fosters interdisciplinary collaboration with regular seminars, industry partnerships, and international research connections, providing students with rich opportunities for professional development.
Panagiotis (Pete) Manolios is a Professor in the Department of Computer Science within Northeastern University's College of Engineering in Boston. He leads the Northeastern University Formal Methods (NUFM) research group and maintains an active research program with multiple current PhD students. His primary affiliation is with the College of Computer Science (CCS) at Northeastern University, where he holds a tenured faculty position. Manolios' research focuses on formal methods with particular emphasis on program verification, theorem proving, and safety analysis of systems. His work spans several key areas including floating-point program analysis, resource-aware program verification, protocol verification, and safety-critical systems. He has developed significant tools and methodologies such as ACL2s (a powerful theorem prover) and pioneered approaches for analyzing numeric stability in compiler optimizations. His recent publications demonstrate substantial activity in formal verification, with particular focus on numeric stability analysis, invariant discovery through gamification, and model-based safety analysis of complex system architectures. These works reflect a consistent research trajectory toward making formal verification more practical and applicable to real-world systems, especially those with safety-critical requirements. Manolios has received recognition through multiple NSF grants including the SaTC: CORE: Medium collaborative project on bridging the gap between protocol design and implementation. His work on confidentiality and integrity of deep neural networks represents cutting-edge research at the intersection of formal methods and AI security. He has successfully mentored numerous PhD students who have gone on to positions at major technology companies including Google, Facebook, Intel, and MathWorks. His students' dissertations cover diverse topics within formal methods, from rank-polymorphic programming languages to resource-aware program analysis. Manolios directs several significant research projects including ACL2s (a powerful theorem prover), CID: Confidentiality and Integrity of Deep Neural Networks, Compilation-Dependent Security Properties of Software, and Platform Dependencies of Floating-Point Programs. These projects address fundamental challenges in making formal verification more practical and applicable to real-world systems.
