Find Academic Supervisors

Ilkyeun RaView profile

Associate Professor

• Computer Networks
• Distributed Systems
• Cloud Computing
• +5 more

Ilkyeun Ra serves as Associate Professor in the Department of Computer Science and Engineering at the University of Colorado Denver, where he has taught since 2001. His instructional responsibilities span undergraduate and graduate courses including Operating Systems, Computer Networks, and Cloud Computing. His educational background comprises: Ph.D. in Computer and Information Science, Syracuse University (2001) M.S. in Computer Science, University of Colorado Boulder B.S. and M.S. in Computer Science, Sogang University Dr. Ra's research concentrates on adaptive distributed systems and high-speed communication networks for high-performance computing. Current investigations focus on microservice autoscaling in cloud environments, multimedia streaming protocols over named data networks, and social media-driven disaster management systems. His methodology integrates reinforcement learning, blockchain, and real-time analytics to address scalability and reliability challenges in distributed architectures. Analysis of his 2018-2024 publications reveals dominant themes in cloud-native systems (46%), disaster informatics (23%), and network protocol innovation (31%). Key methodological trends include reinforcement learning applications for resource optimization (3 articles), blockchain implementations for privacy preservation (2 articles), and social media analytics for crisis response (3 articles). Scientific recognition includes: Outstanding paper award at IEEE The 26th International Conference on Advanced Communications Technologies (2024) Dr. Ra actively recruits Ph.D. students for distributed systems research. His funded projects include NIH support for the Hospital Computerized Disaster Information Management System (1G08LM009710-01, 2008-2011) and ETRI (South Korea) collaboration on parallel data processing frameworks. Current grants focus on cloud-based disaster management and edge network optimization. He directs the Distributed Computing and Networking Research Lab, which operates three specialized teams: the Cloud Microservices Group developing reinforcement learning autoscalers, the Multimedia Streaming Team designing NDN protocols, and the Disaster Informatics Unit analyzing social media for real-time crisis response.

• Operations Research
• Stochastic Programming
• Energy Systems
• +5 more

Patrizia Beraldi is an Associate Professor of Operations Research at the Department of Mechanical, Energy and Management Engineering (DIMEG), University of Calabria. She has been with the university since 2001, holding roles from Research Fellow to her current position. With over 80 publications, her work focuses on stochastic programming, probabilistic constraints, and their applications in energy systems, healthcare, finance, and logistics. Education: PhD in System Engineering and Computer Science (2000), University of Calabria Degree in Management Engineering (cum laude, 1995), University of Calabria Her research spans solution methods for network flow problems, stochastic programming with recourse, and probabilistic constraint modeling in diverse fields like energy procurement, drone routing, and financial optimization. Recent publications emphasize stochastic bilevel models for energy tariffs and ML-enhanced optimization frameworks. Scientific Awards: Best paper award, 2015 IMA Journal of Management Mathematics Best presentation award, ICEER Conference 2017 Best poster award, ICORES 2018 She supervises numerous master's and PhD students and leads the Financial Engineering and Risk Management Laboratory at DIMEG. Her editorial roles include Associate Editor for TOP , Algorithms , and IMA Journal of Management Mathematics .

Nazaraf ShahView profile

Senior Lecturer

• Ethical Hacking
• Information Security
• Service-oriented Computing
• +12 more

Nazaraf Shah is a Senior Lecturer in Ethical Hacking and Computer Security at the CEES School of Science. He holds a PhD in Computer Science from Coventry University and a BSc in Electrical Engineering. His academic work spans cybersecurity, service-oriented computing, multi-agent systems, and semantic web technologies. His research interests include: Ethical Hacking and Information Security Application of ICT in Energy Management Systems Secure web-based enterprise applications using Agent and Web Services Multi-Agent Systems (MAS) in distributed computing Runtime exception diagnosis in open, cooperative agent environments The recent trend in his scholarly output shows a strong focus on cybersecurity, ontologies, intelligent systems, and applications of AI in enterprise and cloud environments. His work integrates formal knowledge modeling with practical implementations in cloud, IoT, and smart systems. He has contributed to both theoretical frameworks and applied solutions in secure and resilient computing. Nazaraf has served on program committees of over ten international conferences and held leadership roles such as Workshop Chair and Publication Chair for IEEE ICEBE. He was a session chair for IEEE CEC 10 and ICGreen 2010 and delivered an invited talk at the Second International Conference on Cyber Security in 2013. He has supervised 8 academic projects, indicating active involvement in mentoring students. His research is supported by extensive publication activity, with over 50 papers and recent outputs extending to 2025. He is also involved in editorial activities and has contributed to the advancement of his field through conference organization and peer review. His work intersects with labs and teams focused on intelligent systems, cybersecurity, and semantic technologies, particularly in cloud and enterprise contexts.

Cesare TinelliView profile

Professor

• Automated Reasoning
• Satisfiability Modulo Theories (SMT)
• Model Checking
• +7 more

Cesare Tinelli is the F. Wendell Miller Professor of Computer Science at the University of Iowa within the College of Liberal Arts and Sciences. He is a co-director of the Computational Logic Center and leads the development of critical tools like the CVC4 and cvc5 SMT solvers, as well as the Kind model checker. His academic credentials include: Ph.D. in Computer Science (1999), University of Illinois at Urbana-Champaign M.S. in Computer Science (1995), University of Illinois at Urbana-Champaign Laurea in Scienze dell'Informazione (1990), University of Bari Research Interests : Tinelli specializes in Automated Reasoning , particularly Satisfiability Modulo Theories (SMT) , Model Checking , Software Verification , and Formal Methods . His recent work explores Inductive Reasoning in SMT , Proof-Certificate Generation , and Logical Frameworks for Proof Systems . His methodologies bridge theoretical advancements with practical implementations, impacting both academia and industry. Scientific Contributions : Tinelli's research drives innovation in SMT solving, model checking, and automated theorem proving. His 15 most recent publications span topics from stateful protocol testing ( Saecred ) to proof certification ( IsaRare ) and generalized optimization ( Generalized OMT ). Awards and Recognition : NSF CAREER Award (2003) Haifa Verification Conference Award (2010) CAV Award (2021) Advising and Collaborations : His former students and postdocs hold positions at leading institutions like NASA, Intel, MIT, and EPFL. He collaborates with organizations such as Amazon, Facebook, General Electric, and Microsoft.

• Research Data Management
• Open Science
• Data Ecosystems
• +11 more

Soo-Yon Kim is a Researcher & Data Steward at the Chair of Information Systems 5 (Informatik 5) at RWTH Aachen University, Department of Computer Science, Faculty of Mathematics, Computer Science and Natural Sciences. She is actively engaged in research and teaching, focusing on Research Data Management (RDM), Open Science, data ecosystems, and the integration of AI and large language models in data stewardship. Her research interests include: Open Science & Research Data Management Data infrastructure design and cross-organizational data sharing Data quality management in data ecosystems Data-centric AI and large language models Societal implications of algorithms, AI, and Big Data FAIR and TRUST principles for data reuse Her recent publications demonstrate a strong trend in leveraging data management plans (DMPs) for improved data discoverability, cross-company data sharing, and applying LLMs to automate and enhance RDM processes. She contributes to interdisciplinary projects, particularly within the Cluster of Excellence 'Internet of Production,' focusing on scalable, usable, and privacy-aware data solutions for engineering and production contexts. Soo-Yon Kim supervises multiple theses on topics involving LLMs, FAIR data assessment, data ecosystems, and industrial data quality. She teaches courses such as 'Data Stream Management and Analysis' and 'Seminar Data Ecosystems,' indicating her active role in academic education. She is involved in significant research projects, including the Cluster of Excellence Internet of Production, where she contributes to developing data infrastructure and quality frameworks for industrial applications. Her work bridges technical data management with societal and organizational challenges in data sharing.

Carlos CoutinhoView profile

Assistant Professor

• Cloud Computing
• Systems Engineering
• Adaptive Platforms
• +9 more

Carlos Coutinho is an Assistant Professor at Iscte-IUL, affiliated with the Department of Information Science and Technology (ISTA) and the ISTAR-IUL Research Center. He also serves as Director of Research & Development at Caixa Mágica Software, SA, in Lisbon, Portugal. His academic roles include leading the Cloud Computing research area and coordinating the Scientific Committee at ISTAR-IUL. PhD in Electrical and Computer Engineering, Universidade Nova de Lisboa (2013) Postgraduate in Project Management, Instituto Superior Bissaya-Barreto (2010) Bachelor’s in Electrical Engineering, Polytechnic Institute of Lisbon (1997) Bachelor’s in Telecommunications and Electronics, Polytechnic Institute of Lisbon (1994) His research focuses on emerging technologies such as Cloud Computing, Adaptive Platforms, IoT, Blockchain, and Enterprise Interoperability. He has led and contributed to major European projects including ATHENA, TIMBUS, vf-OS, EFPF, and ESA initiatives like Galileo and SCOS-2000. His work bridges academic innovation and industrial application, particularly in smart cities, cybersecurity, and sustainable logistics. The recent publications and prototypes reflect a strong trend in intelligent systems for healthcare, energy optimization, logistics, and urban management. These works leverage AI, IoT, and cloud technologies to solve real-world problems, particularly in public and enterprise sectors. He has served on the scientific committees of multiple journals and conferences, including IEEE-TEMS, Serbian Information Society, and ASME. He has also been an examiner in four PhD and thirteen MSc defenses, demonstrating his active role in academic mentorship. Carlos Coutinho advises a large cohort of graduate students, with 14 currently in progress (1 PhD, 13 Master’s) and 27 completed Master’s theses. His guidance spans topics in IoT, blockchain, AI, cybersecurity, and software engineering. He has secured and coordinated research projects such as RESETTING and IoT for Smart Cities, focusing on digital transformation in tourism and urban environments. He also leads academic programs, currently serving as Director of the Bachelor's Degree in Computer Science and Business Management. He leads the IoT Laboratory at ISTAR-IUL, where applied research projects in smart health, smart cities, and smart buildings are developed. His team works on prototypes like ElderFall (elderly monitoring), ValidateCourier (logistics validation), and AI Care (remote diagnostics), demonstrating a hands-on, innovation-driven research environment.

J. van den BergView profile

Professor

• Cybersecurity
• Machine Learning for Security
• Intrusion Detection
• +9 more

J. van den Berg is a Professor in the Faculty of Electrical Engineering, Mathematics and Computer Science at Delft University of Technology, specializing in Cyber Security. He has authored over 100 research outputs and supervised multiple students, contributing significantly to cybersecurity science, education, and policy. His work spans technical and human aspects of cyber defense. Research interests: Cybersecurity and cyber operations Machine learning for intrusion and phishing detection Risk modeling and mental models in security Digital trust and access control Cybersecurity education and ethics His recent publications (2020–2025) focus on AI-driven detection of phishing, tax fraud, and online manipulation, using machine learning and data reduction techniques. These works appear in top venues like Springer LNCS and the Journal of Network and Computer Applications, highlighting trends in behavioral AI, anomaly detection, and lightweight security algorithms. Scientific Awards: BEST PAPER AWARD, NATO IST-122 Cyber Security Science and Engineering Symposium (2015) He has advised several researchers in cybersecurity and machine learning, and his collaborative projects include international supply chain security and cyber crisis management. He is involved in developing frameworks for cyber operations, risk evaluation, and secure data pipelines. His work is associated with labs and teams focused on cyber operations, secure logistics, and intelligent data analysis, contributing to both theoretical and applied advancements in cybersecurity.

Johannes KorbmacherView profile

Assistant Professor

• Philosophical Logic
• Metaphysics
• Epistemology
• +8 more

Johannes Korbmacher is an Assistant Professor at the University of Utrecht in the Department of Philosophy and Religious Studies , focusing on Theoretical Philosophy . He is a mathematical philosopher working at the intersection of logic, metaphysics, and epistemology, with a strong interest in the philosophy of mathematics and truthmaker semantics. Education: M.A. (Dr. Johannes Korbmacher, M.A.) Research Interests include hyperintensionality, where he explores how logically equivalent concepts can exhibit non-equivalent behaviors, and truthmaker semantics as an alternative to possible-worlds approaches. His work bridges formal logic with philosophical inquiry, particularly in deontic logic, ground theory, and the foundations of mathematics. Teaching spans 14 years in BA/MA lectures and seminars on logic, epistemology, and metaphysics at the University of Münster , LMU Munich , and Utrecht University . He is currently developing an innovative logic course for AI undergraduates at Utrecht, emphasizing intellectual emancipation and didactic frameworks. Publications highlight his contributions to axiomatic theories of partial ground, hyperintensional logic, and the interplay between logic and normative systems. His work has been published in journals like Review of Symbolic Logic and Journal of Philosophical Logic , as well as in conference proceedings for deontic logic. Additional Roles include serving as an associate editor at the Journal of Philosophical Logic and advocating for open-source and open-access reforms in academic publishing.

• 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.

• 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.

• Social Network Analysis
• Social Media Dynamics
• Group Evolution Modeling
• +5 more

Anna Zygmunt is a Professor at the Institute of Computer Science within the Faculty of Computer Science at AGH University of Science and Technology in Kraków. Her primary office is located at D-17, ul. Kawiory 21, room 2.19, with contact email azygmunt@agh.edu.pl. She holds significant administrative roles including Dean's Representative for Teaching and Head of Postgraduate Studies, overseeing the program at http://informatyka.podyplomowe.agh.edu.pl . Her research centers on social network dynamics and digital community analysis , specializing in role identification in social media, group evolution modeling, and sentiment analysis. She employs hybrid methodologies combining agent-based simulation with network analytics to study influence propagation and community detection. Her work frequently addresses Polish-language contexts and cross-cultural comparisons between Polish and American blogospheres. Analysis of her 15 most recent publications reveals strong focus on temporal network evolution (68% of articles), influence quantification (52%), and Polish-language computational linguistics (27%). Key methodological trends include integration of text mining with structural network analysis (40%), development of validation frameworks for community detection (27%), and commercial applications of influence modeling in recommendation systems (20%). Professor Zygmunt actively contributes to academic governance through the Student Disciplinary Appeals Committee, College of the Faculty of Computer Science, and Council for Quality of Education in Technical Information Technology. Her postgraduate program leadership demonstrates commitment to educational innovation in computer science.

Matthias VolkView profile

Assistant Professor

• Formal Methods
• Probabilistic Model Checking
• Dynamic Fault Trees
• +3 more

Matthias Volk is an Assistant Professor at Eindhoven University of Technology's Formal System Analysis group since October 2023. Previously, he was a postdoctoral researcher at the University of Twente and obtained his PhD from RWTH Aachen University with a thesis on Dynamic Fault Trees. He was also a doctoral researcher in the Research Training Group UnRAVeL and contributed to the ERC project FRAPPANT. His research focuses on formal methods for safety-critical systems , specializing in probabilistic model checking, dynamic fault tree analysis, and reliability engineering. Key application domains include railway safety, autonomous systems, and infrastructure reliability. He develops tools like the Storm model checker, stormpy, and pycarl. Volk's publications emphasize fault tree methodologies and probabilistic verification , with consistent focus on reliability engineering applications. His work demonstrates strong cross-pollination between theoretical computer science and industrial safety applications. Awards: Best Paper Award at FMICS 2019 (railway infrastructure reliability) Prof. C.V. Ramamoorthy Best Paper Award at SRDS 2017 (self-stabilizing algorithms) He has supervised 9+ students on topics including fault tree analysis, Petri nets, and model checking. Current advisees include Daniel Basgöze and Markus Miliats. He leads research in the Formal System Analysis group and contributes to the Storm model checker development team.

• Medieval and Renaissance Studies
• European History

Onuralp ŞAHAN serves as a full-time Researcher at Ankara Social Sciences University within the Faculty of Social and Human Sciences, specializing in the Department of Medieval History since 2023. His academic foundation includes a PhD in History from İhsan Doğramacı Bilkent University (2024), a Master's in Medieval History from Mimar Sinan Fine Arts University (2021), and a BA in History from the same institution (2017-2021). PhD in History (English), İhsan Doğramacı Bilkent University, Institute of Economics and Social Sciences (2024) Master's in Medieval History (Thesis), Mimar Sinan Fine Arts University, Institute of Social Sciences (2021) BA in History, Mimar Sinan Fine Arts University, Faculty of Arts and Sciences (2017-2021) Specializing in Medieval and Renaissance Studies with focus on European History, Şahan's research interrogates frontier dynamics during the Crusades era, medieval governance structures, and philological methodologies. His work bridges textual analysis with spatial politics, examining how power operated beyond physical boundaries in pre-modern Europe. His publication trajectory reveals concentrated expertise in Crusades historiography (40% of output), medieval frontier studies (30%), and philological crisis theory (20%), with emerging work on Islamic-Crusader military interactions. Recent outputs demonstrate methodological innovation through combining diplomatic analysis with material culture studies. Şahan maintains active participation in international medieval scholarship through presentations at Leeds International Medieval Congress (2024) and Bilkent History Graduate Symposium (2025), though formal awards or grants are not documented in available records. While currently without formal advisees according to institutional records, his scholarly network shows collaboration potential through conference engagements. His research infrastructure appears centered around university-affiliated medieval studies resources rather than dedicated labs or independent research teams.

• Management Information Systems
• Workflow Management
• Complex Event Processing
• +7 more

Dr. Yiannis Verginadis is an Assistant Professor in Management Information Systems at the Department of Business Administration, Athens University of Economics and Business (AUEB). With over 15 years of experience in ICT projects, his research focuses on management of information systems workflow management complex event processing cloud computing and security adaptive systems context-aware access control He holds a Diploma and Ph.D. in Electrical and Computer Engineering from the National Technical University of Athens, specializing in inter-organizational workflow systems for e-Government. His career includes adjunct lecturer roles at the University of Thessaly and Technological Educational Institute of Kalamata. Research trends from his publications include: Cloud continuum brokerage and decentralized data management (2023-2025) Attribute-based access control for healthcare data (2021-2024) Workflow optimization in multi-cloud environments (2016-2023) Federated learning applications (2022-2024) Event-driven architectures and ontological modeling (2009-2021) Security-by-design frameworks (2013-2021) Dr. Verginadis has authored a book on Information Management Systems and contributed to works on e-Participation, adaptive web services, and ambient assisted living systems. He has served on over 25 journal and conference review committees and published 60+ peer-reviewed papers.

• Intelligent Manufacturing
• Digital Twin
• Cognitive Digital Twin
• +3 more

Zheng Xiaochen serves as an Assistant Professor at Southern University of Science and Technology's School of Automation and Intelligent Manufacturing, bringing expertise from his PhD at Madrid's Polytechnic University and postdoctoral research at EPFL's ICT4SM lab. His work bridges academic research with industrial applications through EU-funded projects and global standardization initiatives. His educational foundation includes: PhD in Industrial Engineering, Polytechnic University of Madrid (2019, Cum Laude) Visiting Scholar, Copenhagen Business School (2018) MS in Manufacturing System Information Engineering, Shandong University (2012) BS in Mechanical Design, Shandong University (2009) Research centers on cognitive digital twins and ontology-driven manufacturing systems , with emphasis on translating theoretical frameworks into industrial solutions. His Model Based Systems Engineering approaches enable real-time decision-making in aircraft production and CNC machining, while semantic modeling creates interoperable knowledge bases for zero-defect manufacturing. Current work integrates AI with physical production systems to close the loop between digital models and shop-floor operations. Publication analysis reveals consistent focus on cognitive digital twin applications (43% of recent output), ontology engineering for aerospace (29%), and MBSE frameworks for production scheduling (28%), demonstrating strategic alignment with Industry 4.0 priorities and EU manufacturing initiatives. Key recognitions include: Polytechnic University of Madrid's Outstanding Doctoral Dissertation (Cum Laude) International Journal of Production Research Top Cited Paper Award Funding leadership spans multiple EU Horizon 2020 projects including QU4LITY (H2020 825030), lBOOST 4.0 (780732), and OntoCommons (958371), with direct industry partnerships at Airbus and Siemens. He chairs the Industrial Ontologies Foundry's Product Service System working group while contributing to CEN-CENELEC's Zero-Defect Manufacturing standardization efforts. As director of SUSTech's cognitive manufacturing research unit, he coordinates cross-disciplinary teams developing ontology-based frameworks for digital twin implementations, with active collaborations spanning the EU-China Manufacturing Innovation Platform and Shenzhen's smart manufacturing industrial cluster.