Find Academic Supervisors

• Internet of Things
• Computer Networks
• Neural Networks

Dr. Timenko Artur Valentynovych serves as Senior Lecturer at Zaporizhia National Technical University's Department of Computer Systems and Networks within the Faculty of Computer Science and Technologies. Holding a specialist degree in Computer Systems and Networks (2010), he maintains active roles in both teaching and research. His educational background includes graduation from Zaporizhia National Technical University in 2010 with specialization in Computer Systems and Networks. Professional development is evidenced through continuous research output and curriculum development activities. Research focuses on Internet of Things , computer networks , and neural networks , with particular emphasis on protocol verification, device interoperability, and embedded system optimization. Recent work explores semantic chatbots for IoT management, air quality monitoring systems, and MQTT protocol compatibility analysis. His methodology integrates formal verification techniques with practical hardware implementation. Publication trends from 2020-2024 reveal consistent contributions to IoT infrastructure (45%), network protocols (30%), and AI applications (25%). Key journals include Shipbuilding & Marine Infrastructure and Scientific Notes of Vernadsky University. Research demonstrates strong industry relevance with applications in smart homes, environmental monitoring, and critical systems. Teaching responsibilities encompass Python programming basics, computer network design, IoT fundamentals, and wireless technologies. His laboratory guidelines for Embedded Computer Systems and IoT disciplines reflect practical, hands-on pedagogy. Current projects involve developing automated temperature control systems and network anomaly detection using hybrid neural networks. Professional activities include active participation in Ukrainian academic conferences and international collaborations through ZNTU's research infrastructure. His work contributes to the university's strategic focus on digital innovation and sustainable technology development.

Sam LoganView profile

Associate Professor

• Pediatric Rehabilitation
• Motor Skill Development
• Child Development
• +7 more

Sam Logan is an Associate Professor at Oregon State University in the School of Exercise, Sport, and Health Sciences , Department of Kinesiology. His research focuses on the health and well-being of typically developing children and children with disabilities, emphasizing the role of independent mobility in language, cognition, play interactions, and motor behaviors. PhD from Auburn University BS and MS from the University of Delaware Post-Doctoral Fellowship at the University of Delaware, Department of Physical Therapy - Infant Motor Lab His interdisciplinary work bridges Kinesiology, Psychology, and Pediatric Rehabilitation, with recent studies on assistive robotics (e.g., GoBot) and mobility equity for children with disabilities. He has contributed to understanding motor skill development, body mass index relationships in preschoolers, and the effectiveness of motor skill interventions. Key trends in his publications include: assistive robotics for mobility enhancement, motor competence assessments, and the intersection of social justice with pediatric rehabilitation. His work often involves collaborations with physical therapists, educators, and engineers. Outstanding Graduate School Distinguished Dissertation Award (2012), Auburn University 2020 Margaret and Thomas Meehan Eminent Mentor Award As an active researcher, Dr. Logan leads projects like the Modified Ride-on Car Study and the GoBabyGo! Program, advocating for mobility as a fundamental right. He is not currently accepting MS students but welcomes PhD candidates.

• Educational Technology
• Artificial Intelligence in Education
• Learning Analytics
• +3 more

Carlos Alario Hoyos is an Associate Professor in the Department of Telematic Engineering at Carlos III University of Madrid, affiliated with the School of Engineering. His work bridges telematics and educational technology, focusing on learning analytics, generative AI, and digital learning environments. Current role: Associate Professor Research groups: GAST (Telematic Applications and Services), NETTEC (Network Technologies) Research interests include: AI-driven educational tools MOOC analytics and quality assessment Chatbot-based programming assistance Behavioral modeling in online learning Automated literature review systems Recent publications (2025-2024) analyze: Student performance prediction models Generative AI integration in education Micro-credentials and digital recognition Hybrid learning environments Telepresence classroom impacts Real-time educational analytics

Giovanni Di FrancoView profile

Professor

• Social Research Methodology
• Electoral Sociology
• Attitudes and Values of Young People
• +3 more

Giovanni Di Franco serves as Full Professor in the Department of Social and Economic Sciences at Sapienza University of Rome's Faculty of Political Science, Sociology and Communication. He directs the book series "La cassetta degli attrezzi" (Franco Angeli Milano) and holds affiliations with CIRES at Roma Tre University and Bonanno publishing house's scientific committee. His research centers on Social Research Methodology , emphasizing data collection/analysis techniques, historical evolution of methods, qualitative-quantitative integration, and micro-macro data synthesis. Specialized in Electoral Sociology , he examines polling methodologies in digital contexts, while his work on Youth Attitudes explores values during economic crises. Additional expertise spans Europeanization Processes , Social Representations of eating disorders, and Social Cohesion frameworks. Recent publications reveal methodological innovation through machine learning applications and critical analysis of intergenerational inequality, reflecting his commitment to advancing sociological research in contemporary digital landscapes. Professor Di Franco has led significant projects including immigrant family-school interactions (2009-10), food education integration (2009), Campanian legality culture (2008), and European identity formation (2007-09), alongside European Commission-funded e-inclusion research. He supervises doctoral candidates through Sapienza's PhD program in Sociology and Applied Social Sciences. He contributes to interdisciplinary research through LARFAD laboratory and CIRES center, developing methodological tools for social analysis while directing academic publications that shape methodological discourse in Italian sociology.

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.

Monaliza Maximo ChianView profile

Assistant Professor

• Teacher Education
• Literacy
• Qualitative Research

Monaliza Maximo Chian is an Assistant Professor at the University of Northern Iowa's College of Education. She joined UNI in July 2023, coordinating the UNI@WITCC Transfer Program while teaching elementary education coursework at Western Iowa Tech Community College. Her academic journey includes PhD and MA degrees in Education from the University of California, Santa Barbara, and an MA in Curriculum and Instruction in Multicultural Contexts from Azusa Pacific University. Education: PhD, Education: Teaching and Learning with Qualitative and Interpretive Research Emphasis, University of California, Santa Barbara MA, Education: Teaching and Learning, University of California, Santa Barbara MA, Education: Curriculum and Instruction in Multicultural Contexts, Azusa Pacific University BA, Liberal Studies, Minor in Spanish, California State University Dominguez Hills Chian specializes in qualitative research methodologies, focusing on teacher education and literacy practices. Her work examines curriculum adaptation, co-teaching dynamics, and interdisciplinary integration in educational settings. Recent publications highlight her contributions to ethnographic archiving, problem-based learning frameworks, and school leadership models. Analysis of her articles reveals sustained engagement with qualitative research methods and teacher education reform. Key themes include curriculum alignment, pedagogical dramaturgy, and cross-cultural educational practices, often employing ethnographic and microethnographic analysis to explore teaching and learning processes.

• Discrete-Event Simulation
• Supply Chain Management
• Logistics Optimization
• +5 more

Guilherme Augusto Borges Pereira serves as an Associate Professor at the School of Engineering, University of Minho, and holds the position of Senior Researcher at Centro ALGORITMI. He is actively involved with the IEM R&D Group and SLOTS R&D Lab, contributing to research in industrial engineering and simulation. With a PhD credential and substantial academic output (93 publications, 645 citations, h-index 13), his work appears prominently in Q1/Q2 journals across operations research and industrial engineering domains. His research program centers on discrete-event simulation methodologies applied to complex industrial systems, with particular expertise in supply chain management, logistics optimization, and big data integration. Key application areas include warehouse automation systems, production line control mechanisms, automotive supply chains, cement industry logistics, and healthcare transportation services. His methodological contributions frequently combine simulation with optimization techniques such as genetic algorithms and integer programming to solve real-world operational challenges. Analysis of his publication trajectory reveals a strategic evolution toward integrating big data analytics with traditional simulation frameworks, particularly for supply chain risk management and data validation purposes. His work demonstrates remarkable cross-sector applicability, spanning automotive manufacturing, cement production, cork industry processes, and urban traffic systems. Recent publications emphasize computational experiments with simulation tools in big data contexts, semantic validation techniques, and comparative studies of simulation software platforms. As an academic leader, Pereira has chaired significant conferences including the European Modeling and Simulation Symposium (EMSS) 2019. His research maintains strong industry relevance through case studies addressing material handling systems, warehouse design optimization, production flow control, and non-emergency patient transportation logistics. His technical proficiency extends across multiple simulation environments with particular emphasis on the Simio platform for industrial applications.

• Remote Sensing
• Arctic Sea Ice Monitoring
• Environmental Monitoring
• +3 more

Malin Johansson is an Associate Professor and Group Leader of the Earth Observation group at the Department of Physics and Technology, UiT The Arctic University of Norway . Her research connects remote sensing with numerical modeling and in-situ data to advance understanding of Arctic sea ice properties , environmental monitoring (oil spills, harmful algae blooms), and multi-frequency SAR observations . She teaches courses like FYS-1009 (Climate and Environmental Monitoring), FYS-3001 (Physics of Remote Sensing), and FYS-3023 (Applied Remote Sensing). Research Focus : Arctic sea ice dynamics using SAR and optical imagery Environmental risk assessment (oil spills, algae blooms) Climate-ice-ocean interactions Machine learning for SAR data analysis Article Trends : Her recent work emphasizes multi-decadal SAR analysis of Arctic sea ice types, Lagrangian drift prediction for environmental hazards, cross-polar comparisons of ice classification methods, and incidence angle modeling for SAR calibration. Students : Truls Karlsen (Multi-Frequency Sea Ice Observations) Jakub Petříček (Permafrost Remote Sensing) Labs/Teams : Leads the Earth Observation group at UiT, collaborating with international institutions on projects like INTERAAC (Norway-China) and MOSAiC expeditions.

Valentin GorankoView profile

Professor

• Logic
• Artificial Intelligence
• Multi-agent Systems
• +3 more

Valentin Goranko is a Professor in the Department of Philosophy at Stockholm University, specializing in logic and its interdisciplinary applications across computer science, artificial intelligence, and multi-agent systems. His academic profile reflects a deep integration of philosophical inquiry with practical computational frameworks. Professor Goranko's research centers on the theoretical foundations of logic with specific applications to artificial intelligence, multi-agent systems, game theory, and computer science. His work develops formal frameworks for strategic reasoning, temporal logic, and coalition-based decision making, bridging abstract logical theory with concrete implementation challenges. The research demonstrates methodological sophistication through its combination of theoretical depth with practical verification considerations. Analysis of his recent publications reveals a maturing research program that has evolved from foundational work on temporal logics toward more complex applications involving structural analysis of logical systems and the synthesis of quantitative and qualitative reasoning approaches. His contributions to alternating-time temporal logic (ATL), game-theoretic semantics, and coalition logics have provided new insights into model checking and verification of multi-agent systems, with particular emphasis on socially friendly coalition logic (SFCL) and group protecting coalition logic (GPCL). Professor Goranko has authored several influential textbooks including 'Logic as a Tool' (2016), 'Temporal Logics in Computer Science' (2016), and 'Logic and Discrete Mathematics' (2015), which have become standard references in their respective fields. These works reflect his commitment to making complex logical concepts accessible while maintaining rigorous theoretical standards. At Stockholm University, he teaches Classical Logic (introductory) and Philosophical Logics II (advanced), courses that emphasize both foundational logical principles and their advanced philosophical applications. His teaching approach demonstrates a consistent focus on practical utility of logical reasoning alongside theoretical rigor, preparing students for both academic research and practical applications in computer science and artificial intelligence.

Kitsuchart PasupaView profile

Professor

• Machine Learning
• Deep Learning
• Chemoinformatics
• +7 more

Professor Kitsuchart Pasupa, Ph.D. , is a royal-appointed full professor and Vice Dean for Research & Innovation and International Affairs at the School of Information Technology (SIT) , King Mongkut's Institute of Technology Ladkrabang (KMITL) , Thailand. He has held academic positions at the University of Southampton, University of Sheffield, University College London, IIT Patna, and several European institutes, and is a senior member of both IEEE and the Asia Pacific Neural Network Society (APNNS). Education Ph.D. in Automatic Control & Systems Engineering, University of Sheffield, UK (2007) M.Sc.(Eng) in Control Systems, University of Sheffield, UK (2004) B.Eng. in Electrical Engineering, Sirindhorn International Institute of Technology, Thammasat University, Thailand (2003) Research Focus Professor Pasupa’s research lies at the intersection of machine-learning theory and real-world applications . He designs and deploys algorithms for chemoinformatics, bioinformatics, eye-tracking analytics, cyber-bullying detection, Thai natural-language processing, multimodal fusion, time-series forecasting , and healthcare AI . His work spans from foundational reservoir computing and extreme learning machines to large-scale deep learning systems operating on mobile devices and cloud platforms. Across more than 150 refereed publications , a clear trend emerges: leveraging limited or noisy data, handling concept drift, and delivering interpretable AI solutions for socially impactful domains such as medical imaging, precision livestock farming, financial analytics, and smart-city water management. Scientific Awards & Fellowships APNNS Young Researcher Award 2019 Multiple Best Paper Awards (ICITEE 2024, KST 2019, IC2IT 2018, NCIT 2015, NCCIT 2014) KMITL Honorable Fame Awards (2014–2022) Teaching Excellence Award 2017, KMITL Commander (Third Class) of the Most Noble Order of the Crown of Thailand (2020) Companion (Fourth Class) of the Most Exalted Order of the White Elephant (2017) Grants & Supervision He has attracted >30 M THB in research funding from Thai government agencies, EU (FP7), Indian DST, and industry partners (SCB, KBTG). He currently leads a 2025-2026 KMITL grant on multimodal financial Q/A for Hindi and Thai and has completed projects on cyber-bullying in ASEAN languages, car-parts segmentation, eye-tracking, SNP analytics, waste classification, and smart farming . PhD advisees: 3 current + 6 completed Master’s & Bachelor’s student supervision: >60 theses and projects Internship teams: guided award-winning student teams in international programming contests (NAPROCK, NSC, TICTA) Laboratory & Teams His Intelligent Systems & Machine Learning Research Group at SIT-KMITL collaborates closely with IIT Patna, University of Malaya, Aalto University, and University of Leoben, maintaining an active visiting-scholar program and hosting joint workshops and data challenges. The lab focuses on reproducible research and open datasets in Thai NLP, medical imaging, and smart-city analytics.

Daniel HedinView profile

Researcher

• Computer Science
• Information Security
• JavaScript
• +3 more

Daniel Hedin is a researcher at Chalmers University of Technology, specializing in information-flow security for JavaScript and web technologies. His work focuses on dynamic type systems, runtime monitoring, and hybrid security mechanisms to enforce confidentiality and integrity policies. Research Themes : JavaScript security, information flow control, browser fingerprinting, trigger-action platforms, hybrid security models, and language-based enforcement. Collaborations : Frequently co-authors with Andrei Sabelfeld, Luciano Bello, and Musard Balliu. Recent publications (2021–2015) emphasize practical challenges in JavaScript security, including browser API tracking, server-side sandboxing (Node.js), and fine-grained policy enforcement. Earlier work (2005–2006) explores theoretical foundations like termination-sensitive noninterference and timing-aware security for bytecode.

• Software engineering for safety critical systems
• Formal methods
• Real-time systems
• +5 more

Ana Cavalcanti is a Professor of Computer Science at the University of York, UK. Her research focuses on formal methods for safety critical systems, particularly in robotics and real-time software. She leads the SER research group and has secured major funding from EPSRC and the European Commission. Education 1987 - BSc in Computer Science, Universidade Federal de Pernambuco, Brazil 1990 - MSc in Computer Science, Universidade Federal de Pernambuco, Brazil 1997 - DPhil in Computer Science, Oxford University Her work bridges formal verification, concurrency, and object-orientation, with recent projects like RoboSapiens and DOMINOS addressing trustworthy autonomous systems. She has published extensively on robotic controller verification, adaptive architectures, and ethical requirements for AI. Selected scientific accolades include the Royal Society Wolfson Research Merit Award and a Royal Society Industry Fellowship. She has held academic positions at Universidade Federal de Pernambuco (1997-2002) and the University of Kent (2002-2004) before joining York in 2004.

• Software Engineering
• Mobile Computing
• Gamification
• +6 more

Lorenzo Laudadio is a PhD Student in Computer and Systems Engineering at the Politecnico di Torino (Department of Control and Computer Science - DAUIN) since 2023, with an expected completion in 2026. Additionally, he holds the role of a Lecturer and/or teaching assistant within the same department, contributing to courses like Business Information Systems and Visualizing Quantitative Information. Education : Master's in Computer Engineering (2023) with a thesis on privacy-oriented software development. Research Group : Software Engineering Research Group (Softeng Polito). Research Focus : Application of gamification to enhance web and mobile application testing, particularly end-to-end testing . This involves integrating game-design mechanics (leaderboards, scores, customization) into testing workflows to improve engagement and performance, addressing the repetitive nature of testing activities. His work also intersects with GDPR compliance and accessible development through tool creation. Key Research Themes : The articles co-authored by Laudadio reflect trends in gamification-driven testing tools (GAppium, ScoutDroid), privacy compliance (MINOS), and data visualization in software engineering research. His work bridges theoretical frameworks with practical implementations, often involving tool prototyping for real-world application. Academic Contributions : As a course collaborator, he has supported teaching across multiple academic years (2023/24 to 2025/26), primarily in Computer Science Engineering and Management Engineering programs. His involvement spans curriculum design, student mentorship, and empirical research guidance.

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.

Sukyoung RyuView profile

Professor

• Programming Languages
• Program Analysis
• Static Analysis
• +5 more

Sukyoung Ryu is a Professor in the Department of Computer Science at KAIST's College of Computing, South Korea. Her research centers on programming languages and program analysis, with significant contributions to WebAssembly, JavaScript semantics, and language specification. She leads the Programming Languages Research Group (PLRG) at KAIST. Her research spans multiple critical areas including executable specification engineering, static analysis techniques, and language interoperability. Recent work focuses on WebAssembly conformance testing, C-to-Rust translation, and bridging real-world implementations with formal semantics. Her group develops practical tools like SpecTec for mechanized language specifications and JISET for JavaScript semantics extraction. Analysis of her 15 most recent publications reveals strong trends in executable specifications (7 papers), WebAssembly tooling (5 papers), and language translation (4 papers). Key methodological approaches include record-replay debugging, filtered-simulation for binary lifting, and algebraic data type transformations for memory safety. Ryu actively contributes to the programming languages community through leadership roles including Steering Committee Chair for APLAS, Program Co-Chair for SPLASH/OOPSLA, and committee positions at POPL, PLDI, and ICFP. She frequently organizes workshops on real-world language specification (RPLS) and presents keynotes on programming language research for social good. Her mentoring activities include co-chairing New Faculty Symposia and participating in RTFM panels on faculty mentoring. She advises students through KAIST's programs and supervises research in the PLRG lab, which focuses on building practical language tools with formal foundations. Current projects emphasize WebAssembly standardization, secure language interoperability, and specification-based testing frameworks.