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

• Subarachnoid Hemorrhage
• Neuropsychology
• Social Cognition
• +۳ مورد دیگر

Lieke Jorna is a researcher at the University of Groningen's University Medical Center Groningen (UMCG), specializing in neuropsychological consequences of subarachnoid hemorrhage. Her work bridges clinical neuroscience and rehabilitation medicine, focusing on cognitive and behavioral outcomes in both aneurysmal and angiographically negative cases. She holds a Master of Science (MSc) degree and maintains active professional affiliations: Board Member of jong NVN (Dutch Association for Neuropsychology) since 2021 Member of the Dutch Institute of Psychologists (NIP) since 2021 Her research program investigates persistent social cognition deficits, behavioral problems, and mental health impacts following subarachnoid hemorrhage using longitudinal cohort designs and advanced neuroimaging techniques. She specializes in diffusion kurtosis imaging and automated MRI quantification to map structural brain changes correlated with cognitive impairment. Analysis of her 2024-2025 publications reveals a cohesive focus on translating neuroimaging findings into clinical practice, particularly regarding patient communication strategies, mental fatigue mechanisms, and participation barriers. Her work consistently emphasizes the intersection of neurological recovery and psychosocial adaptation. Jorna actively contributes to academic discourse through conference presentations on mental fatigue mechanisms and symposium organization, including a casuistry-driven event on social cognition diagnostics and treatment pathways at UMCG.

Esther Ventura-Medinaمشاهده پروفایل

استاد

• Engineering Education
• Problem-Based Learning
• STEM Education
• +۵ مورد دیگر

Esther Ventura-Medina is a Full Professor of Innovation in STEM Education at Eindhoven University of Technology (TU/e), working within the Eindhoven School of Education and the Department of Applied Physics and Education Science. She holds significant leadership positions as the Scientific Director of the Academy for Learning and Teaching (ALT) and the Leader of the Centre for Engineering Education (4TU.CEE) at TU/e. Her academic career spans multiple prestigious institutions across the globe, with a strong focus on educational innovation in engineering contexts. Dr. Ventura-Medina's educational background includes BSc and MSc degrees in Chemical Engineering from Universidad Simón Bolívar in Venezuela, followed by a PhD in Chemical Engineering from the University of Manchester Institute of Science and Technology (UMIST) in 2000. Her doctoral research focused on mineral froth flotation systems. She further enhanced her educational expertise with a Post-graduate Certificate in Education (PGCE) in Secondary Mathematics from the University of Manchester in 2005. Her research interests center on cognitive development and human agency within social learning environments, with particular expertise in skill development through student-centered pedagogies like Problem- and Project-Based Learning. She investigates how students working in teams solve problems, self-manage their efforts, and become self-directed learners by examining social interactions within learning environments. Recent work explores opportunities offered by digitalization of education and optimal employment of digital technologies for student learning. Analysis of her recent publications reveals a strong focus on engineering education innovation, particularly in challenge-based learning, digital transformation, and AI applications in educational contexts. Her work consistently bridges traditional engineering education with emerging technological approaches, maintaining strong connections to practical classroom implementation while contributing to theoretical frameworks in educational research. University of Manchester 'Teacher of the Year' award (2011) Professor Ventura-Medina has supervised numerous educational initiatives and research projects throughout her career. Her leadership roles have included Director of Undergraduate Studies at the University of Manchester, Director of Teaching at Monash University, and Director of Assessment and Director of Postgraduate Taught Programmes at the University of Strathclyde. She has served as External Examiner for Chemical Engineering programs and conducted quinquennial reviews of chemical engineering curricula. Her professional network includes leadership in the Education Special Interest Group within the Institution of Chemical Engineers (2019-2022) and membership in the Collaborative Online Learning Network and Engineering Education Research Special Interest Group at SEFI. As Scientific Director of the TU/e Academy of Learning and Teaching and Leader of the Centre for Engineering Education at TU/e (4TU.CEE), she oversees significant educational innovation initiatives across multiple institutions. Her current research group (Group Ventura-Medina) focuses on Engineering Education, with active research in Social Sciences areas including Education Research (50%), Student Learning (46%), Educational Innovations (39%), Educational Practice (32%), Legislation (32%), Artificial Intelligence (32%), and Higher Education Institutions (29%).

• Molecular Biology
• Biochemistry
• Neurochemistry
• +۵ مورد دیگر

Daria Kotova is a Research Fellow at Leiden University's Leiden Institute of Chemistry (LIC), part of the Faculty of Science. She works in Professor Sylvestre Bonnet's group, focusing on optimizing photoactivated chemotherapy for in vivo cancer treatment. Her research combines biochemistry with advanced optogenetic tools developed during her PhD in Molecular Biology, which explored redox processes in brain cells. Concurrently, she contributes to mathematical analysis through studies in Harmonic Analysis and Partial Differential Equations, addressing problems like extremizers for Fourier inequalities and water wave dynamics. Kotova has published extensively in peer-reviewed journals, with notable work on Schrödinger equations, KdV systems, and Strichartz inequalities. Her dual expertise bridges biological and theoretical domains, reflecting her interdisciplinary approach to scientific inquiry.

• Operations Research
• Optimization
• Scheduling Algorithms
• +۳ مورد دیگر

Fatih Burak Akçay is a PhD Candidate and Lecturer at Tilburg University's TS Economics and Management. His research focuses on operations research, optimization, and scheduling algorithms. Key topics include parallel processor scheduling, bin packing problems, and contiguity constraints. He is affiliated with the Operations Research research group. His 2025 publication in the European Journal of Operational Research addresses mathematical models and computational studies for scheduling and bin packing challenges. No scientific awards are listed, and no advising/grant details are provided. His work is centered at Tilburg University's Koopmans Building.

Peter van Emde Boasمشاهده پروفایل

استاد

• Theoretical Computer Science
• Computational Complexity
• Game Theory
• +۵ مورد دیگر

Peter van Emde Boas is a Professor at the University of Amsterdam , affiliated with the Faculty of Sciences and the Department of Mathematics and Computer Science . He has been associated with the Institute for Logic, Language and Computation (ILLC) , contributing to interdisciplinary research at the intersection of computer science, mathematics, and logic. His research focuses broadly on: Computational Complexity Game Theory Information Theory Mathematical Logic Lattice-Based Algorithms NP-Complete Problems Van Emde Boas has taught courses such as Game Theory for Information Sciences and Information Theory over multiple academic years, including 2003/2004, 2004/2005, 2005/2006, and 2008/2009. His earlier works, including 1981 technical reports on integer programming and computational complexity, laid foundational insights for algorithmic research and lattice-based problem analysis. He maintains a professional affiliation with the ILLC and has contributed to academic events such as the Computability in Europe (CiE) Conference in 2011. His personal homepage and contact details reflect both academic and corporate engagements, including his role at Bronstee.com Software and Services B.V. .

Ulle Endrissمشاهده پروفایل

استاد

• Artificial Intelligence
• Collective Decision Making
• Computational Social Choice
• +۵ مورد دیگر

Ulle Endriss is a Professor of Artificial Intelligence and Collective Decision Making at the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam. He leads the COMSOC Group and is a member of both the Theoretical Computer Science research unit of the ILLC and the Centre for Explainable, Responsible and Theory-driven AI (CERTAIN). Endriss has held academic positions since 2005, progressing from Assistant Professor (2005-2011) to Associate Professor (2011-2019) and finally Full Professor since 2019. Endriss's research focuses on formal methods in AI, particularly in multiagent systems and knowledge representation, with special interest in computational social choice—the intersection of AI with economics and political science. His work spans voting theory, fair division, participatory budgeting, and game theory. He is actively involved in the ADDI project on digital democracy and regularly contributes to major AI conferences including AAMAS, IJCAI, and AAAI. His recent publications demonstrate a strong focus on computational social choice, with particular emphasis on voting systems, participatory budgeting mechanisms, and the theoretical foundations of collective decision making. His research combines theoretical rigor with practical applications in democratic processes and resource allocation problems. Runner-up for the Best Paper Award (2023) Best Paper Award (2016) Best Paper Award (2012) Best Paper Award (2005) Finalist for the Best Paper Award (2014) Finalist for the Best Paper Award (2008) IJCAI-JAIR Best Paper Prize 2016 Endriss regularly teaches courses on Computational Social Choice and Game Theory for MSc Logic and MSc AI programmes. He makes all his teaching materials openly available, consistent with his commitment to open access in both research and education. He has supervised numerous Master's theses that have led to published research. His work extends to outreach through platforms like Game-Academy.org and Pabuviz.org, which help explain complex voting concepts to broader audiences.

Malvin Gattingerمشاهده پروفایل

پژوهشگر

• Dynamic Epistemic Logic
• Model Checking
• Gossip Protocols
• +۴ مورد دیگر

Dr. Malvin Gattinger is a researcher at the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam, specializing in Theoretical Computer Science. His work focuses on applying formal logic to computational problems, with particular emphasis on dynamic epistemic logic and model checking techniques. He maintains an active research profile with numerous publications in leading venues, including recent work extending into 2025. Dr. Gattinger's research centers on the intersection of logic and computer science, particularly exploring how knowledge and information propagate in multi-agent systems. His work on gossip protocols has significantly advanced our understanding of information dissemination in distributed systems, while his contributions to symbolic model checking have made complex epistemic logic verification more computationally feasible. His research demonstrates both theoretical depth and practical application potential, especially in areas requiring formal verification of knowledge-based systems. Analysis of Dr. Gattinger's publication history reveals a consistent focus on epistemic logic and its computational applications. His work shows a clear trajectory from foundational theoretical work to increasingly sophisticated implementation techniques, with a notable emphasis on symbolic methods using Binary Decision Diagrams and Zero-suppressed Decision Diagrams. The recent inclusion of topics like topological evidence models and perspective shifts indicates expanding research horizons while maintaining core methodological approaches. His publications appear primarily in specialized logic and theoretical computer science venues, reflecting deep expertise in these domains. While no specific scientific awards are listed in the available information, Dr. Gattinger's research has clearly made significant contributions to the field of dynamic epistemic logic. His work on model checking implementation (SMCDEL) and GoMoChe represents practical tools that have likely advanced research capabilities in the community. The inclusion of Logic4Peace demonstrates engagement with broader social applications of logical methods. Dr. Gattinger appears to be actively involved in research supervision and collaboration within the ILLC environment. His work often involves computational implementations, suggesting involvement with research groups focused on logic-based computation. The consistent publication record spanning over a decade indicates sustained research productivity and likely involvement in multiple research projects and collaborations within the Theoretical Computer Science group at ILLC. Based on his research focus and publications, Dr. Gattinger is likely associated with research groups or labs working on formal methods, multi-agent systems, and logic-based computation at the University of Amsterdam. His work on SMCDEL and GoMoChe suggests involvement with teams developing computational tools for epistemic logic verification.

Ronald de Haanمشاهده پروفایل

استادیار

• Theoretical Computer Science
• Parameterized Complexity Theory
• Artificial Intelligence
• +۸ مورد دیگر

Ronald de Haan is an Assistant Professor at the Institute for Logic, Language & Computation (ILLC) , University of Amsterdam, with primary affiliation in Theoretical Computer Science (TCS) and secondary affiliation in Mathematical & Computational Logic (MCL) . Since December 2019, he has held this position, following a postdoctoral role at the same institution from 2017 to 2019. He completed his PhD at the Algorithms and Complexity Group at Technische Universität Wien in 2016. Education: PhD in Computer Science, Technische Universität Wien (2016) MSc in Computational Logic, European Master's Program in Computational Logic (2010–2012) BSc in Cognitive Artificial Intelligence & BA in Linguistics, Utrecht University (2007–2010) Research Interests: His work lies at the intersection of theoretical computer science and artificial intelligence , with a strong emphasis on parameterized complexity theory . He explores the computational complexity of problems in AI, knowledge representation & reasoning, and computational logic. Specific areas include the Polynomial Hierarchy, subexponential-time complexity, the Exponential Time Hypothesis, and parameterized compilability. Scientific Awards: E.W. Beth Dissertation Prize 2017 for his PhD thesis "Parameterized Complexity in the Polynomial Hierarchy" Shortlisted for the Heinz Zemanek Prize 2018 Nominated for the GI-Dissertationspreis 2016 by the German Informatics Society Teaching & Supervision: He has taught a wide range of courses at the University of Amsterdam, including Computational Complexity , Knowledge Representation and Reasoning , and Recursion Theory for MSc Logic and MSc AI programs. He also supervises student research projects and theses, offering topics in ASP, complexity theory, and logic programming. Academic Service: He has served on the program committees of top-tier AI and logic conferences such as AAAI, IJCAI, KR, ECAI, and AAMAS, and co-organized events like PhDs in Logic VII.

Hildeberto Jardón Kojakhmetovمشاهده پروفایل

استادیار

• Dynamical Systems
• Control Theory
• Mathematical Biology
• +۳ مورد دیگر

Hildeberto Jardón Kojakhmetov is an Assistant Professor in the Dynamical Systems, Geometry and Mathematical Physics (DSGMP) group at the Bernoulli Institute, University of Groningen. His research focuses on dynamical systems with multiple time scales, including applications in control theory, mathematical biology, neuroscience, and network science. He is particularly interested in slow-fast systems, bifurcation analysis, and the interplay between network structures and dynamical behavior. His research interests span theoretical and applied domains, emphasizing geometric singular perturbation techniques, hypergraph models, and the analysis of complex systems. Key areas include epidemic spreading on hypergraphs, co-evolutionary dynamics, and synchronization phenomena in heterogeneous networks. He also explores topological aspects of canards and singularities in fast-slow systems. Recent work trends highlight advancements in understanding multiscale dynamics through novel mathematical frameworks, such as tensor-based Hamiltonian systems and S-tensors for ecological models. His contributions address both foundational theory and practical applications in systems biology and network control. While no scientific awards are explicitly mentioned in available texts, his extensive publication record reflects a strong commitment to advancing nonlinear dynamics and complex systems research. His academic activities include organizing events like the Summer School on Multiscale Modelling and the Floris Takens Seminar.

• Supply Chain Management
• Operations Research
• Logistics Optimization
• +۳ مورد دیگر

Jalal Ashayeri is an on-call employee in the scientific staff at Tilburg University's Department of Economics and Management, part of the Tilburg School of Economics and Management. His work focuses on supply chain optimization, operations research, and logistics systems design. With over 25 years of research activity, he has contributed to 119 publications across journals, conferences, and book chapters. Key research areas include supply chain configuration, partner selection models, demand substitution analysis, and network redesign strategies. His recent work emphasizes collaboration between supply chain partners to address economic volatility and improve operational efficiency. He has supervised 3 academic works and led research projects like 'Supply Chain Downsizing Problem' (2010–2013) and 'Collaborative Strategies for Supply Chain Optimization' (2003–2007). Award-winning research includes high-impact studies on inventory systems (29 citations), joint venture formation (20 citations), and warranty network redesign (26 citations). His methodologies combine simulation modeling, goal programming, and advanced optimization techniques to solve real-world supply chain challenges.

Marten van Dijkمشاهده پروفایل

استاد

• Computer Security
• Cryptography
• Secure Processor Design
• +۷ مورد دیگر

Dr. Marten van Dijk is a Full Professor in the Computer Security department at Vrije Universiteit Amsterdam (VU) since 2022 and a Group Leader for Computer Security at CWI since 2020. He also holds a Gratis Full Research Professor position at the University of Connecticut's ECE Department since 2020. Previously, he served as Associate and Full Professor at the University of Connecticut and held research roles at MIT CSAIL, RSA Laboratories, and Philips Research. PhD in Mathematics (1997, Eindhoven University of Technology) M.S. in Mathematics (Cum Laude, 1993) M.S. in Computer Science (Cum Laude, 1991) His research focuses on foundational computer security problems using cryptographic principles, including secure processor design, oblivious computation, and privacy-preserving machine learning. Notable contributions span Physical Unclonable Functions (PUFs), Aegis secure processor architecture, and oblivious RAM protocols. 15+ publications in 2023-2025 address topics like PUF cryptanalysis, differential privacy in federated learning, and Byzantine fault tolerance Key journals: IEEE Transactions on Computers, Journal of Cryptology, ACM CCS Conference Award highlights include: IEEE Fellow (2022) for secure processor design and encrypted computation IEEE Technical Achievement Award (2023) Intel Test of Time Award (2022) ACM CCS Best Paper (2013) A. Richard Newton Technical Impact Award (2015) His technical leadership spans hardware security (blu-ray error correction codes), cryptographic protocol design, and machine learning privacy frameworks. Current projects focus on secure processors with hardware-enforced isolation and differential privacy optimization.

Monique Laurentمشاهده پروفایل

استاد

• Discrete Mathematics
• Optimization
• Polynomial Optimization
• +۵ مورد دیگر

Monique Laurent is a Tilburg University professor and senior researcher at CWI (Centrum Wiskunde & Informatica), focusing on discrete mathematics and optimization . Her work bridges algebra, geometry, and computer science to solve complex combinatorial and polynomial optimization problems. Part-time full professor at Tilburg University (since 2009) Group leader of Networks and Optimization at CWI (2005-2016) Current member of CWI Management Team Research Focus: Semidefinite programming hierarchies, noncommutative polynomial optimization, quantum information theory, and matrix factorization. Her recent work explores applications in quantum entanglement , graph parameters , and combinatorial data analysis . Key Publications: 15+ articles from 2017-2024 address topics like copositive matrices , sum-of-squares convergence , and hypergraph optimization . Collaborations span institutions in the Netherlands, France, Germany, and the U.S. Awards: 2023 Khachiyan Prize SIAM Fellow (2017) KNAW member (2018) EUROPT Fellow (2021) Grants & Projects: Leads EU-funded initiatives TENORS (2024) and POEMA (2019), with prior NWO and Marie Curie grants. Organizes international workshops on polynomial optimization and quantum information.

Lex Schrijverمشاهده پروفایل

استاد

• Discrete Mathematics
• Optimization
• Algorithms
• +۳ مورد دیگر

Lex Schrijver is a Professor of Mathematics at the University of Amsterdam since 1990 and a CWI-Fellow at Centrum voor Wiskunde en Informatica (CWI) since 1989. His research focuses on discrete mathematics, optimization, and algorithms, with significant contributions to graph theory, combinatorics, and coding theory. Research Interests: Discrete Mathematics, Optimization, Algorithms, Graph Theory, Combinatorics, Coding Theory. Awards: EURO Gold Medal (2015) Honorary Doctorate from Eotvos Lorand University (2011) Franz Edelman Award (2008) SIGMA Prize (2008) John von Neumann Theory Prize (2006) Spinoza Prijs (2005) Ridder in de orde van de Nederlandse Leeuw (2005) Lanchester Prize (2004, 1986) Fulkerson Prize (2003, 1982) Van Dantzig Prize - SIAM / MPS (2003) Eredoctoraat from University of Waterloo (2002) Projects: Involved in the Networks project, funded by the Netherlands Organisation for Scientific Research (NWO). Professional Activities: Fellow of the American Mathematical Society (AMS) and SIAM.

Cristian Dobreمشاهده پروفایل

دانشیار

• Semidefinite Programming
• Operations Research
• Combinatorial Optimization
• +۲ مورد دیگر

Cristian Dobre is an Associate Professor at the Tilburg School of Economics and Management , affiliated with the Department of Econometrics and Operations Research at Tilburg University. His research focuses on Semidefinite Programming , Operations Research , and Combinatorial Optimization . Research Interests: Specializing in symmetry exploitation in copositive programs, semidefinite relaxations for combinatorial problems, and applications in matrix algebra. Publications: His work includes key contributions to Mathematical Programming and Discrete Applied Mathematics , with a doctoral thesis on structured combinatorial optimization. Projects: Participated in semidefinite programming research projects between 2006 and 2011 as a researcher.

Jin-Kao Haoمشاهده پروفایل

استاد

• Algorithms and Analysis of Algorithms
• Optimization Theory and Computation
• Artificial Intelligence
• +۲ مورد دیگر

Jin-Kao Hao is a Professor of Computer Science at Université d'Angers , France, and a Senior Fellow of the Institut Universitaire de France . He specializes in computational methods for large-scale combinatorial optimization problems, with applications in computer science, artificial intelligence, and computational biology. Editorial Board Member: PeerJ Computer Science Research Affiliation: LERIA Laboratory , SFR MathSTIC Research Interests: His work spans algorithms, optimization theory, artificial intelligence, and computational biology. He develops advanced techniques for solving complex combinatorial problems, including parallel exact algorithms, dynamic thresholding, and metaheuristics. Publication Trends: Recent articles focus on feedback set problems, traveling salesman variants, gene-gene interactions, and scheduling. These align with his expertise in optimization, graph theory, and computational biology applications. Scientific Awards: Senior Fellow, Institut Universitaire de France Labs & Teams: Affiliated with the LERIA Laboratory at Université d'Angers and the SFR MathSTIC research federation.