Anagnostopoulos Marios is an Assistant Professor at the Department of Electrical and Computer Engineering , School of Engineering, Democritus University of Thrace. His academic appointment was formalized in the Government Gazette on June 12, 2024 (Issue 3). Research and Teaching Focus: He teaches undergraduate courses in Object-Oriented Programming , Computer Systems Security , Cryptography , and Coding and Error Correction . His research interests align with these areas, particularly in Computer Security and Programming , as indicated by his role in the Programming and Information Processing Laboratory. Scientific Contributions: No specific publications or awards directly attributed to him are listed in the provided text, though collaborative research achievements (e.g., Best Paper Awards at SEST 2022 and MEDPOWER 2020) are highlighted for his departmental colleagues.
Yihai Chen is an Adjunct Associate Professor in the Department of Computing and Software at McMaster University. His work bridges formal methods in software engineering with healthcare technology applications. Medical device software certification Statistical web testing frameworks Generative AI for image synthesis Formal specification languages (Object-Z, XML, UML) His research spans medical device safety , web application reliability , and educational technology implementation . Recent work (2019) explores LSTM-based workload prediction in cloud environments alongside GAN-driven food dish generation . Key publication trends include: Formal methods in software engineering (2001-2022) Medical software certification (2014) Web testing frameworks (2013-2022) Model transformation techniques (2008) While no explicit awards are listed in available data, his 15 most recent publications demonstrate sustained contributions to software reliability , health informatics , and formal verification challenges.
Dale Skrien is a Professor of Computer Science at Colby College , where he has developed influential educational software tools since the 1990s. Research spans algorithmic graph theory , object-oriented design , and computer music Author of three textbooks including Object-Oriented Design Using Java Key software contributions : CPU Sim - An open-source CPU simulator used in computer organization courses worldwide IASSim - Von Neumann architecture emulator with JVNTRAN high-level compiler Awards : Recipient of the prestigious 1993 EDUCOM Higher Education Software Innovation Award for CPU Sim version 2 Demonstrated software at SIGCSE 2002 - the premier computer science education conference Contact: Office Davis 211 , Phone 207-859-5851 , Email djskrien@colby.edu
Floriano Scioscia is an Associate Professor at the Polytechnic University of Bari, Italy, specializing in Information Processing Systems (SSD ING-INF/05). His research bridges Semantic Web technologies, Knowledge Representation, and Artificial Intelligence to develop innovative solutions for Internet of Things, Blockchain, and smart city infrastructures. His primary research domains include Semantic Web, Knowledge Representation and Reasoning, Internet of Things, Blockchain, Edge Computing, and Artificial Intelligence. He applies these to solve critical problems in smart mobility (e.g., blockchain-enhanced ridesharing), last-mile logistics optimization, energy infrastructure management, and healthcare decision support. His work consistently focuses on creating lightweight, scalable frameworks like Tiny-ME for resource-constrained environments and semantic-enhanced platforms for real-world system integration. Analysis of his 2023-2025 publications reveals a dominant trend toward edge-centric semantic technologies. Key themes include OWL reasoning on constrained devices (Tiny-ME Wasm), blockchain integration for transparent service platforms (RideMATCHain), and AI-driven optimization for logistics/smart cities. His work demonstrates exceptional cross-domain applicability, with consistent emphasis on explainability, scalability, and practical implementation in transportation, energy, and healthcare infrastructure. The publications show strong synergy between theoretical knowledge representation advances and deployable system architectures.
Sandro Stucki is a Lecturer in the Department of Computer Science and Engineering at Chalmers University of Technology. He has previously worked as an applied scientist at Amazon and as a postdoctoral researcher at Chalmers University of Technology and the University of Gothenburg. He completed his doctoral studies at the Programming Methods Laboratory (LAMP) at EPFL under the supervision of Professor Martin Odersky. His research focuses on programming languages, with particular interest in formal methods, type systems and theory, and the semantics and implementation of domain-specific languages. He applies formal methods and type theory to problems in privacy and security, investigates type safety of Scala and related type systems, and develops type soundness proofs using Agda. His work also includes designing domain-specific languages for modeling probabilistic and stochastic systems, especially biochemical systems. He has contributed to the Scala ecosystem by developing a GNU/Emacs mode for Kappa, a modeling language for systems biology. His recent publications demonstrate strong expertise across programming language theory, formal verification, privacy-preserving systems, and applications in systems biology. His work bridges theoretical foundations with practical applications, particularly in the Scala programming language ecosystem. Stucki is actively involved in academic service, having served on program committees for numerous conferences including ECAI, GPCE, NWPT, and as a steering committee member for the Scala Symposium series. He has also organized several academic events, including the Scala Symposium 2016. He currently teaches courses on Data Science and AI, Fundamentals of Program Development, and Neuro-symbolic AI at Chalmers/Gothenburg University, and has previously taught courses on Parallel Functional Programming, Principles of Concurrent Programming, and Types and Programming Languages.
Pasquale Malacaria is a Professor of Computer Science at Queen Mary University of London, affiliated with the School of Electronic Engineering and Computer Science. He serves as a faculty member in the Centre for Fundamental Computing and AI and is part of the Leadership Team for academics. His research interests span the theoretical foundations of computer science and their practical applications, with particular focus on information theory, logic, and game theory applied to understanding information transformation and leakage in computational processes. He has made significant contributions to program analysis and the use of model-checkers for detecting and quantifying information leakage in programs and side channels. Analysis of his recent publications reveals a strong trend toward cybersecurity decision support , with emphasis on quantitative methods for risk assessment, security investment optimization, and attack graph analysis. His work bridges theoretical information theory with practical security applications, particularly in areas like smart home security, healthcare cybersecurity, and industrial control systems. The research demonstrates a consistent evolution from foundational work on information flow to applied cybersecurity frameworks. Research funding includes significant grants from major organizations: "Unrestricted donation: Formal verification of privacy properties" from Meta Platforms Inc (£58,029, 2022-2025) "CHAI: Cyber Hygiene in AI enabled domestic life" from EPSRC (£329,505, 2020-2023) "Optimal Cybersecurity Investment" from EPSRC (£388,777, 2017-2021) Professor Malacaria teaches Logic in Computer Science at the postgraduate level, covering propositional logic, temporal logics, predicate logic, and program logics with practical applications using SAT solvers and model checkers. He also teaches Object-Oriented Programming at the undergraduate level, focusing on core concepts like classes, objects, methods, and inheritance in practical software development contexts.
Professor Hanspeter A. Mallot is a distinguished academic in the Department of Biology within the Faculty of Mathematics and Natural Sciences at Eberhard Karls University Tübingen. Appointed Professor of Cognitive Neuroscience in 2000, he leads research in spatial cognition, computational neuroscience, and vision processing. His work bridges biological and artificial systems, exploring how humans and robots navigate and perceive spatial environments. Dr. Mallot received his PhD from the Faculty of Biology at the University of Mainz, Germany, in 1986. Following his doctoral studies, he held prestigious postdoctoral and research positions at the Massachusetts Institute of Technology, Ruhr-University Bochum, the Max Planck Institute for Biological Cybernetics in Tübingen, and the Institute for Advanced Study in Berlin. Professor Mallot's research primarily focuses on spatial cognition in humans and robots. His laboratory employs behavioral experiments in virtual reality, eye-movement recordings, and simulated agents in both hardware and software environments. His work spans computational neuroscience, cognitive science, and robotics, with particular emphasis on how visual information is processed for navigation and spatial orientation. His research has significant implications for both understanding human cognition and developing more sophisticated artificial navigation systems. His publication record demonstrates consistent contributions to the fields of spatial cognition and computational neuroscience. Over the past decade, his research has increasingly integrated neuroscientific approaches with computational modeling, exploring topics such as path integration, visual homing, spatial memory systems, and the neural basis of navigation. His work often bridges multiple disciplines, combining insights from psychology, neuroscience, computer science, and robotics to develop comprehensive models of spatial cognition. Professor Mallot serves on the editorial board of "Spatial Cognition and Computation" and the "Neuroscientific Society" (NWG). He has previously held leadership positions as president of the European Neural Network Society (ENNS) and the German Society for Cognitive Science (GK), and served on the Neuroscience review panel of the German Research Foundation. He currently leads several major research initiatives including EU Strep CURVACE, the DFG Research Training Group Bioethics, the Center for Integrative Neuroscience (CIN), and the Bernstein Center for Computational Neuroscience Tübingen (BCCN). These projects reflect his interdisciplinary approach, combining neuroscience, cognitive science, and computational modeling to address fundamental questions about spatial cognition. Professor Mallot has established several notable research laboratories and teams focused on spatial cognition and computational neuroscience. His work has been supported by prestigious funding bodies including the European Union and the German Research Foundation (DFG). His research group collaborates extensively with other institutions across Europe, particularly on projects related to robot navigation and spatial cognition in virtual environments.
Daniel R. Reynolds is a Professor at Southern Methodist University (joining UMBC in 2025) specializing in large-scale scientific computation. He develops mathematically rigorous algorithms for multiphysics problems in climate science, fusion energy, cosmology, and materials science. His research creates parallel time integration methods and algebraic solvers that ensure accuracy, stability, and scalability for complex simulations, bridging mathematical theory with computational practice. His publications consistently advance time integration techniques for differential-algebraic systems, with recent work emphasizing multirate methods for tokamak plasma turbulence and Earth system models. He leads software development for the SUNDIALS suite and collaborates on DOE/NSF-funded projects including 'Adaptive Multirate Time Integration in the ARKODE Library'. Reynolds teaches graduate courses in computational mathematics and mentors PhD students in algorithm development.
Andrew Dimock is a Visiting Lecturer in the School of Information at the Golisano College of Computing and Information Sciences, Rochester Institute of Technology. He currently teaches courses including ISTE-430 Information Requirements Modeling, ISTE-500 Senior Development Project I, and ISTE-501 Senior Development Project II. His office is located in GOL-2285 and he can be reached at 585-475-2897. His teaching focuses on systems development lifecycle methodologies, object-oriented modeling, process/data/state modeling, and team-based project management. Courses emphasize requirements elicitation, system architecture design, usability testing, and software deployment practices. No academic awards, grants, or research labs are explicitly listed in the provided information.
Francisco Mitropoulos is a Professor and Director of Computing in the Department of Computing at Nova Southeastern University's College of Computing & Engineering. He has been affiliated with the institution since 1995 and holds memberships in IEEE, Upsilon Pi Epsilon (UPE), and the ACM. His research focuses on software engineering methodologies, programming languages, compiler theory, aspect-oriented development, and mobile application design. Dr. Mitropoulos completed his doctoral studies at NSU, with dissertation research centered on software engineering principles. Research interests include data structures and algorithms, requirements engineering, and data mining applications. His work bridges theoretical computer science with practical software development challenges.
Dr Aaron Kans serves as Head of the Department of Computer Science and Digital Technologies at the University of East London (UEL), part of the School of Architecture Computing and Engineering. His roles include curriculum development, departmental leadership, and teaching across UEL’s computing programs. Notably, he has been at UEL for over 15 years and received the Best Lecturer award (UEL Student Led Teaching Awards) and the VC&P UEL Prize for Leadership through Change (2021). His research focuses on software engineering and innovative teaching methods in computing, with co-authored textbooks widely adopted nationally and internationally. Recent work includes exploring remote teaching strategies for programming education. He leads the ACE Research Group (Research Enhanced Learning & Teaching). Dr Kans has published extensively on Java programming, formal methods, and educational frameworks. His publications span textbooks like Java in Two Semesters and research on UML modeling in biomedical systems. Awards highlight his contributions to pedagogical innovation and institutional leadership during organizational changes. Labs/Teams: ACE Research Group (focusing on pedagogical innovation)
Walter S. Lasecki is an Associate Professor at the University of Michigan's School of Information, where he leads research at the intersection of Human-Computer Interaction, Crowdsourcing, and Artificial Intelligence. His work focuses on creating systems that integrate human and machine intelligence to solve complex problems in real-time. Dr. Lasecki's research interests center on human-AI collaboration, particularly in developing crowd-powered systems that enhance accessibility, improve programming education, and create more effective human-computer interfaces. His work explores how to effectively integrate human intelligence with AI systems, focusing on real-time applications where speed and accuracy are critical. His research has significant implications for accessibility technologies, educational tools, and conversational AI systems. He has pioneered approaches to real-time captioning, crowd-powered interfaces, and human-in-the-loop machine learning systems that adapt to user needs. Analysis of his recent publications reveals a strong focus on multi-agent conversational AI, human-in-the-loop systems for pose estimation and object recognition, and innovative approaches to programming education through live streaming. His research consistently explores the intersection of human computation and artificial intelligence, with particular attention to how crowd workers can complement and enhance AI capabilities. His work demonstrates a trajectory from foundational crowd-powered systems to more sophisticated integrations of human and machine intelligence in complex tasks. Dr. Lasecki has collaborated extensively with researchers across multiple institutions, particularly with Jeffrey P. Bigham (earlier in his career) and more recently with colleagues at the University of Michigan including Juho Kim. His research has been supported by substantial grants that have enabled the development of systems like Scribe for real-time captioning and Codeon for on-demand programming assistance. He has mentored numerous graduate students who have gone on to contribute to the fields of HCI and AI. His laboratory focuses on developing practical applications of crowd-AI hybrid systems, with particular emphasis on creating tools that can be deployed in real-world settings. Current projects explore how to make conversational AI more robust through multi-agent approaches, improve programming education at scale, and create more accessible interfaces for diverse user populations.
Xiaojia Zhang is an Assistant Professor in the Departments of Civil and Environmental Engineering and Mechanical Science and Engineering at the University of Illinois at Urbana-Champaign (UIUC), and also holds an appointment at the National Center for Supercomputing Applications (NCSA). He is a David C. Crawford Faculty Scholar. His research focuses on topology optimization, multi-material systems, composite materials, and sustainable design, with applications in mechanical, biomedical, and environmental engineering. Zhang’s work integrates computational mechanics, advanced material science, and additive manufacturing to develop innovative materials and structures. His key research interests include the design of meta-devices, programmable materials, and structures optimized for mechanical performance, energy dissipation, and environmental impact. Zhang has received prestigious awards such as the DARPA Director’s Fellowship Award (2024), DARPA Young Faculty Award (2022), and NSF CAREER Award (2021). His contributions span theoretical frameworks, computational tools (e.g., FEniTop software), and experimental validations of optimized structures. Labs/Teams : Active contributor to NCSA’s high-performance computing initiatives and collaborative projects in the College of Engineering. Advising & Grants : NSF CAREER-funded research in topology optimization and sustainability-focused grants. No formal advisee list provided.
Jan van Dijk is an Associate Professor in the Elementary Processes in Gas Discharges group at Eindhoven University of Technology (TU/e). He holds an MSc (1996) and PhD (2001) in Applied Physics from TU/e, followed by postdoctoral research at TU/e, the University of Illinois (USA), and Keio University (Japan). He received a NWO VENI grant in 2003 and is now leading projects like Plasma Power (2021–2027) and the Kinetic-Fluid Hybrid Plasma Model (2020–2024). His research focuses on plasma modeling, electromagnetic fields, transport phenomena, and C++ code design. Principal investigator on hybrid plasma models. Co-developed the LXCat data platform for plasma science. Research interests include low-temperature plasmas, biomedical applications, and open-source tools for plasma simulation. He contributes to the UN Sustainable Development Goals through plasma-based technologies. Award: NWO VENI Grant (2003) Teaching includes courses like Advanced Computational Fluid and Plasma Dynamics, Astrophysics, and Mathematical Physics. He has supervised 70 academic works and actively participates in conferences and invited talks.
Ciprian-Bogdan Chirila is an Associate Professor at the University Politehnica of Timisoara , affiliated with the Faculty of Automation and Computer Science . He has been with the institution since 2001, progressing from Teaching Assistant to Vice-Dean and UPT Senate Member. His academic roles include teaching Fundamental Concepts of Programming Languages Compiler Design Heuristic Methods Web Applications Security Research Interests focus on programming languages (especially Eiffel) and e-learning innovations. He pioneered reverse inheritance for class hierarchy optimization and developed Auto-generative Learning Objects (AGLO) for dynamic educational content. His work bridges theoretical programming language design with practical educational technology solutions. Recent Publications highlight reverse inheritance implementations in Eiffel (2007-2013) AGLO frameworks for data structures assessment (2017) game-based educational resources (2015) showing consistent focus on code reuse and intelligent learning systems. Scientific Recognition includes 2007 National Competition Grant (>10,000$) 2014 Postdoctoral Scholarship multiple Merit Diplomas Academic Leadership roles: Vice-Dean (2016-2020) UPT Senate Representative (2012, 2016) PhD Thesis Director (2017)
