Find Academic Supervisors

• Human-Information Interaction
• Knowledge Organization
• Domain Analysis
• +12 more

David A. Jank is an Assistant Professor of Library and Information Science at Long Island University, within the College of Education, Information and Technology. He brings over 25 years of experience in public, academic, and special libraries, as well as in library technology and information systems. His interdisciplinary background spans library science, psychology, and computer information systems, with teaching experience in both psychology and computer science departments. B.A., Northeastern University (Journalism and Political Science) M.S., Simmons College (Library and Information Science) M.S., Baruch College, CUNY (Psychology) Ph.D., C.W. Post Campus, Long Island University (Information Studies) Dr. Jank's research centers on human-information interaction, knowledge organization, domain analysis, and database design. He is renowned for developing the human-information dyad model, which applies social relationship theory to information behavior. His work bridges library science, cognitive science, and organizational psychology, with applications in metadata, collaborative systems, and information services management. The most recent publications highlight a strong trend in conceptual modeling of information systems, ontological frameworks for human-information interaction, and interdisciplinary explorations in groupware, legal information, and historical knowledge organization. His scholarly output spans journals, encyclopedias, and conference proceedings, reflecting a commitment to both theoretical and applied research in LIS. Dr. Jank has received numerous honors, including: First Prize, Canadian Association for Information Science Doctoral Research Paper Competition First Place Award, Palmer School Doctoral Research Paper Competition Elizabeth K. Reilley Scholarship for Academic Excellence Professional Service Award, Special Libraries Association Honorary Citation, Achievement in Library Service, Town of Danvers Inclusion in Marquis Who’s Who in America, Cambridge Who’s Who, and International Who’s Who in Information Technology He has advised and mentored students informally through teaching and research, though no formal advisees are listed. He has not received specific grants mentioned in the text, but his sustained scholarly output and national/international speaking engagements suggest active research funding. Dr. Jank is a member of multiple professional organizations, including the American Society for Information Science and Technology, American Library Association, Association for Computing Machinery, and American Psychological Association, reflecting his interdisciplinary reach. While no formal lab or research team is named, his work in developing conceptual models like the human-information dyad suggests leadership in theoretical research within LIS. His presentations at major conferences and collaborations across disciplines indicate an active scholarly network focused on advancing the understanding of human engagement with information systems.

Peter PopovView profile

Researcher

• Software Reliability
• System Dependability
• Software Fault-Tolerance
• +5 more

Peter Popov is a Reader at the Centre for Software Reliability (CSR) , City St George's, University of London , where he has been employed since 1997. He specializes in software dependability , fault tolerance , and stochastic modeling of critical infrastructures. Before his current position, he was an Associate Professor at the Bulgarian Academy of Sciences (1990-1997) and a Research Fellow at City St George's. Peter's academic journey began with a PhD in Computer Science from the Kiev National University of Technologies and Design (1989), following his BEng in Computer Engineering from the National Technical University of Ukraine (KPI, 1982). He has worked as a visiting scientist at renowned institutions including the Coordinated Science Laboratory at the University of Illinois at Urbana-Champaign , LAAS-CNRS in Toulouse, and Duke University . His research interests span Software reliability assessment System dependability Software fault-tolerance Performance evaluation Interdependencies of critical infrastructures He has contributed extensively to projects such as ReSIST , IRRIIS , DISPO , and AFTER , focusing on the dependability of composite systems and critical infrastructure resilience. Key publication trends reveal expertise in Stochastic modeling of autonomous vehicle safety Software diversity for fault tolerance Interdependency analysis in critical systems Bayesian reliability assessment Performance evaluation of distributed protocols Security implications in cyber-physical systems Peter has supervised several PhD students , including those researching autonomous vehicle resilience , safety assurance with ML components , and adaptable web services . His professional activities include serving on program committees for ISSRE , SAFECOMP , and EDCC conferences, as well as editorial contributions to CEUR Workshop Proceedings . He is proficient in Bulgarian , English , and Russian , with peer-review capabilities in all three languages.

• Information Retrieval
• Large Language Models
• Parameter Efficient Fine-Tuning
• +5 more

Marco Braga is a researcher focused on information retrieval, large language models, and parameter-efficient fine-tuning techniques. His work spans personalized community question answering systems, synthetic data generation, and adapter-based model optimization. Recent research interests include: Zero-shot learning and task arithmetic for LLMs Context-aware personalization in retrieval systems Hybrid neural-symbolic approaches for structured reasoning Telecommunications domain modeling Key article trends show expertise in: Adapter modules and low-rank parameter optimization Community question answering personalization Synthetic dataset creation for training LLMs Model efficiency in resource-constrained settings Collaborations include Gabriella Pasi, Pranav Kasela, and Alessandro Raganato. His work appears in SIGIR, COLING, WI-IAT, and IIR conferences, with notable Zenodo dataset contributions.

• Formal Methods
• Cyber-Physical Systems
• Embedded Systems
• +7 more

Prof. Dr. Paula Herber is a full Professor at the Institute of Computer Science, Department of Mathematics and Computer Science, University of Münster, Germany. She is actively engaged in research on formal methods, cyber-physical systems, and embedded systems verification. Her work bridges theoretical rigor with practical applications in safety-critical domains such as autonomous systems and real-time operating systems. Her research interests lie at the intersection of formal verification and system design, particularly focusing on deductive verification , automated reasoning , model transformation (e.g., SystemC to Timed Automata), and reusable abstractions for complex systems. She investigates how to make formal methods more scalable and applicable in industrial settings, especially for autonomous cyber-physical systems that incorporate learning components. The recent publications highlight a consistent trend in advancing formal verification techniques for embedded and cyber-physical systems, with a strong emphasis on automating proof processes , handling concurrency and timing , and integrating domain-specific knowledge to improve analysis efficiency and precision. Her work frequently appears in top-tier venues such as iFM, SEFM, and VMCAI, often in collaboration with leading researchers in formal methods. Scientific recognition includes contribution to work awarded the Ernst Denert Software Engineering Award 2022 , highlighting impact in bridging foundational research with practical software engineering. Contribution to Ernst Denert Software Engineering Award 2022 (as co-author of awarded work) Prof. Herber leads or contributes to significant research projects such as Safe Integration of Learning In Autonomous cyber-physical Systems and the SystemC to Timed Automata Transformation Engine (STATE) , which aims to provide formal semantics for SystemC through transformation into UPPAAL models. These projects emphasize reusability, correctness, and tool support for verification. While no explicit list of advisees is provided, her role as a professor and project leader implies mentorship of students and junior researchers. She has not mentioned part-time status, indicating a full-time academic commitment. Her laboratory or working group focuses on formal methods and algorithms , particularly in the context of embedded and distributed systems, as reflected in the research projects and publications. The team develops transformation engines and verification frameworks to support rigorous analysis of complex software-intensive systems.

Edzard WeberView profile

Researcher

• Decision Management
• Process Modeling
• Operations Research
• +5 more

Dr. Edzard Weber is a Researcher at the University of Potsdam's Faculty of Economics and Social Sciences, Department of Business Information Systems, where he serves as Research Speaker for Decision Management. He completed his doctorate in January 2015 on methodology development for system adaptability and currently leads the junior research group 'Entscheidungsmanagement' while representing the vacant 'Digital Government' professorship. His research spans multiple critical domains in business informatics including Decision Management , Process Modeling , Operations Research , Future Studies , and Digital Government . His work integrates theoretical foundations with practical applications, particularly evident in his leadership of the DiReBio project which developed formats for regional bioeconomic transformation through participatory workshops. Weber's publication record demonstrates consistent scholarly output since 2009, with recent work focusing on scheduling model standardization, circular economy processes in Industry 4.0 contexts, and haptic modeling approaches for digital transformation in bioeconomics. His research shows strong interdisciplinary connections between business informatics, systems engineering, and sustainable development. Key research projects: DiReBio (2017-2021): Discourse on bioeconomic transformation Job Scheduling (2015-2019): Systematic solution space navigation EUKRITIS II (2010-2011): Knowledge management for critical infrastructure protection Eukritis I (2008-2009): Change-capable protection structures IOSE-W2 (2006-2009): Interorganizational software development Weber maintains active collaboration with international institutions including University of California, Davis, Stellenbosch University, Tel Aviv University, University of Pretoria, and Hong Kong Polytechnic University, contributing to the global research community while addressing local and regional challenges in digital transformation.

Eleni Ekaterini LeligouView profile

Professor

• Computer Networks
• Industrial Web Server Applications
• Blockchain Technology
• +7 more

Professor Eleni Ekaterini Leligou is a full-time faculty member at the University of West Attica , serving in the Department of Industrial Design and Production Engineering since November 2017. Previously, she taught at the Technological Educational Institution of Central Greece (2007–2017) and was a research associate at the National Technical University of Athens (1998–2007). Education Diploma in Electrical and Computer Engineering, National Technical University of Athens (1995) PhD in Electrical and Computer Engineering, National Technical University of Athens (1998–2002) – thesis graded “Excellent” Research Interests Her work lies at the intersection of computer networks, blockchain, Internet of Things, and artificial intelligence with a strong emphasis on industrial and energy-management applications . Specific themes include trust and routing protocols for sensor networks, FPGA-based acceleration of network algorithms, blockchain-enabled network security, IoT solutions for smart energy systems, and federated-learning models for maritime energy optimisation. Teaching Contributions At undergraduate level she delivers core courses on Internet Technology in the Digital Industry, Cloud Computing Engineering and Data Security and Protection . At postgraduate level she contributes to four distinct programmes: Artificial Intelligence and Deep Learning (inter-departmental MSc), Information Systems (Hellenic Open University), Production and Service Automation , and New Technologies in Shipping and Transportation . Publications Overview Her 2024–2025 scholarly output demonstrates an aggressive push toward next-generation networks (6G, LiFi, RIS), blockchain integration in diverse domains (gaming, supply-chain, PLC security), and AI/ML methodologies ranging from federated learning to GAN-based image generation, all applied to industrial, maritime and educational contexts. Laboratory & Teams She conducts her research within the Computational Intelligence and Intelligent Systems Laboratory – EYNES , leading projects that blend networked embedded systems, AI and blockchain technologies.

• Software Engineering
• Artificial Intelligence
• Cyber-Physical Systems
• +3 more

Mason Brown serves as a Visiting Assistant Professor of Computer Science at Hamilton College, based in Taylor Science Center 3005. His research integrates software engineering and artificial intelligence to advance cyber-physical systems across ground, air, and space domains, with emphasis on practical implementations for real-world applications. Educational Background: Ph.D. in Computer Science from Griffith University M. IT. from Griffith University B. I.T. from Charles Sturt University His doctoral dissertation focused on An Ilities Tool for Minisatellite Software Validation , developed in collaboration with Gilmour Space Technologies. Research expertise spans satellite systems validation, multi-robot coordination, and AI-driven cyber-physical solutions. His postdoctoral work at the University of Technology Sydney involved multi-robot target tracking and path planning under Professor Robert Fitch. Current investigations include aircraft visual inspection via machine learning and natural language interfaces for robotic systems, demonstrating strong interdisciplinary connections between space engineering and robotics. Publication analysis reveals a clear trajectory from foundational satellite software validation (2020-2021) toward advanced human-robot collaboration (2023-2024), with consistent focus on verification methodologies and real-world deployment challenges. Key thematic threads include ilities-based validation frameworks, multi-robot field experimentation, and machine learning applications in aerospace. Teaching includes Computer Science for All and Algorithms and Data Structures , with active supervision of student projects in mechatronics and computer science. He particularly encourages new students to engage in research. Professional activities include appointment to the Australian Computer Science faculty in 2025 and collaborations with laboratories at Griffith University (Professor Paulo de Souza) and University of Technology Sydney (Graeme Best).

• Business Process Modeling
• Conceptual Modeling
• Data Visualization
• +4 more

Dr. Jens Gulden is a Lecturer in Process Science at Utrecht University's Faculty of Science. His work spans business process modeling, information systems engineering, data visualization, and increasingly focuses on ethical considerations in business informatics. He is affiliated with the Software Process Science research group and has been actively publishing since 2006 with recent work extending into 2025. His research interests center around conceptual modeling, business process management, and data visualization techniques. He has made significant contributions to understanding how visual representations can support decision-making processes, particularly through eye-tracking studies. More recently, his work has evolved to address ethical dimensions of information systems, with growing focus on moral responsibility in conceptual modeling and ethical reasoning methods for ICT. His publications reveal a clear research trajectory from technical aspects of modeling and visualization toward addressing ethical implications of business information systems. He has co-organized multiple workshops on ethics and morality in business informatics (EMoWI) and has been instrumental in special sections of business process modeling conferences (BPMDS). Dr. Gulden has been actively involved in teaching courses such as Colloquium Business Informatics, Responsible ICT, and Scientific Research Methods for Business Informatics, reflecting his dual expertise in technical and ethical aspects of information systems. His collaborative network includes researchers like S. España, A. Bock, and R. Schmidt, with whom he has co-edited conference proceedings and organized workshops focused on both technical and ethical dimensions of business informatics.

José Luis Zechinelli MartiniView profile

Professor

• Efficient and distributed data management
• Ambient Systems
• Cloud computing
• +5 more

José Luis Zechinelli Martini is a full-time Professor in the Department of Computing, Electronics and Mechatronics at the School of Engineering, University of the Americas Puebla (UDLAP), serving as Academic Coordinator of the Bachelor's Degree in Computer Systems since 2002. A regular member of the Mexican Academy of Computing (2016-present), his career spans over two decades with significant contributions to distributed data management and cloud computing research. His educational background includes: PhD in Computer Science, Université Grenoble I Master's Degree in Information and Communications Systems, Université Grenoble I Bachelor of Computer Systems Engineering, University of the Americas, Puebla Dr. Zechinelli Martini's research centers on integrating Big Data collections across heterogeneous infrastructures through spatiotemporal query languages for distributed multimedia retrieval. His work bridges efficient data management , ambient systems , and cloud architectures with emerging focus on decolonial AI and inclusive urban computing . Recent projects emphasize ethical resource allocation in federated learning and climate change history analysis in Latin American contexts. His 2020-2024 publications reveal a strategic shift toward societally impactful applications , combining data science with environmental sustainability (GREENHOME energy monitoring), historical analysis (LACLICHEV climate archives), and urban equity. Key trends include decolonial frameworks for AI fairness, data lake architectures for natural sciences, and inclusive pipeline design through computational creativity, demonstrating cross-disciplinary integration of computer science with social and environmental domains. While no specific awards are documented, his Mexican Academy of Computing membership and leadership in internationally funded projects signify professional recognition. He has coordinated major research initiatives funded by CONACyT, ECOS-ANUIES, European Community FP7, and Microsoft. Academically, he shaped curriculum and student development through the Disciplinary Committee on Student Affairs (2006-2016), Graduate Committee, and Honors Program Committee, while promoting critical thinking through practical pedagogical strategies. As lead researcher in the GALILEAN project on "Just in Time" cloud architectures (LIRIS CNRS/University of Arizona collaboration) and former head of the Franco-Mexican Laboratory's Database Group (2008-2020), he directs teams advancing distributed data processing for massive datasets with international scientific impact.

Anna-Lena LamprechtView profile

Professor

• Research Software Engineering
• Scientific Workflows
• FAIR Principles
• +3 more

Prof. Dr. Anna-Lena Lamprecht is a Chair of Software Engineering at the University of Potsdam, Institute of Computer Science. Her work focuses on interdisciplinary research software engineering, scientific workflows, and FAIR principles for computational materials science and bioinformatics. University of Potsdam Department of Software Engineering Research Interests Lamprecht explores the intersection of domain-specific languages, automated workflow composition, and agile methodologies for scientific computing. She emphasizes reproducibility, sustainability, and semantic validation in research software, particularly through projects like Workflomics and TopoToolbox3. Publications Her recent work spans multi-dimensional software categorization, workflow modeling patterns, and FAIR adoption in GitHub repositories. She also investigates benchmarks for bioinformatics workflows and semantic constraints in geospatial service composition. Projects Current projects include VERSECLOUD, Workflomics, and TopoToolbox3. She leads initiatives in automated workflow composition and has contributed to the FAIR4RS principles. Teaching and Supervision Supervised student works Full-semester RSE courses Computational thinking education Contact anna-lena.lamprecht@uni-potsdam.de | +49 331 977-3040 | Campus Golm, Building 70, Room 1.35

• Internet of Things
• Edge Computing
• Distributed Systems
• +7 more

Andreas Menykhtas serves as an Assistant Professor at the Department of Digital Systems within the School of Information and Communication Technologies at the University of Piraeus. His academic journey began at the National Technical University of Athens where he completed his undergraduate studies in Electrical and Computer Engineering in 2004, followed by postgraduate and doctoral studies at the same institution, earning his PhD in Engineering in 2009 with a specialization in service-oriented infrastructure. His research spans the evolving landscape of modern information systems infrastructure, with particular emphasis on Internet of Things, Edge Computing, distributed systems, and cloud computing environments. Dr. Menykhtas has developed expertise in software development, artificial intelligence, machine learning applications, smart cities infrastructure, and e-health systems. His scholarly contributions include over 100 publications in scientific journals, international conferences, and book chapters that have collectively garnered more than 1,900 citations. His publication record reveals a strong trajectory in distributed computing architectures, with recent work focusing on the integration of AI techniques at the network edge, optimization of resource allocation in multi-tenant environments, and development of service-oriented frameworks for smart city applications. The interdisciplinary nature of his research bridges computer science, engineering, and practical applications in urban and healthcare contexts. Dr. Menykhtas has extensive teaching experience across multiple Greek institutions, having delivered undergraduate and graduate courses on distributed computing, programming, and information systems development at the University of West Attica, the Hellenic Open University, and the University of Piraeus. His research activities include participation as scientific manager, researcher, and engineer in numerous European and national research projects.

Edmond GirasekView profile

Associate Professor

• Artificial Intelligence in Medicine
• Big Data in Health
• Digital Health
• +5 more

Edmond Girasek, PhD, serves as an Associate Professor at the Institute of Behavioural Sciences, Semmelweis University in Budapest. His academic work centers on the transformative integration of data and artificial intelligence into medical practice and healthcare systems, emphasizing practical implementation while addressing sociological, legal, and ethical dimensions of digital health technologies. His research spans critical domains including: AI and big data applications in clinical medicine Healthcare inequality analysis and system development Social determinants of digital health adoption Policy frameworks for ethical AI deployment Vulnerable population access to digital solutions Particular focus areas involve pediatric mHealth tools, physician adoption patterns, and pandemic-era digital health responses in Hungarian contexts. Analysis of his 2023-2025 publications reveals consistent methodological rigor through systematic reviews, representative national surveys, and qualitative studies examining digital health implementation across diverse populations. Key trends include mobile health evaluation frameworks, generational technology adoption differences among physicians, and accessibility challenges for elderly and homeless populations requiring tailored solutions. As an active member of the Semmelweis University Digital Health Research Group, Dr. Girasek contributes to institutional initiatives advancing digital health policy and practice in Hungary. He teaches Medical Sociology courses in both Hungarian and English language programs. Details regarding student advising activities and research grant funding were not specified in the source documentation.

• Cyber-Physical Systems
• Internet of Things
• Data Analytics
• +5 more

Mahima Agumbe Suresh serves as an Associate Professor in the Department of Computer Engineering at San Jose State University's Charles W. Davidson College of Engineering, a promotion effective August 2025 following tenure approval. Previously, she was an Assistant Professor at SJSU after serving as a Visiting Assistant Professor at Texas A&M University and a postdoctoral researcher at Xerox Research Center India. Her educational foundation includes a Ph.D. in Computer Science and Engineering from Texas A&M University (2015) and a B.Tech in Computer Engineering from India's National Institute of Technology Karnataka. Research interests span Cyber-Physical Systems, Internet of Things, Smart City Data Analytics, and Augmented Reality applications for safety and education, with emphasis on practical implementations in urban infrastructure and educational technology. Her publication trajectory (2020-2025) reveals three dominant research thrusts: (1) Cyber-physical security systems for critical infrastructure like water networks and distributed controls, (2) AI-driven educational innovations including specifications grading and active learning methodologies across algorithms, networks, and data science courses, and (3) Applied computer vision and NLP solutions for human trafficking detection, e-bike safety, and product design optimization. This interdisciplinary work consistently bridges theoretical advances with real-world societal impact. Recognition includes: Quantum Faculty Fellow Award (2025) Quantum Faculty Fellow Grant (2024) VPRI Teaming Award (2024) Faculty Excellence in Teaching Service Award (2023) She directs an active research program funded by an NSF grant for mixed reality/edge computing in human-robot interaction (2024) and mentors MS thesis students in computer engineering. Service roles include Assessment Coordinator and ABET Report author for SJSU's Computer/Software Engineering programs, Chair of the Student Fairness Committee (2022-2024), and College of Engineering Mace Bearer at 2023 commencement. Her collaborative research ecosystem integrates academic-industry partnerships with Xerox Research and government entities, focusing on edge computing architectures, cyber-physical security frameworks, and educational technology innovations that address urban infrastructure challenges and pedagogical transformation in STEM education.

C.R. RamakrishnanView profile

Professor

• Logic Programming
• Programming Languages
• Formal Verification
• +6 more

C.R. Ramakrishnan is a Professor in the Department of Computer Science at Stony Brook University, specializing in logic programming, programming languages, and formal verification. His research spans theoretical computer science with significant contributions to model checking, concurrent systems analysis, and more recently quantum computing applications. His educational background includes a Ph.D. in Computer Science from Stony Brook University (1995) and dual master's degrees in Computer Science (M.Sc.(Tech)) and Physics (M.Sc.(Hons)) from Birla Institute of Technology and Science, Pilani, India (1987). Ramakrishnan's research interests have evolved from traditional logic programming toward cutting-edge quantum computing applications while maintaining his foundational work in verification systems. His current work focuses on quantum circuit distribution, entanglement management, and statistical-logical knowledge systems. His research methodology often involves encoding system semantics as logical inference rules and formulating analysis problems as inference tasks. His recent publication trend shows a strategic shift toward quantum computing with numerous high-impact papers on quantum network communication, entanglement distribution, and quantum circuit optimization. These works represent an evolution from his earlier focus on logic programming and model checking toward applying similar formal methods to quantum systems. National Science Foundation Faculty Early Career Award (1999-2003) National Science Foundation Postdoctoral Research Associateship (1995-1997) Catacosinos Fellowship for Excellence in Computer Science (1993-1994) His research has been consistently funded by grants from the National Science Foundation (NSF) and the Office of Naval Research (ONR), supporting his work across multiple domains from traditional programming languages to quantum computing. While specific students aren't listed in the provided materials, his teaching includes numerous graduate and undergraduate courses in computer science.

Vadim ZaytsevView profile

Associate Professor

• Software Language Engineering
• Program Verification
• Conceptual Modeling
• +5 more

Vadim Zaytsev is an Associate Professor at Vrije Universiteit, specializing in Formal Methods and Tools. His research spans software language engineering, program verification, and model-driven development, with a focus on legacy systems and modernization. PhD in Recovery, Convergence, and Documentation of Languages (2008) Master's in Combinatorial Test Set Generation (2004) and Modelling Distributed Systems (2003) Bachelor's in Python Programming E-Learning (2002) Zaytsev's work integrates software language engineering , program verification , and domain-specific languages to address legacy system modernization. His recent publications emphasize data enrichment , automated repair , and refactoring detection across languages like Kotlin and Python. His scientific contributions include the IFIP TC2 Manfred Paul Award (2020) and datasets for program verification, refactoring detection, and automated repair. He actively participates in editorial work, including peer-review for workshops like OOPSLE 2020.