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

Andrea Vandinمشاهده پروفایل

دانشیار

• Formal methods
• Qualitative and quantitative system modeling and analysis
• Domain Specific Languages
• +۷ مورد دیگر

Andrea Vandin serves as an Associate Professor in the Formal Methods for Safe and Secure Systems section at DTU Compute, Department of Applied Mathematics and Computer Science, Technical University of Denmark. Her research integrates theoretical computer science with practical system analysis, focusing on formal verification methodologies for complex systems. Her primary research interests include: Formal methods for system verification Qualitative and quantitative modeling techniques Domain-specific language development Large-scale performance analysis Model reduction algorithms Chemical reaction network analysis Statistical model checking Recent publications demonstrate expertise in constrained lumping of chemical systems, network embedding through equitable partitions, and stochastic conformance checking. Her work bridges computer science, mathematics, and systems biology with applications in sustainable system design. She actively contributes to UN Sustainable Development Goals through formal verification approaches for safe and secure systems. Her research shows strong trends toward applying model reduction techniques to chemical reaction networks and agent-based systems, with increasing focus on statistical verification methods and probabilistic modeling. The integration of MultiVeStA with Mesa for Python agent-based models represents a significant contribution to verification capabilities in simulation environments.

Manfred Jaegerمشاهده پروفایل

دانشیار

• Artificial Intelligence
• Machine Learning
• Bayesian Networks
• +۵ مورد دیگر

Manfred Jaeger is an Associate Professor at the Department of Computer Science, Technical Faculty of IT and Design, Aalborg University. His research focuses on Artificial Intelligence , Bayesian Networks , and Graph Neural Networks , with significant contributions to probabilistic reasoning and relational learning. University: Aalborg University School: Technical Faculty of IT and Design Department: Department of Computer Science Jaeger's research explores inductive and probabilistic reasoning , statistical relational learning , and model checking . His recent work integrates heterogeneous graph neural networks with relational Bayesian network encodings to enhance reasoning capabilities in complex systems. Key trends in his publications include relational deep learning , probabilistic inference , and graph-based modeling . He has contributed to applications in social network community detection , reinforcement learning for MDPs , and latent variable models for graph learning . Jaeger collaborates on projects involving incomplete data analysis , modularization of complex tasks , and probabilistic logic . His datasets on multi-multi-instance learning networks are publicly available for research use.

Jakob Lykke Andersenمشاهده پروفایل

دانشیار

• Algorithms
• Graph Transformation
• Chemical Reaction Networks
• +۷ مورد دیگر

Jakob Lykke Andersen is an Associate Professor in the Department of Mathematics and Computer Science at the University of Southern Denmark (SDU), where he conducts research in algorithms with applications in cheminformatics and complex systems. He also holds a former external appointment as a Research Fellow at the Tokyo Institute of Technology (2015–2017). Research Interests: His work lies at the intersection of computer science and theoretical chemistry, focusing on algorithmic methods for analyzing chemical reaction networks. He employs hypergraphs, mixed-integer linear programming, and probabilistic models to study metabolic pathways, reaction databases, and prebiotic systems. His research emphasizes computational efficiency, formal modeling, and software implementation. Publication Trends: His recent publications (2019–2025) show a consistent focus on graph-based modeling of chemical systems, rule extraction from reaction databases, thermodynamic feasibility, and stochastic analysis. These works appear in high-impact journals in cheminformatics, bioinformatics, and complex systems, reflecting strong interdisciplinary collaboration. Scientific Contributions: While no specific awards are listed, his sustained research output and leadership in funded projects highlight significant contributions to algorithmic cheminformatics. Grants and Projects: He is actively involved in two major ongoing research projects: (1) Software Infrastructures for Teaching at Scale (funded by Innovation Fund Denmark, 2022–2025), and (2) DIREC (Danish Research Center for Digital Economy, 2020–2025), indicating active engagement in both educational technology and core computational research. Advising and Outreach: While no students are listed, he participates in academic advising through project supervision. He contributes to public discourse through media appearances on topics such as mathematics in health (e.g., intestinal system modeling in obesity) and educational well-being. Labs and Teams: He collaborates with interdisciplinary teams, including researchers from bioinformatics, chemistry, and computer science, particularly through projects involving Merkle, Flamm, Fagerberg, and Stadler. His work is associated with algorithmic cheminformatics and software framework development groups at SDU.

Svante Eriksenمشاهده پروفایل

دانشیار

• Statistics
• Bayesian Networks
• Graphical Models
• +۷ مورد دیگر

Svante Eriksen is an Associate Professor in the Department of Mathematical Sciences at Aalborg University, Faculty of Engineering and Science. His research spans statistics, forensic genetics, and computational modeling, with a focus on Bayesian networks, graphical models, and statistical methods for forensic DNA analysis. He is actively involved in interdisciplinary research and software development for probabilistic genotyping and large-scale inference. Research Interests: Bayesian Networks and Graphical Models Statistical Methods in Forensic Genetics SNP and Y-STR Genotyping Data Mining and Knowledge Discovery Model Selection and Context-Specific Independence Software Development for Statistical Inference Recent Publication Trends (2024–2025): His recent work focuses on improving SNP genotyping accuracy using logistic regression models, developing efficient software (jti and sparta) for Bayesian network inference, and advancing forensic DNA analysis through dynamic SNP selection and probabilistic modeling of Y-STR databases. These contributions reflect a strong integration of statistical theory, computational efficiency, and real-world forensic applications. Scientific Contributions: Principal contributor to software packages for Bayesian network prediction. Developer of statistical models for forensic DNA data interpretation. Collaborator on projects involving digital learning analytics and student retention. Advising and Grants: While specific student names are not listed, the profile indicates involvement in PhD supervision (4 cases). He has participated in multiple externally funded research projects, including those supported by Novo Nordisk and Danish research councils, focusing on forensic DNA analysis, graphical models, and educational data mining. Research Groups and Collaborations: He is part of a strong research network in forensic genetics and statistical modeling at Aalborg University, collaborating with leading researchers such as N. Morling, M. M. Andersen, and T. Tvedebrink. His work is closely tied to the development and application of statistical software in both forensic and educational domains.

Kaixuan Chenمشاهده پروفایل

پژوهشگر

• Artificial Intelligence
• Deep Learning
• Human-Computer Interaction
• +۳ مورد دیگر

Kaixuan Chen is a Researcher at the Department of Computer Science within The Technical Faculty of IT and Design at Aalborg University , Denmark. His work focuses on AI-driven systems for human activity recognition, trajectory analysis, and deep learning optimization. Research Interests: Chen's research spans Artificial Intelligence , Deep Learning , and Data Engineering . Key areas include Knowledge Graph Embedding , Neural Signal Processing , and Context-aware Spatial Crowdsourcing . Recent Publications demonstrate expertise in contrastive learning , BCI systems , and automated design of lightweight AI models . His work integrates multimodal data for superior performance in dynamic environments. Collaborations include international partnerships in AI and energy systems. Supervised 1 PhD student and contributed to 15+ publications since 2018.

• Machine Learning
• Probabilistic Inference and Reasoning
• Stochastic Processes
• +۱ مورد دیگر

Christoffer Olling Back is a Postdoctoral Researcher at the Department of Computer Science (Faculty of Science, University of Copenhagen) specializing in Human-Centred Computing . His work bridges applied and theoretical machine learning, focusing on probabilistic inference, stochastic processes, and computability theory. Education PhD in Computer Science (2017-2020) - University of Copenhagen MSc in Artificial Intelligence (2010-2011) - University of Edinburgh BA in Psychology (w/ Computer Science) (2004-2008) - Lewis and Clark College Current research explores predictive workflow models using location data through the iAware project (collaboration with Systematic, PowerNet, and Bispebjerg Hospital). Previous work investigated ERP system datasets in the DIREC consortium. His publications span topics in process mining, probabilistic modeling, and healthcare informatics. Recent achievements include 15 research outputs (2024-2016) covering process discovery, workflow simulation, and entropy-based log analysis. Collaborations with institutions like Roskilde University and industry partners demonstrate interdisciplinary impact. Scientific Awards Dean's List (2007) Nordea Fonden Scholarship (2010) As an educator, he serves as guest lecturer, assistant teacher, and tutor in computer science, machine learning, and software engineering. His professional background includes industry roles at ServiceNow Denmark ApS (2021-2024) and Gekkobrain (2020-2021).

Danny Bøgsted Poulsenمشاهده پروفایل

دانشیار

• Formal Methods
• Model Checking
• Cyber-Physical Systems
• +۳ مورد دیگر

Danny Bøgsted Poulsen is an Associate Professor at the Department of Computer Science, Aalborg University, affiliated with The Technical Faculty of IT and Design. His research focuses on formal methods, model checking, and cyber-physical systems with applications in security analysis and programming languages. He contributes to projects like BEO-COVID (2020–2020) and IDEA4CPS (2011–2015), which explore decision support tools and foundational cyber-physical systems. His academic background includes advanced work in formal verification and statistical model checking. Key research interests include: Formal methods for string constraints and SMT solvers Statistical analysis of security-critical systems Modelling protocols like DTLS and attack-defense scenarios Applications of formal methods in education and public health Recent work highlights include developing SMTQuery for benchmark analysis, statistical evaluation of bit-flip vulnerabilities, and leveraging large language models for educational feedback. His research outputs span over 36 publications across journals and conferences, with active contributions to UPPAAL tool development and open datasets for reproducibility. Poulsen collaborates internationally on projects involving formal verification of embedded systems and cybersecurity protocols. His work bridges theoretical computer science with practical applications in safety-critical systems.

Andres Masegosaمشاهده پروفایل

دانشیار

• Machine Learning
• Bayesian Networks
• Data Streaming
• +۴ مورد دیگر

Andres Masegosa is an Associate Professor at the Department of Computer Science, Aalborg University (AAU), within The Technical Faculty of IT and Design. He is actively involved in the DarkScience project (2022–present), focusing on metagenomic binning and microbial dark matter analysis. His research interests span Bayesian networks, machine learning, probabilistic graphical models, and educational methodologies in computer science instruction. Key research contributions include advancements in PAC-Bayes theory, genome representation learning, and cold posterior effects in Bayesian models. He has published extensively in top venues like Advances in Neural Information Processing Systems and Transactions on Machine Learning Research. His work often bridges theoretical contributions with practical applications in genomics and education. Masegosa leads the development of tools like InferPy for probabilistic modeling and has contributed to open-source projects such as the AMIDST toolbox. His educational research explores learning styles and active learning strategies, emphasizing live coding and programming exercises. Collaborations include interdisciplinary projects with microbiologists and data scientists, reflecting his expertise in computational methods for complex biological systems. His research portfolio demonstrates a strong focus on scalable probabilistic methods and their real-world applications.

Yoshiharu Maenoمشاهده پروفایل

استاد

• Data Science and Engineering
• Complex Systems Theory
• Stochastic Process Theory
• +۷ مورد دیگر

Dr. Yoshiharu Maeno is a Professor at the School of Interdisciplinary Mathematical Sciences, Meiji University, where he conducts interdisciplinary research at the intersection of mathematics, data science, and social systems. His work applies advanced mathematical frameworks to real-world complex phenomena in economics, finance, epidemiology, and social networks. Position: Professor Institution: Meiji University School: School of Interdisciplinary Mathematical Sciences Research Interests Dr. Maeno's research focuses on data science and engineering, complex systems theory, and stochastic process theory applied to economics and social sciences. He specializes in modeling reaction-diffusion processes to understand the dynamics of infectious disease spread, financial crises, and misinformation dissemination on social media. His work bridges theoretical mathematics with practical applications in societal challenges. Publication Trends His recent scholarly output demonstrates a consistent focus on applying reaction-diffusion and stochastic models to complex social and economic systems. The publications span interdisciplinary domains including econophysics, computational social science, and mathematical epidemiology, showing a strong trend toward data-driven modeling of real-world dynamic processes. Scientific Awards No specific awards mentioned in the provided text. Advising and Grants While specific students or grant details are not listed, Dr. Maeno's active research program suggests involvement in mentoring graduate students and securing research funding. His participation in events like the Econophysics Colloquium and CSH Workshop indicates collaboration within the global complexity science community. Labs and Teams Dr. Maeno is associated with research initiatives focused on complex systems and data science, likely involving collaborative teams working on interdisciplinary projects. His involvement in workshops and colloquia suggests membership in international research networks studying complexity in economic and social systems.

Ricardo Jose Gabrielli Barreto Campelloمشاهده پروفایل

استاد

• Data Science
• Data Mining
• Machine Learning
• +۱۳ مورد دیگر

Ricardo Jose Gabrielli Barreto Campello is a full Professor in the Department of Mathematics and Computer Science at the University of Southern Denmark (SDU), Faculty of Science and Engineering. He holds a prestigious International Recruit Fellowship from the Novo Nordisk Foundation (2023–2028) and leads advanced research in data mining and machine learning. He has held prior full professorships at the University of Newcastle and James Cook University, and adjunct or visiting roles at the University of Alberta, University of Melbourne, and University of São Paulo. Education: PhD in Electrical and Computer Engineering, University of Campinas (2002) Master in Electrical and Computer Engineering, University of Campinas (1997) Bachelor in Electronics Engineering, State University of São Paulo (Unesp) (1994) His research centers on data mining and machine/statistical learning , with a focus on developing general-purpose algorithms for descriptive and predictive analytics. He emphasizes unsupervised and semi-supervised learning , particularly in clustering, outlier detection, and intrinsic dimensionality estimation . His work bridges conceptual innovation with real-world applications, including gene-expression data analysis under his current NNF-funded project. The recent publications reflect a strong trend in unsupervised and probabilistic methods , particularly in outlier detection, clustering evaluation, and local intrinsic dimensionality. These works appear in high-impact journals and conferences such as Information Systems , Applied Energy , and SIAM SDM, often in collaboration with leading researchers like Arthur Zimek. The research demonstrates a deep integration of statistical rigor and algorithmic innovation. Scientific Awards: Best Research Paper Award, SIAM SDM (2024) 10-year Test of Time Award, PAKDD (2023) International Recruit Fellow, Novo Nordisk Foundation (2023) Runner-Up Best Paper, IEEE Transactions on Big Data (2022) Top 2% Scientist in the World (2020) Ricardo has consistently secured external research funding, including major grants from the Novo Nordisk Foundation and Danish Council for Independent Research. He has successfully advised numerous postgraduate students and led interdisciplinary research teams. His current projects include Advanced Computational Methods for Unsupervised Data Mining and collaborations on Clustering Evaluation Revisited and Reliable Outlier Detection , all based at SDU. He is actively involved in research networks and collaborations across Australia, Canada, and Europe, and maintains affiliations with institutions such as the University of Melbourne and James Cook University. His work continues to shape methodological advances in data science, particularly in foundational areas with broad application potential.

Hao Liمشاهده پروفایل

پژوهشگر ارشد

• Topology Optimization
• Mechanical Engineering
• Thermal Systems
• +۲ مورد دیگر

Hao Li is a MSCA Postdoc Fellow and Visiting Scholar at LIP6 , affiliated with the University of Southern Denmark in the Department of Mechanical Engineering . His research focuses on advanced computational methods for topology optimization in thermal, fluid, and structural engineering systems. Education: Not explicitly stated in the provided text. Current Projects: Leading EU-funded research on heat exchanger design using multiscale models and machine learning. Dr. Li's work spans multiscale topology optimization, level-set methods, and fluid-structure interaction, with applications in microchannel cooling, compliant mechanisms, and biodegradable composites. His recent publications highlight advancements in 3D conjugate heat transfer, adaptive meshing, and eigenfrequency maximization. The trends in his research output (2017–2025) emphasize thermal-fluid systems , high-resolution structural optimization , and manufacturable composite designs . Notable subfields include triply periodic minimal surfaces for cooling channels, nonlinear buckling analysis, and phasor-based dehomogenization techniques. Teaching & Supervision: Currently supervising projects on topology optimization frameworks for heat sinks and high heat flux cooling. His past projects (2018–2023) include research on piezoelectric transducers and thermal-fluid system design. Labs & Collaborations: Collaborates with institutions in Japan and France, focusing on experimental validation and industrial applications. His network includes partnerships with researchers in structural mechanics, computational fluid dynamics, and additive manufacturing.

Morten Mattrup Smedskjærمشاهده پروفایل

استاد

• Glass Structure and Mechanics
• Oxide Glass Chemistry
• Disordered Materials
• +۵ مورد دیگر

Morten Mattrup Smedskjær , Professor at the Department of Chemistry and Life Sciences, Faculty of Engineering and Science, Aalborg University, is a world-leading researcher in disordered materials and oxide glass chemistry. With over 534 publications and 34 ongoing/complete projects, his work bridges fundamental glass science and advanced technological applications. Institution: Aalborg University, Denmark Department: Chemistry and Life Sciences Research Focus: Glass structure/mechanics, self-healing materials, solid-state batteries, bioactive glass His groundbreaking research explores glassy electrolytes for batteries, porous liquid-derived self-healing glass, and disordered metal-organic frameworks (MOFs) for drug delivery. Recent projects like MultiBat and DrugMOF demonstrate his interdisciplinary approach. Scientific Awards: EliteForsk Prize 2025 Grundfos Prize 2019 Vittorio Gottardi Prize 2019 W.H. Zachariasen Award 2019 Sir Alastair Pilkington Award 2018 Current work focuses on diffusion probabilistic models for inverse material design and economic impacts through glass-based manufacturing innovations. His 2025 Energy and Environmental Science review article establishes new paradigms in amorphous battery interfaces.

• Probabilistic Graphical Models
• Machine Learning
• Deep Generative Models
• +۷ مورد دیگر

Thomas Dyhre Nielsen is a Professor (MSO) in the Department of Computer Science at Aalborg University . He is a member of the Distributed, Embedded and Intelligent Systems (DEIS) research group and contributes to the Artificial Intelligence and Machine Learning team at the university. His primary research interests lie in the theoretical and applied aspects of probabilistic graphical models , machine learning , and deep generative models . His work spans from foundational methods for learning and inference to the development of frameworks for solving complex decision problems. He is the co-author of the authoritative textbook Bayesian Networks and Decision Graphs . His recent research output reveals a strong trend towards interdisciplinary applications. His 15 most recent publications demonstrate significant work in bioinformatics , using graph neural networks and variational autoencoders for metagenomic binning, and in urban infrastructure , applying reinforcement learning and probabilistic models to optimize stormwater and wastewater management systems. He also has impactful research in healthcare , developing Bayesian network models for clinical risk prediction. Senior area editor for the International Journal of Approximate Reasoning . Principal or Co-Investigator on research projects such as the AMIDST project (developing a Java toolbox for scalable probabilistic machine learning) and PGM 2020 (organizing the International Conference on Probabilistic Graphical Models). Actively supervising research, as evidenced by a current opening for a PostDoc position in probabilistic machine learning. Professor Nielsen leads a research lab focused on probabilistic machine learning, which is part of the larger DEIS and AI/ML teams at Aalborg University. His group develops and applies advanced models to real-world problems in environmental science, healthcare, and intelligent systems.

Søren Haubergمشاهده پروفایل

استاد

• Machine Learning
• Bayesian Inference
• Geometric Deep Learning
• +۱۱ مورد دیگر

Søren Hauberg is a Professor in the Department of Applied Mathematics and Computer Science at the Technical University of Denmark (DTU), where he is affiliated with the Cognitive Systems group. His research lies at the intersection of machine learning, geometry, and probabilistic modeling, with applications in life sciences and computer vision. Department: Applied Mathematics and Computer Science Research Group: Cognitive Systems Institution: Technical University of Denmark (DTU) His research interests center on geometric deep learning , Bayesian inference , and manifold-based modeling . He explores how stochastic and geometric structures can improve machine learning models, particularly in modeling complex data such as biological sequences and medical images. His work integrates Riemannian geometry, Gaussian processes, and energy-based models to build more robust and interpretable AI systems. The recent publications reveal a strong trend toward geometric representation learning , fairness in generative models , and computational methods for biological data . His team investigates latent space geometries, develops efficient GPU-based numerical algorithms, and applies foundational models to protein sequences. There is a clear emphasis on both theoretical rigor and practical implementation. Søren Hauberg actively supervises multiple PhD students and leads key projects in machine learning for life sciences. He is a project manager in the Center for Basic Machine Learning Research in Life Science , indicating leadership in interdisciplinary research. He also contributes to high-performance computing applications in statistical modeling. He is involved in several active research projects, including: Geometric Bayesian Deep Learning Stochastic Riemannian Geometry with Applications to Data Modelling The geometry of protein representations AI-driven Electron Tracking for High-Energy Radiation Detection

Søren Wengel Mogensenمشاهده پروفایل

دانشیار

• Causal Inference
• Stochastic Processes
• Survival Analysis
• +۳ مورد دیگر

Søren Wengel Mogensen is an Associate Professor at the Department of Finance, Copenhagen Business School, Denmark. His research focuses on developing advanced statistical and machine learning methodologies for complex systems analysis. Research Interests: Dr. Mogensen's work spans causal inference, stochastic processes, survival analysis, and time-series modeling. Key themes include: Causal discovery algorithms for industrial and biological systems Graphical representations of dependencies in high-dimensional data Time-varying mediation in survival contexts Bayesian networks for cascade modeling Publication Trends: His recent articles (2021-2025) demonstrate a strong emphasis on theoretical-statistical innovation with applications in healthcare, industrial monitoring, and computational finance. Dominant methodologies include kernel-based independence tests, continuous-time Bayesian networks, and constrained stochastic process modeling.