جست‌وجوی استاد و پژوهشگر

• Logic in Computer Science
• Coalgebras
• Modal Logics
• +۷ مورد دیگر

Corina Cirstea is a Professor in the School of Electronics and Computer Science at the University of Southampton, where she has been a faculty member since 2003. She holds a DPhil in Computation from the University of Oxford and previously served as a Junior Research Fellow at St. John's College, Oxford. She is the Programme Leader for the BEng/MEng in Software Engineering and teaches core modules including Algorithmics, Theory of Computing, and Automated Software Verification. Education: DPhil in Computation, University of Oxford (2000) Junior Research Fellowship, St. John's College, Oxford (1999–2003) Her research focuses on logic and models of computation, particularly coalgebras and their applications in automated verification and synthesis. She explores coalgebraic temporal logics, trace semantics, and formal modeling of real-time and resource-aware systems, primarily using Event-B. Her work bridges theoretical foundations with practical system verification, especially in safety-critical domains. The analysis of her recent publications reveals a strong trend in formal methods, with consistent contributions to real-time system modeling, refinement techniques, and coalgebraic semantics. Her work integrates theoretical depth with engineering applications, particularly in automated verification and system design. Scientific Service and Recognition: Member of the editorial board, Compositionality journal Member of IFIP Working Group 1.3 Member of CALCO Steering Committee Member of CMCS Steering Committee Program Committee member for SEFM 2021, MFPS 2021, HIGHLIGHTS 2021, ICALP 2021, MFCS 2021, ACT 2020, ICE 2020, CMCS 2020, FOSSACS 2020 She advises PhD students including Chenyang Zhu and Eman Alkhammash, and has been involved in multiple research grants focused on formal verification, real-time systems, and software engineering. She collaborates extensively with researchers such as Michael Butler and Ichiro Hasuo. Her work contributes to both foundational theory and practical tooling in formal methods. She is associated with research groups and initiatives in formal methods and theoretical computer science at the University of Southampton, particularly within the broader context of software engineering and system verification.

• Cloud Computing
• Peer-to-Peer Systems
• Distributed Networks
• +۱۲ مورد دیگر

Felix Urs Erich Freitag is an Associate Professor in the Department of Computer Architecture at the Barcelona School of Informatics (FIB), Universitat Politècnica de Catalunya (UPC). He is a key member of the CNDS - Computer Networks and Distributed Systems research group, where he actively contributes to projects in cloud computing, peer-to-peer systems, and IoT networking. His primary research interests include Cloud Computing , Peer-to-Peer (P2P) Systems , Internet of Things (IoT) , LoRa Mesh Networks , Federated Learning , Edge Computing , and Blockchain for IoT . His work spans from fundamental networking protocols to applied research on decentralized systems and sustainable digital technologies. He has also contributed to educational innovation through open project-based learning methodologies. Dr. Freitag's recent publications highlight a strong focus on integrating AI with low-power IoT networks, particularly using LoRa technology for federated learning and secure, decentralized identity solutions. His work demonstrates a clear trend towards enabling intelligent, trustworthy, and resource-efficient distributed systems at the network edge. Scientific Awards: 1er Premi UPC de Ciència Oberta 2024 He has been involved in significant research and innovation projects, including European H2020 and Horizon Europe initiatives, often in collaboration with colleagues like Leandro Navarro and Roque Meseguer. His research is supported by competitive grants focused on digital, industry, and space technologies. He also contributes to educational innovation projects and has supervised student theses, fostering a collaborative research environment within the UPC. His work is associated with the development of experimental testbeds and software libraries for LoRa mesh networks and federated learning, indicating a hands-on approach to building and validating distributed systems.

Sean Hansenمشاهده پروفایل

استاد

• Software Design and Development
• Health IT
• IT Strategy
• +۵ مورد دیگر

Sean Hansen is a Professor of Management Information Systems (MIS) and Department Chair of MIS, Marketing, & Analytics at Rochester Institute of Technology's (RIT) Saunders College of Business. He holds a PhD from Case Western Reserve University and a BA from Harvard University. Education: BA, Harvard University; PhD, Case Western Reserve University Affiliation: Saunders College of Business, RIT His research spans health IT, software design, and the application of cognitive theory to information systems. He has published extensively in journals like MIS Quarterly, Information Systems Research, and Communications of the ACM, focusing on topics such as ethical implications of algorithmic systems, wearable technology, and sociotechnical design in healthcare. Recent work highlights the role of participatory design in healthcare and the ethical challenges of AI-driven decision-making. He was named an inaugural Endowed Professor at RIT in 2024 and has presented research at conferences including ICIS, HICSS, and AMCIS. Scientific Award: Inaugural Endowed Professor, RIT's Saunders College of Business (2024) Research Trends: Health IT, ethical AI, collaborative software development, wearable tech, and EHR systems Sean's teaching includes courses on systems design, business analytics, and qualitative research methods, emphasizing practical application in complex organizational contexts.

• Human-Computer Interaction
• Ubiquitous Computing
• Virtual Reality
• +۱۲ مورد دیگر

Johannes Schöning is a Professor of Human-Computer Interaction (HCI) at the University of St. Gallen, Switzerland. He leads a research group focused on developing novel user interfaces to empower individuals and communities in data-driven decision-making. His work spans interdisciplinary domains including geographic information science, public health, medical contexts, and space exploration. His research interests include Human-Computer Interaction, Virtual and Augmented Reality, Ubiquitous Computing, Accessibility, AI in HCI, and Sustainable HCI. He employs user-centered design and mixed methods, combining AI, computer graphics, and cognitive psychology to create disruptive, theory-grounded research. His lab publishes in top venues such as ACM CHI, MobileHCI, DIS, and journals like Nature and PLOS ONE . His recent publications reveal a strong focus on VR/AR for emotional regulation, accessibility, navigation systems, privacy, and citizen participation. Trends include the use of generative AI, eco-feedback, assistive wearables, and ethical implications of large-scale navigation technologies. Best Paper Award & Accessibility Award, Interact 2019 Best Paper Award, MobileHCI 2015 (StripeMaps) Best Presentation Award, IEEE VR 2023 Honorable Mention Awards at MobileHCI, CHI, MUM, and others Vodafone Research Advancement Award, 2012 McKinsey Business Technology Award Nominee, 2011 10 Year Impact Award 2021, MobileHCI 2011 paper He actively advises students and recruits for bachelor’s, master’s, PhD, and postdoctoral positions at the intersection of HCI, geoinformatics, and ubiquitous computing. He emphasizes creating a detox-free academic environment to focus on teaching and research excellence. His lab collaborates on interdisciplinary projects involving space missions, public health, and urban technology, often involving international teams and real-world deployments. He has contributed to discussions on research culture, academic ethics, and the future of HCI conferences.

• Computer Science
• Education Technology
• Sustainable Engineering
• +۵ مورد دیگر

Dr. George Dafoulas is a Professor & Director of Programmes in Computer Science at Middlesex University. His research focuses on IoT applications in healthcare, sustainable engineering, learning analytics, and global software development. He has authored over 180 publications and contributed to projects on smart technologies, virtual learning environments, and digital inclusion. His research explores IoT wearables for child health monitoring , sustainable building systems , and AI-driven educational tools . Recent work includes studies on digital poverty in the UK and mobile government services in Egypt. He actively collaborates across disciplines, addressing challenges in distributed software teams and virtual collaboration. Dr. Dafoulas has directed projects like the Skills and Education Planning Tool and contributed to frameworks for assessing electronic government readiness. His work bridges technology and pedagogy, emphasizing ethical AI, sustainable design, and inclusive digital practices.

• Natural Language Generation
• Artificial Intelligence
• Machine Learning
• +۷ مورد دیگر

Dr Yaji Sripada is a Senior Lecturer in the School of Natural and Computing Sciences at the University of Aberdeen. His research integrates artificial intelligence, machine learning, natural language generation (NLG), and information visualization to enhance human-machine communication, particularly in automating data science workflows and ensuring model transparency. His research interests are centered on Natural Language Generation , Explainable AI , Human-Computer Interaction , and Fairness, Accountability, and Transparency in AI . He has pioneered work in generating textual summaries from complex data, especially in healthcare and environmental monitoring. His research bridges technical AI development with real-world applications in public transport, neonatal care, and digital governance. His recent publications (2023–2025) reflect a strong trend towards AI ethics , regulatory policy , and the integration of large language models (LLMs) in public infrastructure and automated verification. He also holds multiple patents in NLG and data processing technologies, underscoring his translational research impact. Dr Sripada is a co-founder of Arria NLG, a leading company in data-to-text technology, and has advised numerous researchers and students in AI and NLG. His collaborative work spans disciplines including computer science, environmental science, transportation, and law. He has contributed to policy discussions on AI regulation and copyright, demonstrating engagement with societal implications of AI. His work on bias amplification in generative AI highlights his commitment to responsible innovation. His research has been applied in diverse domains, including neonatal intensive care (e.g., BT-Nurse system), rural transport systems (e.g., TravelBot), and environmental data communication (e.g., river level reporting). He continues to lead innovative projects at the intersection of AI, data science, and human-centered design.

Wei Keمشاهده پروفایل

دانشیار مدعو

• Pricing Algorithms
• Behavioral Pricing
• Marketing Strategy
• +۷ مورد دیگر

Dr. Wei Ke is an Adjunct Associate Professor in the Marketing Department at the Leonard N. Stern School of Business, New York University, joining in 2024. He holds a Ph.D. in Decision, Risk & Operations from Columbia Business School and a B.Sc. in Electrical Engineering and Applied Mathematics (summa cum laude) from Columbia University. His professional career is centered at Oliver Wyman, where he serves as a Partner in the pricing, sales, marketing, retail, and business banking practices. Ph.D., Decision, Risk & Operations, Columbia Business School (2009) MPhil, Decision, Risk & Operations, Columbia Business School (2006) B.Sc. (Summa Cum Laude), Electrical Engineering and Applied Mathematics, Columbia University (2003) Wei Ke's research focuses on pricing algorithms and behavioral pricing , exploring how psychological and computational models influence pricing decisions in digital, retail, and financial contexts. His work bridges data science with consumer behavior, emphasizing real-world applications in customer value management and digital sales effectiveness. His recent publications reveal a strong trend in algorithmic and behavioral approaches to pricing across industries such as SaaS, ride-hailing, financial services, and e-commerce. The articles span disciplines including marketing, behavioral economics, data science, and operations research, with recurring subfields like dynamic pricing, consumer segmentation, discount framing, and machine learning for elasticity modeling. His work often combines empirical analysis with strategic implications for firms. Wei has authored over 50 publications in academic and industry journals, contributing significantly to pricing thought leadership. Though no formal awards are listed, his prolific output and consulting leadership underscore his influence in the field. Advises global financial institutions, retailers, and tech firms on pricing and marketing strategy Teaches Pricing Strategies (MKTG-GB.2353.30) at NYU Stern Previously taught at Columbia Business School and Queen’s University Smith School of Business Extensive experience in grant-like consulting engagements with Fortune 500 clients While not affiliated with a formal lab, Wei collaborates closely with industry teams at Oliver Wyman and Simon-Kucher & Partners, contributing to real-world pricing innovation and strategy development in retail, banking, and technology sectors.

• Accountable AI Systems
• Internet of Things (IoT)
• Data Provenance
• +۱۲ مورد دیگر

Dr. Milan Markovic is an Interdisciplinary Fellow at the School of Natural and Computing Sciences, University of Aberdeen, where he conducts research at the intersection of computing, sustainability, and societal impact. He is actively involved in teaching, supervising PhD students, and leading interdisciplinary research projects focused on transparency, accountability, and trust in intelligent systems. His research spans several key domains, including accountable AI, data provenance, IoT governance, and sustainable agri-food systems. He investigates how technologies like AI, blockchains, and semantic web can support transparent and ethical digital infrastructures. His work emphasizes real-world applications in healthcare data governance, smart cities, and environmental sustainability. The recent publications highlight a strong trend toward developing tools and frameworks for transparency and accountability, such as the Transparent Emissions Calculation (TEC) Toolkit, Farm Explorer, and semi-automated provenance tracking in Trusted Research Environments. These works integrate knowledge graphs, federated learning, and blockchain to ensure verifiable, auditable, and sustainable digital systems. Dr. Markovic has contributed to numerous collaborative research initiatives, including EATS (Enhancing Agri-Food Transparent Sustainability) and SARA (Semi-Automated Risk Assessment), which aim to improve data governance and sustainability in complex socio-technical systems. He supervises PhD students in computing science and collaborates with interdisciplinary teams across academia and industry. His leadership in projects like RAInS, TrustLens, and PROoFD-IT demonstrates a long-standing commitment to building trustworthy IoT and AI ecosystems. These projects explore user empowerment, data transparency, and compliance in digital systems, particularly in food safety, healthcare, and urban environments. He is affiliated with the Department of Computing Science and contributes to both theoretical and applied research, with a strong emphasis on open, reproducible, and socially responsible computing.

• Urban Building Energy Modelling
• Decarbonisation Pathways
• Uncertainty and Sensitivity Analysis
• +۶ مورد دیگر

Dr. Pamela Fennell is a Lecturer in Urban Energy Modelling at the Bartlett School of Environment, Energy & Resources, University College London (UCL). With a PhD in Building Energy Modelling from UCL (2018) and expertise spanning civil engineering, architecture, and policy, she leads high-impact research projects like UBASE, CITES, and ConceptIM while co-investigating the GEMDev initiative. As Deputy Director of UCL’s MSc in Smart Energy and the Built Environment, she teaches advanced modules on urban energy systems. Education: PhD (Building Energy Modelling), UCL (2018) MRes (Energy Demand Studies), UCL (2014) MBA, Imperial College (2007) MA and BA in Architecture, University of Cambridge (2000, 1997) Her research focuses on integrating real-world urban data with high-resolution dynamic simulations to address energy poverty in the Global South. She specializes in uncertainty analysis for large-scale models and develops open-source tools like her QGIS plugin to democratize access to urban energy modeling. Her work has been cited in policy frameworks such as Da Nang City’s Climate Action Plan. Recent publications analyze thermal comfort in Peruvian informal settlements, retrofit optimization methodologies, and non-domestic building stock modeling. Her projects combine technical rigor with social equity concerns, particularly in South-North research collaborations. She chairs the education committee of IBPSA and leads UCL’s Energy and Development Group.

Siegfried Nijssenمشاهده پروفایل

استادیار

• Data Mining
• Pattern Mining
• Exploratory Data Analysis
• +۵ مورد دیگر

Siegfried Nijssen is an Assistant Professor of Data Mining and Artificial Intelligence at the Catholic University of Louvain (UCLouvain) in Belgium, working within the ICTEAM research institute's Artificial Intelligence and Algorithms group. He has been at UCLouvain since 2016, previously serving as an Assistant Professor at University Leiden (2012-2016) and completing postdoctoral work at KU Leuven (2006-2015). He earned his PhD in Computer Science from University Leiden in 2006. His research focuses on making data analysis simpler through intersections between pattern mining, exploratory data analysis, and programming paradigms in Artificial Intelligence, particularly constraint programming and probabilistic programming. He has developed techniques for analyzing diverse data types including graphs, networks, and multi-relational data. His work bridges theoretical foundations with practical applications in decision tree learning, probabilistic networks, and source code analysis. Nijssen's recent publications demonstrate a strong focus on optimal decision trees, constraint-based pattern mining, and applications in bioinformatics and education. His research shows consistent evolution from foundational graph mining work (including the Gaston algorithm developed in 2004) to current work integrating machine learning with constraint programming for interpretable AI solutions. As an educator, he teaches courses including Mining Patterns in Data, Databases, and Artificial Intelligence and Machine Learning seminars at UCLouvain. He has advised numerous PhD students and postdocs, primarily in collaboration with Pierre Schaus, with former students like Tias Guns now holding professorships.

Tillman Weydeمشاهده پروفایل

عضو هیئت علمی

• Machine Learning
• Signal Processing
• Data Analysis
• +۵ مورد دیگر

Dr. Tillman Weyde is a Reader in the Department of Computer Science at City, University of London , where he has been employed since 2021. He leads the Machine Intelligence and Media Informatics Research Group and is a member of the Machine Learning Group . Prior to this, he served as Senior Lecturer (2009–2021) and Lecturer (2005–2009) at City, and worked as a researcher at the University of Osnabrück (2001–2005), coordinating the MUSITECH project. His academic background includes PhD in Music Technology (2002), MSc in Computer Science (1999), and MSc in Mathematics, Music, Philosophy & Pedagogy (1994), all from the University of Osnabrück. Research Focus: Machine learning and signal processing methods for data analysis with applications in finance, audio, NLP, music, health, security, and education. His recent work emphasizes inductive biases in neural networks for rule-learning, extrapolation, generalization, and interpretability. Grants & Projects: Principal Investigator for the AHRC-funded Digital Music Lab (2012–2017) and Integrated Audio-Symbolic Model of Music Similarity (2017–present). Co-investigator in Innovate UK and EPSRC projects on safer gambling ( Advancing Consumer Protection , 2015–2018) and Raven (2012–2021). Collaborations: Affiliated with the Institute of Cognitive Science (Osnabrück), Intelligent Systems Research Laboratory (Reading), and the MPEG Ad-Hoc Group on Symbolic Music Representation. Awards: Co-author of the 2000 Comenius Medal-winning educational software Computer Courses in Music Ear Training and co-editor of the Osnabrück Series on Music and Computation . Publications: Over 150 peer-reviewed works including conference papers, journal articles, and book chapters, focusing on interdisciplinary applications of machine learning in music, health, and finance. Students: Supervised 13 PhD students across topics like grammar bias in neural networks, emotion recognition from audio, extrapolation behavior in neural networks, relation-based patterns, legal text parsing, and more.

• Business Process Management
• Information Systems
• Petri Net Modeling
• +۳ مورد دیگر

Andreas Oberweis is a Professor at the Karlsruhe Institute of Technology (KIT), Germany, with a distinguished career in business process management, information systems, and process modeling. His work spans interdisciplinary collaborations, focusing on integrating formal methods like Petri nets with practical applications in digital identity, privacy, and educational technology. Key research areas include Business Process Management, Information Systems, Petri Net Modeling, Semantic Web, and Process Mining. He has contributed to methodologies like MEUSec for enhancing user experience and security in digital identity wallets, and frameworks for automated assessment of modeling competencies. Publications highlight innovations in process model similarity, social network coordination, and 3D business process visualization. His recent work emphasizes user-centric security and multimodal mobility optimization. Collaborations involve institutions like KIT, University of Rome, and Queensland University of Technology, with co-authors such as Peter Loos, Ralf Reussner, and Agnes Koschmider. He has developed tools like INCOME2010 for process-oriented systems and contributed to open models for enterprise systems. Despite no explicit awards listed, his 18+ years of continuous publication in top venues (BPM, EMISA, Modellierung) underscore his academic impact.

• Human-Computer Interaction
• Wearable Technology
• Telerobotics
• +۴ مورد دیگر

Kris Luyten is a Researcher at Hasselt University 's Expertise Centre for Digital Media in Belgium. He specializes in Human-Computer Interaction , Wearable Technology , and Interactive Systems through extensive collaborations with institutions like ACM, Springer, and interdisciplinary teams. Focus on haptic interfaces , telerobotics , and delay-invariant interaction Contributions to multimodal interface design and predictive usability models His recent work explores AI-Spectra dashboards for model transparency and ViRgilites for VR haptics. Publications span journals like Proc. ACM Hum. Comput. Interact. and conferences such as CHI , EICS , and VRST . While no student advising or awards are explicitly listed, his editorial roles (e.g., PACMHCI editorials) demonstrate leadership in interactive systems research.

Malte Teichmannمشاهده پروفایل

پژوهشگر

• Vocational Education
• Continuing Education
• Industry 4.0
• +۵ مورد دیگر

Dr. Malte Teichmann is a researcher at the University of Potsdam , affiliated with the Chair of Business Information Systems and the Weizenbaum Institute for the Networked Society . He leads research group 7 on Education and Further Education in the Digital Society , focusing on immersive technologies in vocational training, Industry 4.0 applications, and knowledge transfer in SMEs. Bachelor in Educational Sciences & Business Administration (2015, University of Potsdam) Master in Educational Sciences (2018, University of Potsdam) Doctorate in Knowledge Management (2021, University of Potsdam) His research explores: Immersive virtual learning environments (VR/AR/Metaverse) Design science methodology for educational frameworks Age-appropriate training systems for blue-collar workers Industry 4.0 implementation in SMEs Recent Research Trends Malte's publications since 2020 show increasing focus on: Metaverse applications in public administration Eye-tracking analysis of cognitive load in VR learning Process-oriented education design Corona-sensitive data collection methodologies Scientific Contributions As lead author and co-researcher, he has: Developed frameworks for VR learning environments Created design guidelines for Metaverse implementation Proposed SME-tailored AR/VR integration strategies Advanced subject-oriented learning methodologies Published 15+ works on digital transformation pedagogy Current Projects Actively involved in: Beer and Science (2025-2027): Brewing as pedagogical model ReWork:KMU (2022-2024): Remote work integration for SMEs Weizenbaum Institute (2018-present): Networked society research

Marika Apostolova Trpkovskaمشاهده پروفایل

دانشیار

• Cybersecurity
• Blockchain Technology
• Industrial Internet of Things (IIoT)
• +۴ مورد دیگر

Marika Apostolova Trpkovska is an Associate Professor at the Faculty of Contemporary Sciences and Technologies, South East European University (Tetovo, Macedonia). Her academic work spans cybersecurity, blockchain technology, and educational technology with a focus on Industrial IoT security, semantic web applications, and digital learning systems. PhD in Computer Science (Specialty: e-Medical Services based on Semantic Web) MSc in Software Development and Applications BSc in Computer Sciences Her research covers cybersecurity frameworks for Industrial IoT, blockchain applications in public administration, and educational technology innovations including VR/AR integration and gamification. She has published extensively in international conferences and journals on these topics, with recent works focusing on machine learning-enhanced security protocols and decentralized real estate management systems. Current publications (2023-2024) highlight her expertise in IIoT security standards, smart contract development using Ethereum/IPFS, and cybersecurity threat modeling. Earlier works examine e-learning systems implementation, gender disparities in CS research, and real-time operating system validation. She serves as part-time academic staff member while maintaining technical roles in learning management system administration (LIBRI, ANGEL) and teaching responsibilities across software engineering, algorithms, and programming disciplines.