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

Amin Timanyمشاهده پروفایل

دانشیار

• Programming Languages
• Formal Methods
• Type Theory
• +۳ مورد دیگر

Amin Timany serves as an Associate Professor in the Department of Computer Science at Aarhus University, Denmark. His research focuses on foundational aspects of programming languages and formal verification systems, with particular expertise in logical frameworks for program correctness. His primary research interests span: Programming Languages Theory Formal Methods and Verification Type Systems and Type Soundness Separation Logic for Concurrency Logical Relations and Denotational Semantics Mechanized Proof Systems Analysis of Timany's recent publications (2022-2025) reveals a strong emphasis on separation logic extensions for distributed systems, guarded recursion techniques, and type soundness proofs. His work frequently bridges theoretical foundations with practical verification challenges, particularly in capability-based security and CRDT verification. The publications demonstrate consistent contributions to top venues including POPL, PLDI, and CPP. Timany actively participates in academic service, having served as conference chair for CPP 2025. His research involves significant collaboration with international teams, particularly with researchers at Aarhus University and other European institutions. The publication record shows steady output with 40+ research items, including 2 PhD supervisions noted in his profile.

Abid Hussainمشاهده پروفایل

دانشیار

• Information Systems
• Design Science
• Big Data Analytics
• +۲ مورد دیگر

Abid Hussain serves as Associate Professor at Copenhagen Business School's Department of Digitalization, specializing in the convergence of digital technologies and organizational practices with emphasis on data-driven solutions and privacy-centric systems development. His research portfolio spans: Design Science in Information Systems Big Social Data and Big Data Analytics Enterprise Software Development (web, database, desktop solutions) Privacy by Design frameworks and data protection tools He has engineered solutions for data collection, transformation, and analytics pipelines alongside enterprise system integrations involving API security, document sharing, and WSDL protocols. Publication trends (2018-2025) reveal consistent innovation in privacy-preserving technologies (blockchain-based access control), immersive educational tools (VR classrooms), and multilingual social analytics. His work demonstrates interdisciplinary impact across computational social science, business informatics, and public health through event management systems, climate psychology studies, and interorganizational data sharing frameworks.

Sebastian Alexander Mödersheimمشاهده پروفایل

دانشیار

• Security Protocols
• Protocol Verification
• Privacy in Cybersecurity
• +۳ مورد دیگر

Sebastian Alexander Mödersheim is an Associate Professor at the Department of Applied Mathematics and Computer Science, Technical University of Denmark (DTU). He specializes in security protocols, formal verification, and privacy-preserving technologies. His research focuses on developing automated methods for analyzing and ensuring the security and privacy of cryptographic protocols, including topics such as privacy properties, protocol compositionality, and accountability mechanisms. His work contributes to UN Sustainable Development Goals by addressing privacy and security challenges in digital systems. Key research areas include formal methods for protocol verification, privacy models like Alpha-Beta Privacy, and secure authentication mechanisms. Mödersheim has authored over 59 publications, including peer-reviewed articles in prestigious conferences such as IEEE Computer Security Foundations Symposium (CSF) and journals like ACM Transactions on Privacy and Security. His recent work emphasizes privacy in authentication protocols, stateful protocol composition, and automated verification tools using theorem provers like Isabelle/HOL. He supervises PhD students in projects such as secure cloud-edge computing (TaRDIS), logical approaches to privacy, and formalization of security protocols. His contributions also extend to tools like AVISPA and AIF framework for protocol analysis.

萩原 広道مشاهده پروفایل

مدرس

• Developmental Cognitive Science
• Language Acquisition
• Developmental Psychology
• +۷ مورد دیگر

Hiromichi Hagihara is a Lecturer at Osaka University's Graduate School of Human Sciences, where he conducts interdisciplinary research at the intersection of developmental psychology, cognitive science, and rehabilitation. He also holds part-time positions at Osaka Seikei University as a lecturer in Nursing and serves as a visiting researcher at RIKEN and the University of Tokyo's WPI-IRCN. His work bridges academic research with practical applications in child development and education. Dr. Hagihara earned his PhD in Human and Environmental Studies from Kyoto University in 2021. His educational background includes a Master's degree from Kyoto University (2018) and undergraduate studies in both Natural Sciences and Health Sciences (Occupational Therapy) at Kyoto University. Dr. Hagihara's research focuses on early language development, particularly the structure and evolution of "words" and "meaning" in infants and young children. He investigates how children acquire language within social contexts and how this relates to their cognitive and motor development. His work also explores quantitative assessment tools for pediatric rehabilitation, aiming to bridge the gap between clinical practice and scientific research. He advocates for connecting academic disciplines and connecting research with practical application in the field. His recent publications show a strong emphasis on developmental cognitive science, with particular focus on children's language acquisition, forgiveness understanding, and scale errors. His interdisciplinary approach combines methodologies from psychology, neuroscience, and rehabilitation science to examine child development from multiple perspectives. 2024 Osaka University Award for Young Faculty 2024 Best Poster Award at Japan Baby Science Society 2024 Many Babies Certificate of Achievement 2024 Excellent Award at Osaka University Student Research Presentation 2022 Top Downloaded Article in Infancy journal Dr. Hagihara actively mentors students through research projects, including the development of the educational board game "DAIGAKU," which simulates university life experiences. He has secured multiple competitive research grants, including a Japan Society for the Promotion of Science (JSPS) Grant-in-Aid for Scientific Research on infant social interactions and language development. He leads the Osaka University Babylab (https://babylab.hus.osaka-u.ac.jp/), which conducts cutting-edge research on infant cognition and language development. His team collaborates with researchers internationally, including at the University of Warwick, Trinity College Dublin, and the ManyBabies consortium.

Saverio Giallorenzoمشاهده پروفایل

استادیار

• Programming Languages
• Process Calculi
• Choreographic Programming
• +۴ مورد دیگر

Saverio Giallorenzo is an Assistant Professor (tenure-track) at the Department of Computer Science and Engineering, University of Bologna. He is also a member of the Microservices Community communication group, OLAS team at INRIA (France), and the Italian National Laboratory for Cybersecurity (Bologna node). Previously, he was associated with the Focus team at INRIA (France), Concurrency and Logic group, DISI Jolie Lab, and SPACES groups. Dr. Giallorenzo's research spans multiple areas in computer science with a focus on distributed systems and programming languages. His primary research interests include: Programming Languages Process Calculi Choreographic Programming Microservices Session Types Dynamic Adaptability Security His work bridges theoretical foundations with practical applications, particularly in the areas of serverless computing, microservice architectures, and secure distributed systems. Analysis of Dr. Giallorenzo's recent publications (2024-2026) reveals a strong focus on serverless computing, microservices, and choreographic programming. His research demonstrates a consistent trajectory toward optimizing distributed systems through formal methods. Key themes include topology-aware function scheduling in serverless environments, energy-aware cloud-edge deployments, ransomware investigation frameworks, and formal models for choreographic programming. His work often combines theoretical rigor with practical implementations, as evidenced by tools like the tAPP OpenWhisk extension and SAFARI framework. Dr. Giallorenzo actively contributes to the academic community through teaching and research supervision. He teaches courses including Network Analysis, Programming Languages, and Social Network Analysis at both undergraduate and graduate levels. His teaching spans the First Cycle Degree in Computer Science and Second Cycle Degrees in Artificial Intelligence, Computer Science, and Digital Humanities and Digital Knowledge. His research activities are supported by collaborations with several institutions including INRIA in France and participation in the Italian National Laboratory for Cybersecurity. He has been involved in developing the Jolie programming language and related tools for microservice development and verification.

• Cognitive Augmentation Technologies
• Computing Education
• AI Security & Safety
• +۴ مورد دیگر

Nanna Inie is an Assistant Professor in Software Engineering at IT University of Copenhagen . Her research focuses on Human-Computer Interaction , with specializations in Cognitive Augmentation Technologies , Computing Education , and AI Security & Safety . She employs mixed-method designs to study human cognition extension through technology and its reciprocal effects. Recent publications highlight her exploration of generative AI ’s cognitive costs, LLM red teaming , and gender representation in educational materials. Her methodological approach combines qualitative and quantitative experiments in real-world settings. Key collaborative projects include DIREC (recruitment of IT students), ATTiKA (adaptive learning tools), and digital reading support systems . Her research has been disseminated through 30 publications and 22 media contributions , including interviews with TV2 News and Danish outlets. Funded by Villum Foundation and Innovation Fund Denmark , her work addresses technological ethics , collaborative dynamics , and environmental impacts of AI systems.

Cosmin Eugen Oanceaمشاهده پروفایل

دانشیار

• Programming Language Design and Implementation
• Compiler Optimization
• Automatic Parallelization
• +۷ مورد دیگر

Cosmin Eugen Oancea serves as an Associate Professor in the Programming Languages and Theory of Computation section at the Department of Computer Science (DIKU), University of Copenhagen, Faculty of Science. His academic profile shows active engagement in research, teaching, and collaboration within the computer science community. Education: PhD in Computer Science from Western University (completed November 20, 2005) Dissertation title: "Parametric Polymorphism for Software Component Architectures and Optimizations" Oancea's research spans multiple domains within computer systems, with primary focus on static, dynamic and hybrid techniques for automatic parallelization (optimizing compilers), programming language design and implementation, memory management, and computer algebra. His recent work demonstrates strong connections between functional programming, array languages, and high-performance computing, with applications in financial modeling, automatic differentiation, and time series analysis. He has made significant contributions to the Futhark programming language ecosystem, focusing on compiler optimizations and performance tuning for GPU architectures. His publication record shows consistent output in top-tier venues including SC (International Conference for High Performance Computing), IFL (Symposium on Implementation and Application of Functional Languages), and ARRAY (Workshop on Libraries, Languages and Compilers for Array Programming), with a notable concentration of publications from 2021-2023. His research demonstrates interdisciplinary connections between computer science theory and practical applications in finance, environmental data analysis, and machine learning infrastructure. Oancea maintains active international collaborations across multiple countries, as indicated by the network visualization of his research partnerships. His work bridges theoretical computer science with practical implementations, particularly in the domain of array programming and compiler optimization for parallel architectures.

• Formal Methods in Software Engineering
• Programming Languages and Formal Logic
• Trustworthy Distributed Systems
• +۹ مورد دیگر

Dr. Boris Düdder is an Associate Professor at the Department of Computer Science (DIKU), University of Copenhagen, focusing on Formal Methods, Programming Languages, and Trustworthy Distributed Systems. He leads the Software Engineering & Formal Methods research group and serves as Deputy Head of Department for Teaching, advocating for neurodiversity and inclusion. Primary Affiliation: Department of Computer Science, University of Copenhagen External Lectureship: Copenhagen Business School (CBS), University of Electronic Science and Technology of China (UESTC) Honorary Research Fellowship: Institute for Intelligent Production Systems, Qingdao, China His research bridges formal computer science foundations with industrial applications, including automated program generation for adaptive systems (Combinatory Logic Synthesizer), verifiable AI, blockchain for healthcare IT, and secure data ecosystems. Key projects involve Smart Factories, Data Markets, and Ethical AI assessment via Z-Inspection. Scientific recognition includes the 2022 SSIP Excellence In Service Innovation Award for Z-Inspection. He has secured international grants in blockchain, FinTech, and secure data sharing, operating in multinational consortia. Contact: boris.d@di.ku.dk | Phone: +4593565748 | Website: Research Profile

Alceste Scalasمشاهده پروفایل

دانشیار

• Formal Methods
• Programming Languages
• Multiparty Session Types
• +۵ مورد دیگر

Alceste Scalas is an Associate Professor at the Department of Applied Mathematics and Computer Science, Technical University of Denmark (DTU). His research focuses on formal methods in concurrency, multiparty session types, distributed systems, and programming language theory. Scalas leads the Software Systems Engineering group and actively supervises PhD students in areas such as secure distributed systems and formal verification of communication protocols. His work integrates theoretical contributions (e.g., process algebra formalisms, Petri net encodings) with practical applications like verified network APIs and automated test synthesis for RESTful systems. Recent projects include COTS (OpenAPI test synthesis) and P4R-Type (verified P4 control plane tools). Scalas' research has been applied to secure cloud-edge systems (TaRDIS project), hybrid verification methodologies, and SDN protocol validation. He co-develops tools like Effpi for verified message-passing programs and PSTMonitor for session-type monitoring. He supervises PhD candidates working on secure distributed applications, formal methods in blockchain (Algorand smart contracts), and concurrency patterns in actor systems. His work bridges theoretical computer science with real-world system verification challenges.

Fabrizio Montesiمشاهده پروفایل

استاد

• Programming Languages
• Cybersecurity
• Distributed Systems
• +۳ مورد دیگر

Fabrizio Montesi is a Professor and Head of Section in the Department of Mathematics and Computer Science at the University of Southern Denmark. He holds a leadership role as President of the Microservices Community since 2019. His research focuses on Choreographic Programming, Programming Languages, Cybersecurity, and Distributed Systems, with notable contributions to frameworks like Jolie and Choral. Montesi has secured significant grants, including EU Horizon Europe funding and Villum Foundation awards. He has supervised PhD students in microservices development and contributed to over 90 research outputs. His work emphasizes formal methods, concurrency, and secure distributed systems design. Research Interests His primary research areas include choreographic programming models, formal verification of distributed systems, and cybersecurity in microservices architectures. He explores theoretical foundations such as session types, process calculi, and linear logic, while developing practical tools like the Choco project for choreography-based IT systems. His work bridges theory and practice through frameworks like Jolie, enabling secure and scalable service-oriented computing. Grants & Projects - CHORDS (EU Horizon Europe) : Choreographies for Distributed Systems (2024–2029)\n- X-IDF : Explainable Internet Data Flows (2022–2026)\n- Choco : Choreographies for connected IT systems (2020–2025). Projects emphasize cybersecurity for SMEs and formal methods for distributed systems. Awards - Best Artefact Award (2023)\n- Villum Synergy Grant (2022)\n- Distinguished Paper Award (2021)\n- Villum Young Investigator (2019)\n- Innovation Prize (2017). Media & Outreach Montesi has engaged with media on topics like AI tools for media houses, cybersecurity for SMEs, and Denmark’s success in EU research grants. His work is cited in Wikipedia and discussed in academic networks.

Jacopo Mauroمشاهده پروفایل

استاد

• Cybersecurity
• DevOps
• Formal Methods
• +۴ مورد دیگر

Jacopo Mauro is a Professor at the Department of Mathematics and Computer Science, University of Southern Denmark. His research focuses on Cybersecurity, DevOps, Formal Methods, and Serverless Computing, with a strong emphasis on microservices, constraint programming, and cloud application deployment. Active Projects: Involved in initiatives like the Danish Cybersecurity Challenge 2022-24 (CyberSkills Career), DIREC PHD Summer School, and ASCD (Assessment on the Status of CyberSecurity in Denmark). Research Output: Authored 82 publications, including 52 articles in proceedings, 20 journal articles, and 7 book chapters. Collaborates extensively on microservice security, scheduling policies, and formal verification. Recent Work Highlights: His 2024-2026 publications analyze serverless scheduling, choreography-defined networks, and formal allocation policies, reflecting trends in cost-aware systems, edge computing, and topological constraints. Teaching: Has taught courses on Microservices, DevOps, Programming Languages, and Microservice Programming at SDU. External Engagement: Frequently cited in Danish media on cybersecurity topics, including contributions to discussions on cyber warfare, ransomware threats, and national security.

Linda Nhu Laursenمشاهده پروفایل

دانشیار

• Sustainable Design
• Circular Economy
• Product Longevity
• +۴ مورد دیگر

Linda Nhu Laursen is an Associate Professor and Head of Research at the AAU Design Lab within the Technical Faculty of IT and Design at Aalborg University, Denmark. Her work focuses on sustainable design innovation, particularly in creating products that address long-term environmental and societal challenges. She leads interdisciplinary research on circular design, product longevity, and waste material utilization, managing a team of 15 researchers at the AAU Design Lab. Her research has secured over 30 million DKK in funding through national and international grants. She has published extensively in top journals like Design Studies and Journal of Cleaner Production , and her work contributes to UN Sustainable Development Goals related to responsible consumption and climate action. Professionally, she has led projects such as ZeroWaste (Danish Industry Foundation) and co-authored books like Designerly Loops . Her teaching innovations include digitizing design education and developing frameworks like the Longevity and Sustainable Transition (LaST) Tool . She has received awards including the Kammaprisen (2024) and Best Poster Award (2015). Her research dissemination extends to media engagements and podcasts like Design Land .

Russa Biswasمشاهده پروفایل

استادیار

• Large Language Models
• Knowledge Graphs
• Natural Language Processing
• +۳ مورد دیگر

Russa Biswas is an Assistant Professor in the Department of Computer Science at Aalborg University, Denmark. Their research focuses on Large Language Models, Knowledge Graphs, and Natural Language Processing, with a particular emphasis on multilingual systems, cybersecurity implications, and improving LLM factuality. Biswas holds a PhD in Computer Science from the Karlsruhe Institute of Technology, a Master’s degree from Saarland University, and completed a postdoctoral fellowship at the Hasso Plattner Institute (2023-2024). Education: PhD in Computer Science, Karlsruhe Institute of Technology (Embedding Based Link Prediction for Knowledge Graph Completion) Master’s in Informatik, Saarland University Postdoctoral Research at Hasso Plattner Institute (2023-2024) Research interests include combating LLM hallucinations through knowledge-graph grounded evaluation (e.g., MultiHal dataset), quantifying LLM vulnerabilities, and enhancing factuality via scalable reasoning techniques. Their work addresses cross-lingual challenges, embedding inversion attacks, and typological analysis of linguistic systems. Recent publications explore topics like multilingual dataset creation, security implications of LLMs, and knowledge-graph completion. Biswas collaborates widely, with contributions to venues like AAAI, NAACL, and the Journal of Web Semantics.

Juan Manuel Rodriguezمشاهده پروفایل

استادیار

• Recommender Systems
• Web Services
• Deep Learning
• +۳ مورد دیگر

Juan Manuel Rodriguez is an Assistant Professor in the Department of Computer Science at Aalborg University, Denmark. His affiliation is within The Technical Faculty of IT and Design, specializing in Data, Knowledge, and Web Engineering. Dr. Rodriguez holds a PhD in Computer Science and has a strong focus on research areas including Recommender Systems, Web Services, Deep Learning, and Social Media Analysis. His work often intersects with applications in information retrieval, healthcare systems, and crisis management. His research explores topics such as misinformation detection, transformer-based news recommendation, and clinical data analysis using knowledge graphs. He has contributed to projects like HEREDITARY (2024–2027), which integrates heterogeneous data for gut-brain research. Rodriguez has also engaged in media collaborations, including work highlighted in 'Udforsker Mars: Studerende fra Aalborg samarbejder med NASA' (June 2024). Key technical interests include leveraging neural networks for user behavior modeling, optimizing retrieval systems, and addressing ethical challenges in AI. His recent publications (2020–2025) span domains from pandemic mental health tracking to parking availability prediction, reflecting a multidisciplinary approach to computational challenges.

Hans Hüttelمشاهده پروفایل

دانشیار

• Process Calculi
• Type Systems
• Programming Languages
• +۴ مورد دیگر

Hans Hüttel is an Associate Professor in the Department of Computer Science at Aalborg University's Technical Faculty of IT and Design. His research focuses on theoretical foundations of computer science with emphasis on programming languages and formal methods. His research interests span process calculi, type systems, concurrency theory, program synthesis, and security protocols. The fingerprint analysis of his work shows strong emphasis on Type Systems (100%), Process Algebra (27%), Cryptographic Protocols (22%), and Branching Time (18%). His recent work demonstrates a growing interest in the intersection of formal methods with emerging technologies like large language models. Hüttel's publication trend shows consistent output with 97 research outputs including 56 articles in proceedings, 17 journal articles, and 9 conference articles in journals. His most recent work (2024-2025) focuses on type systems for programming languages, program synthesis with LLMs, and functional array programming. Scientific Awards: CONCUR Test-of-Time Award (Sept 2020) Hüttel has participated in multiple research projects including TREsPASS (Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security), BETTY (Behavioural Types for Reliable Large-Scale Software Systems), and educational initiatives like PBL Exchange. He has 35 media appearances where he discusses topics ranging from AI ethics to university education reform. He leads research within the Distributed, Embedded and Intelligent Systems group and has been active in educational development through problem-based learning (PBL) initiatives at Aalborg University.