Find Academic Supervisors

Lejla BatinaView profile

Professor

• Cryptography
• Embedded Systems Security
• Side-Channel Analysis
• +3 more

Lejla Batina is a full professor of security of embedded devices in the Digital Security (DiS) group at Radboud University's Computing Science Department within the Faculty of Science. She also holds an adjunct professorship at the Selmer Center of the University of Bergen, Norway. Her research focuses on applied cryptography, embedded systems security, and leveraging machine learning for side-channel analysis. Batina has contributed significantly to cryptographic implementations, including ECC and post-quantum cryptography. She has organized major conferences such as CHES 2014, EUROCRYPT 2020/2021, and ACNS 2024, and currently serves on editorial boards like ACM TECS. Notable achievements include a VIDI grant (2014) and IEEE Senior Membership (since 2018). Her work spans over 240 publications, covering topics like SCA-resistant ECC, neural network security, and hardware countermeasures. Batina has mentored over 20 PhD students and postdocs, many of whom now hold academic or industry leadership roles. Her lab, CESCA, emphasizes collaborative research in cryptographic hardware and embedded systems security. Education: Professional Doctorate in Engineering (PDEng) in Mathematics for Industry, TU Eindhoven (2001) PhD in Mathematics, KU Leuven (2005) M.Sc. in Mathematics, University of Zagreb (1995) Research Interests: Her work bridges theoretical cryptography and practical implementations, with emphasis on Side-channel and fault attacks on embedded devices Machine learning applications in security Low-cost countermeasures for constrained hardware Post-quantum cryptography implementations Security of neural networks and AI models Grants & Awards: VIDI grant from Dutch Research Council (2014) Senior Member, IEEE (2018–present) Editorial Board Member, ACM Transactions on Embedded Computing Systems (since 2018) Advising & Mentorship: Supervised 15+ PhD students and numerous postdocs, including prominent alumni like Dr. Stjepan Picek (Associate Professor at Radboud) and Dr. Lukasz Chmielewski (Assistant Professor at Masaryk University). Labs & Teams: Leads the Cryptographic Embedded Systems and Security Applications (CESCA) lab, collaborating internationally on hardware-software co-design for secure implementations.

Zachary TatlockView profile

Associate Professor

• Programming Languages
• Formal Verification
• Compiler Design
• +4 more

Zachary Tatlock is an Associate Professor at the Paul G. Allen School of Computer Science & Engineering , University of Washington , with a focus on Programming Languages . His research spans formal verification , compiler design , floating-point accuracy , and machine learning frameworks , unified by themes of making tricky code easier to write and ensuring correctness through rigorous proofs and empirical systems. His recent work includes unifying Datalog and equality saturation (PLDI 2023), exploring LLM-driven document markup (Programming with AI 2024), and advancing floating-point error analysis via interactive tools like Odyssey (UIST 2023). He leads the UW PLSE research group and co-organizes events like EGRAPHS and FPTalks . Key collaborations include verifying distributed systems in CakeML (ECOOP 2022) and developing egglog , an e-graph library with relational extensions (PLDI 2023). His teaching includes Solver-Aided Programming (CSE 507) and Grad PL (CSE 505), emphasizing both Greek (formalism) and graphs (empiricism) .

Kartikeya WaliaView profile

Lecturer

• Design
• Manufacturing
• Robotics
• +5 more

Dr. Kartikeya Walia is a Lecturer in the Department of Engineering at Nottingham Trent University (NTU). His work bridges design, manufacturing, and robotics, with a strong emphasis on sustainable engineering practices. He actively engages in research projects that focus on additive manufacturing, generative design, and their applications in both industrial and medical robotics. Role: Lecturer in Engineering Key Research Areas: Design optimization, Additive Manufacturing, Robotics, Sustainable Design Funding: £2.5k (ICURe Discover, Innovate UK, UKRI, 2025), £13.5k (NTU International Partnership Fund, 2024-25), £2k (UK-RAS Network+ AdHoc Funding, 2024-25), £2.5k (Connected Everything ECR Placement Scheme, 2022-23) Kartikeya's research is at the intersection of design, manufacturing, and robotics. His projects often explore generative design methodologies, additive manufacturing techniques, and innovative approaches to reduce resource consumption in engineering practices. His work has been recognized through the NTU Open Research Award 2024, and he serves as a judge for the Robotics & Automation Awards 2025. His recent publications highlight advancements in spherical parallel manipulators, emergency response devices like low-cost ventilation systems, and robotic surgical tools. These works align with his broader goals of integrating sustainability into engineering solutions while optimizing material usage and production efficiency. Scientific Awards: NTU Open Research Award 2024, Judge for Robotics & Automation Awards 2025 Kartikeya also contributes to education by teaching 'Innovation and Engineering Solutions,' a course that fosters creativity and problem-solving skills. Students engage with tools like Autodesk Fusion 360, exploring CAD modeling, reverse engineering, and generative design principles through hands-on projects.

• Wireless Communication
• IoT (Internet of Things)
• Embedded Systems
• +3 more

Pierre Favrat is an Associate Professor at the School of Engineering and Management of the Canton of Vaud, affiliated with the IICT Institute of Information and Communication Technologies. He specializes in wireless communication, IoT, and embedded systems. His work focuses on MEMS technology, electromagnetic interference localization, and Industry 4.0 applications. He has led multiple research projects including: Tyxit Innovation Voucher (2019-2020) : Developed low-latency multi-point audio transmission systems funded by Innosuisse. MEMS Smart IoT Sensor (2019-2020) : Created industrial-grade MEMS sensors for IoT applications funded by CTI. Lemoptix Microprojector (2012-2013) : Advanced MEMS-based laser projection systems for HUD and mobile devices with EPFL-LEG funding. His research emphasizes practical industrial applications, collaborating with partners like LEMOPTIX and leveraging academic-industrial partnerships.

Necati ARASView profile

Professor

• Inventory Control
• Product Recovery Network Design
• Reverse Logistics Management
• +7 more

Necati ARAS is a Professor in the Department of Industrial Engineering at Bogazici University. He holds a PhD from Bogazici University (1999). His research focuses on inventory control, reverse logistics, supply chain optimization, and the application of artificial neural networks in complex systems. He has published extensively on topics including facility location, wireless sensor networks, disaster preparedness, and competitive market strategies. Education: PhD, Bogazici University, 1999 ARAS's work bridges theoretical optimization with real-world applications, particularly in logistics, network security, and smart cities. His contributions include models for minimizing contagion spread in networks, optimizing multi-tier cloud computing, and improving vehicle routing efficiency. Recent research emphasizes strategic resource allocation and mitigating misinformation in social networks. Despite no listed awards, his prolific publication record (over 70 articles) reflects sustained academic impact. His research often addresses humanitarian challenges like disaster response and infrastructure protection. ARAS has advised numerous projects but no specific student names are provided in the text. His research teams likely focus on interdisciplinary collaboration between operations research, computer science, and civil engineering.

Ripon Kumar ChakraborttyView profile

Researcher

• Artificial Intelligence
• Decision Analytics
• Operations Research
• +8 more

Dr Ripon Kumar Chakrabortty is a Decision Scientist at the School of Systems & Computing, UNSW Canberra . His research focuses on applying Artificial Intelligence and Optimization Models to complex systems, particularly in Global Supply Chains, Logistics, and Medical Informatics . He coordinates the Master of Decision Analytics program and leads the Artificial Intelligence Community of Practice at the Australian Institute of Project Management. PhD in Computer Science, UNSW (2017) M.Sc. & B.Sc. in Industrial Engineering, BUET Diploma in Logistics, Monarch Institute Certified by Chartered Institute of Logistics and Transport Australia His research portfolio includes over 5 million AUD in Category 1 grants from Australian Research Council , Department of Defence , and other government agencies. He has supervised 24 PhD/Master's students to completion or ongoing supervision, with expertise in Explainable AI , Healthcare Analytics , and Smart Manufacturing . Recent scientific recognitions include a Highly Cited Paper , Best Paper at IEEE IEEM , and Champion at IEEE CEC Competition . His editorial roles span prestigious journals like IEEE Transactions on Industrial Informatics and Mathematics (MDPI) .

Kung-Kiu LauView profile

Senior Lecturer

• Component-based Software Development
• Computational Logic
• Software Engineering
• +12 more

Kung-Kiu Lau is a Senior Lecturer at the School of Computer Science, University of Manchester , specializing in Component-based Software Development and Computational Logic . He leads the Component-based Software Development research group and has supervised 11 PhD students. Research Focus: Component models, algebraic service composition, logic program synthesis, and IoT systems scalability. Key Contributions: Development of tools like X-MAN and D-XMAN for compositional software design, exploration of formal methods in software engineering, and foundational work on steadfast programs. Publications span IoT service composition, component certification, reverse engineering, and formal verification. His work addresses challenges in scalability, reusability, and automated synthesis of software components. Awards: ICIOT 2018 Best Paper Award

Edwin A. MarengoView profile

Associate Professor

• Electromagnetic Imaging
• Inverse Scattering
• Wavefield Imaging
• +14 more

Edwin A. Marengo is an Associate Professor in the Department of Electrical and Computer Engineering at Northeastern University, Boston, Massachusetts. He holds a Ph.D. in Electrical Engineering from Northeastern University (1997), where he is currently a tenured faculty member. His academic journey began with a B.S. in Electromechanical Engineering from the Technological University of Panama (1990), where he graduated as valedictorian and Summa Cum Laude. His research is centered on electromagnetic imaging, inverse scattering, physics-based signal processing, and information theory. He has made significant contributions to time-reversal imaging, compressive sensing, optical theorem applications, and radar signal processing. His work bridges theoretical electromagnetics with practical applications in secure communications, medical imaging, and distributed sensing. The trends in his recent publications reflect a strong focus on coherent change detection , scattering-based encryption , data-driven imaging , and the application of the optical theorem in radar and optical systems. His work increasingly integrates compressive sensing and nonlinear inverse methods to solve complex imaging problems in noisy and multipath environments. His scientific honors include: National Science Foundation (NSF) CAREER Award (2008) Fulbright Scholar (1992–1994) Technological University of Panama Most Distinguished Alumnus (2008) Elected Member of URSI Commission B (2006) Senior Member of IEEE and member of OSA, Phi Kappa Phi, Eta Kappa Nu, and Tau Beta Pi Dr. Marengo has advised students and supervised research at both Northeastern and the Technological University of Panama. He has served as an Associate Editor for IEEE Transactions on Computational Imaging and IEEE Transactions on Image Processing, and is currently on the editorial board of SpringerPlus. He has led major research grants from the NSF, AFOSR, and U.S. Army Research Laboratory. He is actively involved in professional service, including organizing conference sessions, reviewing for top journals, and mentoring student honor societies. He has also held visiting positions at Boston University (2013) and Tufts University (2020), and has been an invited speaker at institutions in the U.S., Panama, Italy, Sweden, Finland, Chile, and the U.K.

Luigi CeruloView profile

Associate Professor

• Bioinformatics
• Computational Genomics
• Machine Learning
• +3 more

Luigi Cerulo is an Associate Professor in Computer Science at the Department of Science and Technology (DST) , University of Sannio in Benevento. He co-directs the bioinformatics research group with Francesco Napolitano, focusing on integrating computational methods into life sciences. His teaching includes advanced topics like Computational Genomics and Statistics and Bioinformatics for Master's programs in Biotechnology and Biology. Academic Rank: Associate Professor Department: Science and Technology, University of Sannio Email: lcerulo@unisannio.it Research Interests: Driven by cross-disciplinary innovation, his work bridges machine learning and bioinformatics. Key areas include reverse engineering gene regulatory networks using deep graph neural networks, predicting ligand-receptor interactions via graph autoencoders, and exploring non-coding RNA functions with self-supervised learning. His team also investigates drug synergy prediction and AI applications in biological data. Recent Publications: His 15 most recent works span 2022 to 2007, emphasizing machine learning in gene network reconstruction (Chang et al., 2020), deep learning for RNA classification (Noviello et al., 2020), and foundational contributions to software engineering tools (Canfora et al., 2007-2008). Research Infrastructure: The group utilizes high-performance systems including a Superdome Flex server (224 CPU cores, 1.5 TB RAM) and a GPU cluster at Biogem Institute. Advising and Grants: He mentors PhD students in bioinformatics and leads projects such as GENOMA E SALUTE (EU-funded) and Non-Coding RNA Explosion (Ministry of Research grant). Collaborations span institutions like the University of Naples and Biogem.

Linda KinkelView profile

Professor

• Plant Pathology
• Microbial Ecology
• Soil Microbiome
• +4 more

Linda Kinkel is a Professor in the Department of Plant Pathology at the University of Minnesota, specializing in microbial ecology and soil microbiomes. Her research focuses on antibiotic-producing Streptomyces bacteria, their role in disease suppression, and plant-microbe interactions across native prairie and agricultural soils. Education: PhD in Plant Pathology, University of Wisconsin-Madison (1988) MS in Biometry, University of Wisconsin-Madison (1987) BS in Biology and Pathology, St. Olaf College (1981) Her research explores: Antibiotic-mediated microbial interactions Co-evolutionary dynamics of inhibition and resistance Microbiome engineering for sustainable agriculture Impacts of environmental changes on soil health Recent work includes reverse-engineering soil microbiomes and leveraging green manures to control plant diseases. She leads NSF and USDA-funded projects on potato soil health and prairie ecosystem responses to climate change. Scientific Awards: No explicit awards mentioned in the provided text. Advising & Grants: Active in mentoring through research collaborations, with over 36 funded projects including multi-decadal LTER studies and microbiome management initiatives.

• Non-destructive Testing
• X-ray physics
• Physical modelling and simulation
• +7 more

Philipp Schütz is a Professor at the Lucerne School of Engineering and Architecture (HSLU), part of the Lucerne University of Applied Sciences and Arts. He holds dual appointments in the Institute of Mechanical Engineering and Energy Technology (IME) where he leads the CC Thermal Energy Storage research group, and the Institute of Natural and Social Sciences (ING). His office is located in Room E300/E311 at Technikumstrasse 21, 6048 Horw, Switzerland. Dr. Schütz earned his Physics degree from ETH Zürich with specialization in theoretical physics and optics. He completed his PhD in 2009 at the University of Zürich's Biochemical Institute, focusing on computer-aided modeling of spectroscopy experiments and pattern recognition in biochemical networks. From 2010-2014, he worked as a researcher at Empa in Dübendorf developing non-destructive testing methods before joining HSLU in September 2014 as a Physics lecturer. He completed a Certificate of Advanced Studies in Higher Education Didactics in 2015 and the 'Exzellenz in der Lehre' program in 2019. Professor Schütz's research spans Non-destructive Testing with emphasis on X-ray computed tomography , Energy System Modeling , and Computational Physics . His work on phase change materials and thermal energy storage has led to significant advancements in understanding calcium chloride hexahydrate solidification and salt hydrate behavior. He combines experimental work with sophisticated computational modeling, including Monte Carlo simulations and high-performance computing approaches. His expertise in algorithm development for large image datasets has applications across energy systems, materials science, and archaeological conservation. His publication record shows a clear evolution from fundamental physics toward applied engineering solutions, with recent work (2023-2025) increasingly focused on practical thermal energy storage applications for residential and district heating systems. The integration of X-ray computed tomography with energy system modeling represents his unique interdisciplinary approach. Professor Schütz actively leads numerous research initiatives including SWEET PATHFNDR, SWEET DeCarbCH TES, WindCoEconomy, and INTERSTORES. He teaches Mathematics & Physics for Engineering students and Time Series Analysis in the Master of Science in Applied Information and Data Science program. His research group operates advanced X-ray computed tomography facilities for studying material properties, energy storage systems, and conservation methods for archaeological materials, bridging theoretical physics with practical engineering applications in the energy sector.

Sanjeev GunawardenaView profile

Associate Professor

• GNSS (Global Navigation Satellite Systems)
• Software-Defined Radio
• GPS Signal Processing
• +7 more

Dr. Sanjeev Gunawardena is a Research Associate Professor in the Department of Electrical Engineering at the Air Force Institute of Technology (AFIT), part of Air University at Wright-Patterson Air Force Base, Ohio. His work focuses on advanced GNSS receiver design, software-defined radio, and signal processing for navigation systems. Education: PhD in Electrical Engineering, Ohio University (2007) MS in Electrical Engineering, Ohio University (2000) BS in Electrical Engineering, Ohio University (1997) BS in Engineering Physics, Ohio University (1997) Dr. Gunawardena's research interests center on GNSS signal processing , software-defined navigation receivers , multipath mitigation , deeply integrated GPS/INS systems , and signal quality monitoring . His work enables high-fidelity monitoring and robust navigation in challenging environments. He has developed toolboxes and standards to support education and research in GNSS. The recent publications reflect a strong trend in software-defined radio for satellite navigation , metadata standardization , interference and anomaly detection , and high-precision receiver design . These works span applications in aviation, defense, and critical infrastructure protection. Scientific Awards: Best Paper of Session, ION GNSS+ 2013 (x2) Northrop Grumman Appreciation Award, 2011 NASA Turning Goals into Reality Aviation Safety Award, 2001 William E. Jackson Award, RTCA, 2008 Ohio University 10-Year and 5-Year Service Awards Innovation Recognition Award, Ohio University Best Paper of Session, ION GPS 2001 Dr. Gunawardena has been actively involved in research grants and projects related to GPS anomalous event monitoring, synthetic vision systems, and GNSS security. He has collaborated with the FAA, NASA, and industry partners. His work has led to technology transfer, including the deployment of the GPS Anomalous Event Monitor at major airports. He has contributed to labs and research teams such as the Avionics Engineering Center at Ohio University and the GNSS research group at AFIT. His current work includes developing next-generation software-defined GPS payloads and interference detection systems using global data networks.

• Sustainable Operations Management
• Supply Chain Management
• Reusable Packaging Systems
• +3 more

Mahyar Taheri is an Assistant Professor of Operations Management at NEOMA Business School. Holding a PhD in Logistics and Management from Kuhne Logistics University alongside B.Sc. and M.Sc. degrees in Industrial Engineering, his research focuses on sustainable operations and supply chain management with particular emphasis on reusable packaging systems in consumer goods and food delivery industries. Primary research domain: Interplay between supply chain collaboration, market competition, and consumer preferences affecting sustainability performance Contribution to plastic packaging waste reduction through reusable packaging initiatives Key publication trends show expertise in: Supply chain network optimization Bi-objective logistics modeling Time-dependent demand management

Mariano CeccatoView profile

Associate Professor

• Security Testing
• Penetration Testing
• Code Hardening
• +5 more

Mariano Ceccato is an Associate Professor in the Department of Computer Science at the University of Verona, Italy. With a PhD in Computer Science from the University of Trento (2006), he has led numerous publicly funded and industrial research projects. His expertise includes security testing, penetration testing, code hardening, and empirical studies. Principal Investigator in multiple research initiatives Visiting Research Scientist at the University of Luxembourg Author/co-author of over 100 peer-reviewed papers Research Focus His work spans Android security, Ethereum smart contracts, REST APIs, and software protection techniques. Key contributions include: Security testing frameworks using reinforcement learning Advanced static analysis for Ethereum bytecode Novel obfuscation strategies for Java/Android Empirical studies on security report usability Comparative analysis of malware detection techniques Scientific Contributions He has received multiple awards including the Best Paper at IEEE ICST 2022, Best Research Paper at IEEE/ACM ICSE 2023, and ACM Distinguished Paper awards.

Matthias HollickView profile

Professor

• Computer Science
• Cybersecurity
• Wireless Networks
• +3 more

Prof. Dr.-Ing. Matthias Hollick is a Full Professor of Computer Science at the Technical University of Darmstadt, leading the Secure Mobile Networking Lab (SEEMOO). He is co-affiliated with the Electrical Engineering and Information Technology Department. His research focuses on Security, QoS, and Resilience in Mobile Systems, Privacy in Cyber-physical Systems, and Cross-layer Optimization in Wireless Networks. He holds leadership roles as the Speaker of the emergenCITY Research Center (Hessian LOEWE initiative) and Deputy Speaker of the DFG Doctoral School on Privacy and Trust for Mobile Users. His work has been published at top venues including ACM MobiCom, ACM IMWUT, IEEE S&P, and USENIX Security, earning over 15 best paper/demonstration awards. Key contributions include protocols for secure IoT communication, privacy-preserving authentication (e.g., PrivateDrop), and resilient networking solutions for disaster scenarios (e.g., RESCUE framework). His lab’s open-source tools, such as FreeSpeaker and BTLEmap, advance smart home and Bluetooth security research. Scientific recognition includes awards at ACM MobiCom, ACM IMWUT, and IEEE DOCSS. His research bridges academia and industry, addressing real-world challenges like satellite communication security, 5G vulnerabilities, and anti-stalking protections via devices like AirTags. Current work emphasizes 6G resilience, UWB security, and decentralized crisis communication systems.