Find Academic Supervisors

• Bioinformatics
• Machine Learning
• Protein-Protein Interaction Prediction
• +4 more

Erdem Türk is an Assistant Professor in the Department of Computer Engineering at the Faculty of Engineering, Muğla Sıtkı Koçman University. He completed his PhD in Bioinformatics in 2024 and currently holds significant administrative positions including Engineering Faculty Deputy Dean and Computer Engineering Department Vice Chair since 2024. His academic career has been entirely at Muğla Sıtkı Koçman University, where he has progressed from undergraduate studies through to doctoral completion. His educational background includes: Bachelor's Degree in Computer Engineering (2009-2014) Master's Degree in Informatics Systems Engineering (2014-2019) Doctorate in Bioinformatics (2019-2024) Dr. Türk's research primarily focuses on applying computational methods to biological problems, with particular emphasis on protein-protein interaction prediction using machine learning techniques. His work bridges computer science and biology, developing algorithms for virus-host interaction prediction, genomic variant analysis, and clinical decision support systems. He has established a strong research trajectory in bioinformatics with publications in high-impact journals like PLOS ONE and Frontiers in Molecular Biosciences. Analysis of his publication record reveals a clear progression from foundational work in protein interaction prediction to increasingly sophisticated applications in viral infection prediction and clinical genomics. His most recent work demonstrates integration of machine learning with biological domain knowledge, particularly in host-pathogen interactions and uncovering clinically significant genomic variants. Dr. Türk actively contributes to the academic community through multiple administrative roles including membership on the Engineering Faculty Quality Committee, participation in the Artificial Intelligence Upper Committee, and serving on the Disabled Students Unit Coordination Board since 2020. He teaches core computer science courses including Programming Fundamentals, Data Structures and Algorithms, and specialized Bioinformatics Algorithms. His research is supported by several TÜBİTAK projects where he serves as a scholar, including completed projects on adenovirus host specificity prediction and whole-exome sequencing variant detection, plus an ongoing project developing genetic analysis kits for CAR-T cell therapies in leukemia treatment.

• Cryptography
• Cybersecurity
• Information Security
• +3 more

Rafael Ignacio Álvarez Sánchez is a Full Professor in the Department of Computer Science and Artificial Intelligence at the University of Alicante's Polytechnic School. He has held this position since 2017 after progressing through academic ranks from Teaching Assistant (2005) to Associate Professor (2007-2008). He served as Department Director from 2016-2021, Deputy Director in multiple periods (2012, 2013, 2016), and Department Secretary from 2008-2012. His academic home is firmly within the University of Alicante where he completed all his formal education. Dr. Álvarez earned his Computer Engineering degree in 2001, Advanced Studies Diploma in 2003, and PhD in Computer Science in 2005, all from the University of Alicante. He received the Extraordinary Doctorate Award in 2009 and completed a postdoctoral research stay at the Claude Shannon Institute in Dublin under the José Castillejo program in 2008. His English proficiency is certified at C2 level (Cambridge Proficiency). His research focuses primarily on cryptography, cybersecurity, and information security with expanding applications in machine learning. Recent work examines adversarial attacks in neural networks and advanced malware detection using deep learning. He has directed 7 doctoral theses, including two defended in July 2024 on adversarial neural network attacks and malware detection. His publication record spans cryptographic techniques, security protocols, and machine learning security applications. His scholarly output shows consistent focus on cryptographic methods and security systems, with recent publications addressing modern challenges in machine learning security and password protection. The research trajectory demonstrates evolution from foundational cryptographic research toward contemporary security challenges in AI systems and advanced computing environments. Extraordinary Doctorate Award (2009) Predoctoral collaboration grant from the Ministry of Education Postdoctoral grant under the José Castillejo program C2 level English certification (Cambridge Proficiency) Professor Álvarez has directed or co-directed 29 undergraduate/master's theses in the last five years and 7 doctoral theses overall. He has participated in 5 public research projects over the last five years as both coordinator and collaborator, including projects funded by the Valencian Government and Ministry of Education. His research group affiliation is with Cybersecurity and Computing (CSC) at the Institute of Computer Research. Current work appears focused on the intersection of machine learning security and traditional cryptographic methods, particularly examining adversarial attacks and advanced malware detection techniques.

Andreia MordidoView profile

Assistant Professor

• Programming Languages
• Type Systems
• Logic
• +2 more

Andreia Mordido serves as an Assistant Professor in the Department of Informatics at the Faculty of Sciences, University of Lisbon, and is an integrated researcher at LASIGE. She previously conducted research as a visiting scholar at Carnegie Mellon University's Principles of Programming (PoP) group during Fall 2019. Her academic credentials include: Ph.D. in Information Security (2017), Instituto Superior Técnico, University of Lisbon M.Sc. in Mathematics and Applications (2011), Instituto Superior Técnico, University of Lisbon B.Sc. in Mathematics (2009), Faculty of Sciences and Technology, New University of Lisbon Her research centers on programming languages and type systems for specifying and verifying communication protocols, with earlier contributions to probabilistic/equational logics for cryptographic protocol security and probabilistic satisfiability solvers. Primary interests span Programming Languages, Type Systems, Logic, Satisfiability Problems, and Probabilistic and Equational Reasoning. Analysis of her 15 most recent publications reveals a concentrated research trajectory in session types and protocol verification, with increasing sophistication in handling nested protocols, context-free session types, and higher-order abstractions. Her work bridges theoretical foundations in type theory with practical applications in concurrent and distributed systems, particularly evident in blockchain and smart contract domains. Scientific recognition includes: Distinguished Paper Award at POPL 2024 for "Parametric Subtyping for Structural Parametric Polymorphism" Dr. Mordido has secured involvement in multiple research initiatives: SafeSessions: Safe Concurrent Programming with Session Types Confident: Communication contracts for distributed systems development ASGARD: Analysis system for gathered raw data ECOSSIAN: European Control System Security Incident Analysis Network ComFormCrypt: Computational Semantics of Formal Methods in Cryptography Co-evolution and self-organization of cooperation Her teaching portfolio spans Domain-Specific Languages, Object Oriented Development, Introduction to Programming, and Theory of Computation across Faculty of Sciences (2018-present) and Instituto Superior Técnico (2012-2016), demonstrating consistent engagement with both theoretical and applied computer science education. As an LASIGE researcher, she contributes to Portugal's premier software engineering research laboratory focused on advanced computing solutions and formal methods.

• Fuzzy Mathematics
• Order Theory
• Social Choice Theory
• +5 more

María Jesús Campión Arrastia is a Full Professor at the Department of Statistics, Computer Science and Mathematics within the Public University of Navarra . Her academic career spans over 20 years, with significant contributions to fuzzy logic, social choice theory, utility functions, and aggregation of preferences. She holds a PhD in Mathematics (2004) and has been part of the Institute for Advanced Research in Business and Economics (INARBE). Research Interests: Her work bridges mathematical structures (fuzzy sets, order theory, topologies) with economic and social applications (preference modeling, welfare analysis). Key areas include functional equations, representability of orderings, and innovative educational approaches using fuzzy logic. She has supervised two doctoral theses and participated in 10+ funded research projects, including the Chair of Social Economy and Cooperativism (2022-2026). Publications: With 44 journal articles and 7 book chapters, her research explores mapping fuzzy preferences to topological frameworks, axiomatic entropy, and applications of functional equations. Notable collaborations include publications with Humberto Bustince, Esteban Indurain, and Armajac Raventós Pujol. Awards: Premio extraordinario de licenciatura (Extraordinary Degree Award), Universidad de Zaragoza (2011) Grants: Recipient of 11 research grants, including the MARGARITA SALAS predoctoral program (2022-2024) and projects analyzing waste management sustainability, labor markets, and social economy.

Gabriela CzibulaView profile

Professor

• Programming Languages
• Artificial Intelligence
• Machine Learning
• +4 more

Dr. Gabriela Czibula is a Professor in the Department of Computer Science at the Faculty of Mathematics and Computer Science, Babeș-Bolyai University, Cluj-Napoca, Romania. She has served as faculty since 1998, progressing from Teaching Assistant to Lecturer (2002), Associate Professor (2005), and Professor (2009-present), specializing in programming languages and artificial intelligence. Education: PhD in Artificial Intelligence (cum laude, 2003) from Babeș-Bolyai University Analyst-Programmer Diploma (MSc equivalent, 1992) from Babeș-Bolyai University Research Interests: Her work spans Programming Languages (Imperative and Declarative Programming) and Artificial Intelligence with emphasis on Machine Learning applications, Data Mining, and Multiagent Systems. As coordinator of the Machine Learning Research Group (MLyRE), she applies these methodologies to bioinformatics, software engineering, and natural language processing, driving interdisciplinary innovation through the Research Institute on Artificial Intelligence (RIA). Research Projects: Principal investigator for four major projects including PN-IV-P7-7.1-PED-2024-0121 (WINDMIL), PN-III-P4-ID-PCE-2020-0800 (QUADEEP), RO-NO-2019-0133, and ID_2286/2008, demonstrating sustained research leadership in computational intelligence. Teaching: Leads the Master program in Applied Computational Intelligence (ICA) and teaches core courses including Data Structures and Algorithms, Logic and Functional Programming, Machine Learning, and Multiagent Systems. Advising: Supervised 16 PhD students with diverse thesis topics ranging from bioinformatics and proteomics to educational data mining and natural language processing, reflecting the breadth of her research impact. Scientific Awards: No awards were documented in the provided materials.

Jer-Shing HuangView profile

Professor

• Nanophotonics
• Plasmonics
• Quantum Optics
• +5 more

Dr. Jer-Shing Huang serves as Head of the Nanooptics Department at the Leibniz Institute of Photonic Technology (Leibniz-IPHT) in Jena, Germany. His research focuses on cutting-edge nanophotonic systems, plasmonic devices, and quantum optical phenomena at the nanoscale. As department head, he leads a research group dedicated to advancing optical science and technology through innovative approaches to light manipulation at subwavelength dimensions. Dr. Huang's research interests span multiple interconnected disciplines: Nanophotonic device engineering and fabrication Plasmonic and metamaterial systems for light manipulation Quantum optical phenomena at room temperature Advanced laser systems and microlaser arrays Chiral light-matter interactions and spectroscopic techniques Nanoscale optical sensing and detection methods Analysis of Dr. Huang's publication record reveals a strong trajectory toward increasingly sophisticated nanoscale optical systems with practical applications. His work demonstrates expertise across the full research spectrum from theoretical modeling to experimental implementation. A notable trend is his growing focus on quantum plasmonic systems that operate at room temperature, potentially enabling more practical quantum technologies. His publications span high-impact journals across physics, optics, and materials science, indicating broad recognition within multiple scientific communities. Recent work shows increasing emphasis on DNA-based nanofabrication techniques and electrically controllable optical systems. Dr. Huang maintains an extensive collaboration network with researchers across German institutions including Friedrich Schiller University Jena, as well as international partners. His work appears consistently in top-tier journals including Nature Communications, Advanced Materials, and Laser & Photonics Reviews. While specific grant information isn't provided in the text, his productive publication record suggests active funding support for his research program. As Head of the Nanooptics Department, Dr. Huang oversees research operations and laboratory facilities that enable cutting-edge work in nanofabrication, optical characterization, and theoretical modeling. The department maintains comprehensive capabilities for developing next-generation optical technologies with applications in sensing, computing, and quantum information processing.

Kirk LudwigView profile

Professor

• Philosophy of Language
• Philosophy of Mind and Action
• Epistemology
• +3 more

Kirk Ludwig is the Ruth N. Halls Professor of Philosophy and Director of Graduate Studies at Indiana University Bloomington in the College of Arts & Sciences. He has held this position since joining IU in 2010 after teaching at the University of Florida from 1990 to 2010, where he was the Colonel Alan R. and Margaret G. Crow CLAS Term Professor from 2008-2010. Education: Ph.D., Philosophy, University of California, Berkeley, 1990 B.S., Physics, summa cum laude, University of California, Santa Barbara, 1981 Ludwig's research spans foundational issues in the philosophy of language (particularly logical form and semantics), philosophy of mind and action, epistemology, and metaphysics, with a significant focus on collective intentionality and agency. His work demonstrates how these philosophical domains intersect, particularly in understanding the nature of joint action, social institutions, and linguistic communication. He approaches these topics with analytical rigor while maintaining connections to broader philosophical traditions. His recent publications reveal a consistent trajectory toward understanding collective phenomena, moving from individual to plural agency and then to institutional agency. The articles show increasing sophistication in analyzing how collective intentionality structures social reality, legal norms, speech acts, and corporate entities. His work bridges traditional philosophical concerns with contemporary issues in social ontology, demonstrating how philosophical analysis can illuminate complex social phenomena. Ludwig has made significant contributions as an editor, most notably editing the volume on Donald Davidson in the Cambridge Contemporary Philosophy in Focus series and co-editing the Routledge Handbook of Collective Intentionality with Marija Jankovic. He also co-authored major works on Donald Davidson with Ernie Lepore and has authored two influential books on collective agency: From Individual to Plural Agency: Collective Action 1 (2016) and From Plural to Institutional Agency: Collective Action 2 (2017). As Director of Graduate Studies, Ludwig oversees the philosophy department's graduate program, advising students and shaping the curriculum. His editorial work includes editing the Collective Intentionality category at PhilPapers, demonstrating his leadership in this growing field of philosophical inquiry. His research continues to explore the foundations of collective action and intentionality, with implications for understanding social institutions, legal systems, and corporate entities.

Neel KrishnaswamiView profile

Lecturer

• Programming Languages
• Formal Verification
• Type Systems
• +3 more

Dr. Neel Krishnaswami is a University Lecturer at the Department of Computer Science and Technology, University of Cambridge. His research focuses on programming languages, type systems, and formal verification. Institution: University of Cambridge Department: Department of Computer Science and Technology Academic Rank: Lecturer His research spans type theory, formal verification, and functional programming. Key contributions include work on refinement types, bidirectional typechecking, and separation logic for systems programming. Recent work trends include bidirectional type systems (2023), formal verification of C code (2023), higher-order automatic differentiation (2022), and comonadic effect systems (2020). Earlier work covers reactive programming (2021), Datalog extensions (2019-2020), and foundational type theory (2013-2015).

Saverio GiallorenzoView profile

Assistant Professor

• Programming Languages
• Process Calculi
• Choreographic Programming
• +4 more

Saverio Giallorenzo is an Assistant Professor (tenure-track) at the Department of Computer Science and Engineering, University of Bologna. He is also a member of the Microservices Community communication group, OLAS team at INRIA (France), and the Italian National Laboratory for Cybersecurity (Bologna node). Previously, he was associated with the Focus team at INRIA (France), Concurrency and Logic group, DISI Jolie Lab, and SPACES groups. Dr. Giallorenzo's research spans multiple areas in computer science with a focus on distributed systems and programming languages. His primary research interests include: Programming Languages Process Calculi Choreographic Programming Microservices Session Types Dynamic Adaptability Security His work bridges theoretical foundations with practical applications, particularly in the areas of serverless computing, microservice architectures, and secure distributed systems. Analysis of Dr. Giallorenzo's recent publications (2024-2026) reveals a strong focus on serverless computing, microservices, and choreographic programming. His research demonstrates a consistent trajectory toward optimizing distributed systems through formal methods. Key themes include topology-aware function scheduling in serverless environments, energy-aware cloud-edge deployments, ransomware investigation frameworks, and formal models for choreographic programming. His work often combines theoretical rigor with practical implementations, as evidenced by tools like the tAPP OpenWhisk extension and SAFARI framework. Dr. Giallorenzo actively contributes to the academic community through teaching and research supervision. He teaches courses including Network Analysis, Programming Languages, and Social Network Analysis at both undergraduate and graduate levels. His teaching spans the First Cycle Degree in Computer Science and Second Cycle Degrees in Artificial Intelligence, Computer Science, and Digital Humanities and Digital Knowledge. His research activities are supported by collaborations with several institutions including INRIA in France and participation in the Italian National Laboratory for Cybersecurity. He has been involved in developing the Jolie programming language and related tools for microservice development and verification.

• Bioengineering
• Genetic Diversity Analysis
• Plant Stress Response
• +3 more

Dr. Jasmin Šutković is an Associate Professor in the Department of Genetics and Bioengineering at the International University of Sarajevo (IUS) , where he has served since 2010. He completed his BSc, MSc, and PhD at IUS, and currently directs the Innovation and Entrepreneurship Center . His career includes administrative roles at the Research and Development Center (RDC) from 2013-2023. BSc: Biological Science and Bioengineering, IUS (2009) MSc: Genetics and Bioengineering, IUS (2014) PhD: Genetics and Bioengineering, IUS (2020) Dr. Šutković's research spans plant genetics and human molecular studies , focusing on: Cadmium stress response in Brassica varieties STR marker analysis for kinship verification COVID-19 pathogenesis and long-term effects Phytoremediation mechanisms Transgenic plant methodologies Metabolic syndrome biomarkers Protein-nanoparticle interactions His recent publications highlight trends in Computational biology applications for engineering Plant-metal transporter gene expression Viral contributions to lymphoma Phytoremediation strategies Multi-omics analysis of Long-COVID Dr. Šutković actively leads educational initiatives, including the DMED Program Coordination , and has contributed to over 30 peer-reviewed publications. His work bridges academic research with practical applications in biotechnology and environmental science.

• Mathematical Logic
• Set Theory
• Modal Logic
• +3 more

Mladen Vuković is a Full Professor at the Department of Mathematics , Faculty of Science , University of Zagreb , Croatia. His primary research interests include Mathematical Logic , Modal Logic , and Set Theory . Bisimulation theory in generalized Veltman models Interpretability logic and its computational complexity Applications of mathematical logic in computer science His recent publications focus on modal completeness , generalized Veltman semantics , and logical analysis of hybrid systems . He has also contributed to interdisciplinary research on inflammatory bowel disease and anemia diagnosis . Scientific Awards : Awarded Teacher at the Faculty of Science, University of Zagreb Contact: vukovic@math.hr | Phone: +385 1 460 5899

Sébastien LeurentView profile

Lecturer

• Mathematical Physics
• Quantum Integrability
• AdS/CFT Duality
• +5 more

Sébastien Leurent is a Lecturer at the University of Burgundy , affiliated with the Department of Mathematics and the Mathematical Physics Group within the Institut de Mathématiques de Bourgogne (IMB). His research focuses on quantum integrability, AdS/CFT duality, spin chains, and spectral theory, with applications to theoretical physics and environmental crisis modeling. Role: Teacher-Researcher Team: Mathematics-Physics Contact: sebastien.leurent@ube.fr | Personal Website Research Interests: Dr. Leurent's work spans integrable systems, quantum field theories, and algebraic methods. He has pioneered studies on Hirota equations, Q-operators, and Yang-Baxter structures in the context of AdS/CFT correspondence. Recently, he has expanded his research to include ecosystem modeling via finite automata and interdisciplinary social sciences, particularly economics. Teaching: He teaches courses such as Analysis in second year of mathematics , Statistics for Psychology , and contributes to the International Master in Mathematical Physics program. His outreach includes presentations for high school students and public seminars at institutions like CNAM (Paris) and the CRM (Montréal). Project Involvement: He is a key participant in the ISA Project (Mathematical Methods for Physical Systems), which focuses on integrability, scattering theory, and spectral methods with applications in quantum field theories and nano-optical components.

• Computer Science
• Artificial Intelligence
• Formal Methods
• +3 more

Patrick Ritzenfeld, M.Sc., is a current research associate at the University of Duisburg-Essen, affiliated with the Formal Methods in Computer Science (FMI) group. His role involves academic teaching, research, and participation in projects like PITCH. He can be contacted at Lotharstr. 65 (LF), Duisburg, Room LF 231B, or via phone (+49 203 37 91243) and email. Current Teaching: Summer Semester 2025 Exercises on 'Programming Paradigms'. Past Teaching: Winter Semester 2024 Exercises on 'Introduction to Logic' and 'Modeling'. Ritzenfeld's research focuses on formal methods in computer science, particularly in artificial intelligence, functional programming, and e-learning technologies. His work contributes to automated assessment systems and educational DSL implementations in Haskell environments.

Veronique BenzakenView profile

Professor

• Database Systems
• XML Processing
• Type Systems
• +3 more

Veronique Benzaken is a Full Professor (Professeur de classe exceptionnelle) at University of Paris Sud 11, where she is a member of the LRI (Laboratoire de Recherche en Informatique), UMR 8623 - CNRS. She is currently a member of the VALS (Verification of Algorithms Languages and Systems) research group, a joint team between LRI and the Toccata group at INRIA - Saclay. Her research focuses on data-centric programming languages and systems, with particular expertise in XML processing, type systems, and formal verification of database systems. Her academic background includes: Dec 1996: Habilitation à diriger des recherches, University Paris Sud 11 (UFR des Sciences - Orsay) Jan 1990: PhD in Computer Science, University Paris Sud 11 (UFR des Sciences - Orsay) Sep 1986: DEA d'Informatique fondamentale, University Denis Diderot Paris 7 (Master in Theoretical Computer Science) June 1983: Diplomée de Chant et d'Art-Lyrique, Conservatoire National de Région de Grenoble Professor Benzaken's primary research interests lie at the intersection of database systems, programming languages, and formal methods. She has made significant contributions to XML-centric programming through the design and development of ℂDuce, an XML-centric general purpose functional programming language developed under an MIT license. Her work emphasizes type-safe and fast query and transformation of XML documents. More recently, she has focused on the formalization of data intensive management systems using the Coq proof assistant, particularly in the context of the Datacert project (2016-2021) which aims to certify and verify data intensive systems such as RDBMS's and XML processing engines. Her research spans several interconnected areas including type systems for data languages, formal semantics of query languages, verification of database systems, and language-integrated query processing. She has led significant research projects such as the ANR project Blanc SIMI2 Typex (Typeful certified XML) and has collaborated with Oracle Labs on developing intermediate representations for multi-lingual querying interfaces. Her publication record shows a clear trajectory from XML processing and type systems toward increasingly rigorous formal verification of database technologies. Professor Benzaken has been actively involved in the academic community through service on program committees for major conferences including ESOP, ICDE, VLDB, and others. She has also been an invited speaker at workshops such as the Coq workshop (CoqWS@FLOC) in 2018. Her research is supported by significant grants including the ANR project Datacert (2016-2021) and the ANR project Blanc SIMI2 Typex. She has collaborated extensively with researchers such as Évelyne Contejean, Chantal Keller, and Stefania Dumbrava on formal verification projects, producing notable publications at ITP 2017 and ITP 2018 on Datalog and SQL formalization. Professor Benzaken is a member of the PCRI research group within LRI, focusing on programming, systems, and their applications. Her work bridges theoretical computer science with practical database system implementation, contributing to both the academic understanding and industrial application of data management technologies, particularly in the areas of XML processing, query languages, and formal verification of database systems.

• Proof Assistants
• Formal Verification
• Inductive and Coinductive Reasoning
• +6 more

Andrei Popescu is a Senior Lecturer in the Department of Computer Science at the University of Sheffield, specializing in formal verification and proof assistants. Previously, he held faculty positions at Middlesex University and TU Munich. University of Sheffield (2020–present) Middlesex University (2014–2020) TU Munich (2010–2020) His research focuses on proof assistants (Isabelle/HOL), inductive/coinductive reasoning, syntax with bindings, and information flow security. Key projects include CoCon (verified conference system) and CoSMeDis (confidentiality-verified social media). Recent publications address Gödel's incompleteness theorems, modular (co)datatypes, and security verification. Awards include POPL Distinguished Paper Awards (2023–2025) and the RS 3 Best Paper Award (2012–2013). He teaches courses on software/hardware verification and previously taught decision support systems, web development, and verification techniques. Andrei is actively involved in conference organization and program committees, including POPL, ITP, and CSF.