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

Benjamin Monmegeمشاهده پروفایل

دانشیار

• Formal Methods
• Verification and Synthesis of Software
• Automata Theory
• +۳ مورد دیگر

Benjamin Monmege is an Associate Professor at Aix-Marseille Université (AMU), holding the habilitation to direct research. He is affiliated with the Laboratoire d'Informatique et Systèmes (LIS) and part of the MOdelisation and VErification research team. His work focuses on formal methods for software verification and synthesis, with special emphasis on quantitative aspects of formal languages, automata theory, game theory, and grammatical inference. He contributed to tools like MightyL (for MITL logic translation) and QuantiS (for quantitative specifications verification). Recent research includes robust controller synthesis in timed automata, dynamics on routing games, and decidability in weighted timed games. He has advised three PhD students: Damien Busatto-Gaston, Théodore Lopez, and Julie Parreaux. Monmege teaches in AMU's Computer Science and Interactions Department, co-responsibilizing the Portail Descartes. Courses include 'Logique' (BSc), 'Automates' (MSc), and foundational computer science modules. His international collaborations include postdoctoral work at ULB (2015) and participation in MOVE seminars. His research has been published in venues like Logical Methods in Computer Science, FSTTCS, and CONCUR, with notable work on algorithmic game theory, real-time systems, and formal verification techniques.

Pantelis Frangoudisمشاهده پروفایل

پژوهشگر

• Mobile/Wireless Networking
• Edge Computing
• Network Softwarization
• +۴ مورد دیگر

Pantelis Frangoudis is a PostDoctoral Researcher at the Distributed Systems Group of the Vienna University of Technology since 2019. His academic journey includes a Ph.D. in Computer Science (2012), M.Sc. (2005), and B.Sc. (2003) from the Department of Informatics, Athens University of Economics and Business (AUEB) , Greece. His research spans Edge Computing , IoT , Network Softwarization , Federated Learning , and Wireless Networking , focusing on adaptive systems and security. Education B.Sc. in Computer Science (2003), AUEB M.Sc. in Computer Science (2005), AUEB Ph.D. in Computer Science (2012), AUEB His research explores Edge Computing Continuum systems, with emphasis on QoS-aware orchestration , serverless edge deployment , and self-adaptive IoT services . Recent work addresses federated learning for 6G , WebAssembly for edge serverless , and dynamic resource allocation in heterogeneous environments. Key projects include AloTwin (2023–2025), INTEND (2024–2026), and EDENSPACE (2019–2022). His publications (2025–2020) cover machine learning for 5G/6G , MEC application orchestration , and IoT security , with a focus on distributed systems and edge-cloud collaboration . Scientific Awards ERCIM Alain Bensoussan Post-Doctoral Fellowship He has supervised multiple diploma theses at TU Vienna, including topics like serverless edge computing , traffic light AI optimization , and vertical farming IoT systems . His collaborations with institutions like EURECOM (France) and IRISA/INRIA (France) reflect a global academic footprint.

• Artificial Intelligence
• Knowledge Representation and Reasoning
• Logic Programming
• +۵ مورد دیگر

Tomi Janhunen is a Professor in Computing Sciences at Tampere University, part of the Faculty of Information Technology and Communication Sciences. His expertise spans Artificial Intelligence, Logic Programming, and Theoretical Computer Science. He actively contributes to academic leadership roles, serving on boards of the Finnish Association of Computer Science and Finnish Artificial Intelligence Society. His research focuses on Answer Set Programming (ASP), probabilistic reasoning systems, explainable AI, and optimization techniques applied to cybersecurity and maintenance scheduling. Key grants include the XAILOG and AI-ROT projects funded by the Research Council of Finland. Notable achievements include three prestigious awards: Best Paper Awards at the European Conference on Logics in AI (2021) and International Conference on Logic Programming (2023), and the Harold Boley award for system description (2022). Dr. Janhunen’s work emphasizes practical applications of declarative programming paradigms. Recent projects include Plingo—a probabilistic ASP system—and cybersecurity compliance frameworks in DevSecOps environments. His contributions bridge theoretical advancements with real-world challenges in AI security and industrial optimization.

Kim Guldstrand Larsenمشاهده پروفایل

استاد

• Modeling
• Verification
• Performance analysis
• +۴ مورد دیگر

Kim Guldstrand Larsen is a Full Professor in Computer Science at Aalborg University, Denmark, a position he has held since 1993. He serves as director of CISS, the Centre for Embedded Software Systems, a national center of excellence bridging industry and research since 2002, and holds leadership roles in multiple international research initiatives. His academic credentials include a Cand.Scient. in Mathematics and Computer Science from Aalborg University (1982) and a PhD in Computer Science from Edinburgh University, Scotland (1986). His career includes visiting professorships at institutions including Uppsala University, École Normale Supérieure in Cachan, and University of Twente. Professor Larsen's research centers on modeling, verification, and performance analysis of real-time and embedded systems, with foundational contributions to concurrency theory and model checking. Since 1995, he has led development of UPPAAL, a widely adopted verification tool, and co-founded UP4ALL International. His work spans theoretical foundations to practical applications in cyber-physical systems. His publication portfolio exceeds 200 peer-reviewed papers and 12 software tools, with his research showing consistent focus on formal methods for real-time systems evolving toward quantitative analysis and cyber-physical applications, as evidenced by his H-index of 58 (highest in Denmark for Computer Science). Honorary Doctor (Honoris causa), Uppsala University (1999) Danish Citation Laureates Award (2005) Thomson Scientific award as most cited Danish Computer Scientist (1990-2004) Ridder af Dannebrog (Knight of the Order of the Dannebrog) (2007) Honorary Doctor (Honoris causa), Ecole Normal Superieure De Cachan, Paris (2007) Professor Larsen currently supervises 7 PhD and 7 post-doc students, having previously guided over 20 PhD and 12 post-doc researchers to completion. His significant research funding includes leadership of the DaNES project, VKR Center of Excellence MT-LAB, national ICT Innovation Network InfinIT, and the Danish-Chinese Basic Research Center IDEA4CPS. He leads the Modeling and Validation Cluster within the EU/IST Network of Excellence ARTIST Design and directs multiple research centers focused on embedded software systems, maintaining active roles in editorial boards, conference steering committees, and national research councils.

Joseph M. Orrمشاهده پروفایل

دانشیار

• Cognitive Neuroscience
• Affective Science
• Executive Function
• +۵ مورد دیگر

Joseph M. Orr is an Associate Professor in the Department of Psychological & Brain Sciences at Texas A&M University , where he has served since 2015. He is also a Training Faculty at the Texas A&M Institute for Neuroscience (2016–present) and currently holds the position of Associate Department Head . His research focuses on the psychological and neural mechanisms of executive functions , particularly how humans adapt to environmental and goal changes through cognitive flexibility , task switching , and reward-driven behavior . Education : Ph.D. in Psychology (2011), University of Michigan, advised by Daniel Weissman and William Gehring. Research Themes : Executive function, cognitive flexibility, reward processing, fatigue, dopamine, addiction, psychosis, and spatial cognition in altered gravitational environments. Dr. Orr leads the Cognitive Neuroscience of Goals and Actions Laboratory (CONGAlab) , which employs behavioral approaches , computational modeling , non-invasive brain stimulation , pupillometry , and neuroimaging (MRI, EEG/ERP) . His work has been funded by the National Science Foundation (NSF 1928695) , Texas A&M Triads for Transformation, and NIH grants. He has contributed to understanding task-set inertia , reconfiguration , and goal-directed behavior through over 45 peer-reviewed publications. Scientific Awards : Fellow, Psychonomic Society (2019–present) Kirschstein National Research Service Award (NIH F32DA034412) APA Summer Undergraduate Research Opportunity Grant Research Trends : Analysis of cognitive flexibility mechanisms, impact of reward and feedback on task switching, neuroimaging of psychosis risk populations, and applications of brain stimulation techniques. Key subfields include voluntary task selection , dopamine modulation , non-invasive brain stimulation , and adaptive spatial cognition interfaces . Service & Leadership : Served on promotion/tenure committees, strategic planning, and the institute's Membership Committee . Organized the ARMADILLO Southwest Regional Conference and contributed to curriculum development and diversity initiatives.

Pedro Barahonaمشاهده پروفایل

استاد مهمان

• Constraint Satisfaction Problems (CSP)
• Satisfiability (SAT) Solving
• Artificial Intelligence
• +۳ مورد دیگر

Prof. Pedro Barahona is a former Visiting Professor at the International Center for Computational Logic (ICCL) , affiliated with the Faculty of Computer Science at TU Dresden. His research focuses on translating Constraint Satisfaction Problems (CSP) into Satisfiability (SAT) frameworks, with contributions to encoding techniques and algorithmic optimization. His work bridges formal logic, artificial intelligence, and computational complexity. Key publications (2013-2014) address SAT-based approaches for CSP constraints, hierarchical hybrid encodings, and efficient logical translations. Though listed as a former member, his contributions remain part of the ICCL's research portfolio. No awards or grants are explicitly noted in the provided materials.

• Constraint Programming
• Artificial Intelligence
• Algorithms
• +۵ مورد دیگر

Matthew McIlree is a PhD Student and Tutor at the School of Computing Science , University of Glasgow , with research expertise in constraint programming, algorithm certification, and formal verification. His work focuses on advancing proof logging techniques for constraint solvers, certifying dynamic programming algorithms, and generating human-readable explanations for computational problems ranging from logic puzzles to industrial optimization. Key themes in his research include integer multiplication constraints , pseudo-boolean reasoning , and minimal unsatisfiable subsets (MUSes) . Recent publications highlight his contributions to certified constraint propagation algorithms dynamic programming verification explanation generation for pen-and-paper puzzles His academic output spans conferences in constraint programming, artificial intelligence, and operations research. He is currently engaged in developing formal verification systems for combinatorial algorithms and exploring applications of constraint programming in both theoretical and applied problem-solving domains.

• Algorithm Design
• Stable Matching
• Combinatorial Optimization

Rob Irving is Honorary Research Fellow in Computing Science at University of Glasgow. Research focuses on stable matching problems, combinatorial optimization, and algorithmic solutions to resource allocation challenges. Core contributions include extensions to stable roommates problem and sex-equal matching algorithms. Publications analyze matching under preferences with applications in education, labor markets, and healthcare. Developed efficient algorithms for student-project allocation, fixture scheduling, and rank-maximal matching. Collaborations include healthcare logistics and school placement systems. Methodological innovations integrate graph theory, optimization techniques, and game-theoretic approaches to solve complex matching problems with constraints.

• Formal Verification
• Model Checking
• Sensor Systems
• +۳ مورد دیگر

Ivaylo Valkov is a Lecturer in the School of Computing Science at the University of Glasgow, having joined the academic staff in June 2024. He completed his PhD in Computing Science at the University of Glasgow in 2024 under Prof. Alice Miller, focusing on formal analysis of wireless sensor systems. Prior to this, he earned a Master's degree in Computing Science and Mathematics from the same university in 2018. His research emphasizes rigorous mathematical analysis of software and hardware systems, particularly through model checking techniques. Key areas include system verification, sensor networks, combinatorial problems, and probabilistic model checking. Valkov has contributed to advancements in overtaking planning algorithms, symmetry reduction methods, and optimization of scheduling problems like the social golfer problem. His publications (6 items) span peer-reviewed journals like Science of Computer Programming and Symmetry , as well as conferences such as SPIN 2024 and FMAS 2021. While no specific awards are listed, his work reflects sustained engagement with formal methods and their applications in real-world systems. Valkov teaches Algorithms and Data Structures at the Master's level and co-teaches Software Engineering and Research Methods courses. His teaching aligns with his research focus on logical problem-solving and systematic analysis.

Marie-Laure Potetمشاهده پروفایل

استاد

• Cybersecurity
• Formal Verification
• Fault Injection Analysis
• +۳ مورد دیگر

Marie-Laure Potet is a Professor in the Department of Computer Science at the University of Grenoble Alpes, affiliated with Grenoble INP and the VERIMAG research laboratory. Her work focuses on cybersecurity, formal verification, and fault injection analysis in embedded systems. She leads research on secure compilation, vulnerability detection, and countermeasure design against hardware and software attacks. Her research projects include the PEPR Cybersécurité/ARSENE and SECUREVAL initiatives, aiming to enhance security evaluation for embedded systems. She has developed tools like FISSC and Lazart for fault injection analysis and secure code validation. Her contributions span academic conferences (ESOP, CAV, FDTC) and industry collaborations through projects like SACADE and SECURIoT. Potet's work bridges formal methods with practical security applications, emphasizing compositional refinement and tool-based verification. Her lab's activities include analyzing software robustness, developing secure protocols, and advancing methodologies for liability and accountability in software systems.

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

استادیار

• Smart Cities
• Virtual Communities
• Electronic Business
• +۵ مورد دیگر

Honglei Li is an Assistant Professor at the Computer and Information Sciences Department of Northumbria University. He holds a PhD in Information Systems from the Chinese University of Hong Kong (2007), an MPhil in Information Systems from Nanjing University (2000), and a BSc in Mathematics from Nanjing University (1997). His research focuses on virtual communities, smart cities, electronic business systems, and AI applications. Key themes include loyalty development in health communities, peer-to-peer energy trading platforms, and social media business models like TikTok's livestream commerce. He explores behavioral psychology in online environments and blockchain for e-government security. Recent work highlights include developing LSTM-based personality recognition models (2025), analyzing object localization in VQA systems (2024), and studying mobile health community dynamics in China (2024). His 2018 Science and Technology Progress Award recognizes contributions to systems analysis methodologies. He chairs the UK Academy for Information Systems and supervises PhD projects on AI-driven smart city applications. Current research integrates machine learning with energy market analysis and digital health interventions.

Anders Miltnerمشاهده پروفایل

استادیار

• Program Synthesis
• Automated Refactoring
• Automated Verification
• +۱ مورد دیگر

Anders Miltner is an Assistant Professor in the School of Computing Science at Simon Fraser University (SFU), specializing in programming languages and automated reasoning. He holds a PhD in Computer Science from Princeton University (2020), an MA in Mathematics from the University of Pennsylvania (2013), and a BSE in Computer Science and Mathematics from the same institution (2013). His research focuses on program synthesis, automated refactoring, and functional programming, aiming to automate tedious aspects of programming to enhance developer productivity. Education: PhD, Computer Science, Princeton University, 2020 MA, Mathematics, University of Pennsylvania, 2013 BSE, Computer Science and Mathematics, University of Pennsylvania, 2013 Research Interests: Program synthesis, automated refactoring, automated verification, and functional programming. He explores how tools can automate programming tasks to allow developers to focus on core algorithms. Projects include Burst (program synthesis), Hanoi (data structure verification), and Type-Directed Refactorings (syntax-independent refactorings). Scientific Awards: NSERC Discovery (2023) NSERC Discovery Launch Supplement (2023) POPL Distinguished Paper Award (2022) PLDI Distinguished Paper Award (2020) Advising & Grants: Mentors PhD students Clement Wan and Ellenor Taghayor, and MSc/undergraduate students. Leads projects funded by NSERC grants and a Microsoft Research fellowship. Serves on conference committees for PLDI, POPL, and others. Labs & Teams: Collaborates on the Hanoi project (representation invariant generation) within the Tangent Lab, involving institutions like UCLA and UT Austin.

Dongbin Xiuمشاهده پروفایل

استاد

• Stochastic Computations
• Uncertainty Quantification
• Numerical Methods
• +۳ مورد دیگر

Professor Dongbin Xiu is a faculty member at The Ohio State University's Department of Mathematics, holding the position of Ohio Eminent Scholar. Previously, he has served at institutions such as the University of Utah and Purdue University. His research focuses on stochastic computations, uncertainty quantification, high-order numerical methods, and data assimilation. Dr. Xiu earned his Ph.D. in Applied Mathematics from Brown University, followed by M.S. and B.S. degrees in Mechanical Engineering and Mechanics. His work is supported by grants from NSF, AFOSR, DOE, and DARPA. He has authored a notable book on numerical methods for stochastic computations and holds several awards, including the NSF CAREER Award and Purdue University's Teaching for Tomorrow Award. His publications emphasize innovative approaches in uncertainty quantification, including stochastic collocation methods, polynomial chaos, and machine learning integration. He serves on editorial boards of journals such as the SIAM Journal on Scientific Computing and the International Journal for Uncertainty Quantification.

Andreas Zellerمشاهده پروفایل

استاد

• Software Security
• Automated Software Debugging
• Software Testing and Analysis
• +۳ مورد دیگر

Andreas Zeller is a Full Professor of Computer Science at Saarland University and a faculty member at CISPA Helmholtz Center for Information Security in Germany. His research focuses on software engineering, automated debugging, and software testing/analysis, with foundational contributions like Delta Debugging and the SZZ algorithm. He has held academic positions since 2001 and leads projects funded by ERC grants, including the 'Semantics of Software Systems (S3)' initiative. Education: Ph.D. in Computer Science (1997, focused on software versioning). Research interests include mining software repositories, input grammar inference, fuzzing, and open science practices. He has authored influential papers (e.g., 'Mining Software Histories to Guide Software Changes' with over 1,700 citations) and interactive textbooks like The Fuzzing Book and The Debugging Book . Key awards include ACM Fellow (2010), ERC Advanced Grants (2011, 2023), and multiple 10-Year Most Influential Paper Awards. His group at CISPA/Saarland includes PhD students and postdocs working on testing, debugging, and security.

Marcus Vinicius Pereira Pessoaمشاهده پروفایل

دانشیار

• Systems Engineering
• Model-Based Systems Engineering (MBSE)
• Systems Design
• +۷ مورد دیگر

Marcus Vinicius Pereira Pessoa is an Associate Professor specializing in Systems Engineering & Multidisciplinary Design. His work bridges advanced systems design methodologies with innovative approaches to engineering education. He is actively involved in research and academic events related to systems engineering, model-based design, and pedagogical transformation. Academic Rank: Associate Professor Department: Systems Engineering & Multidisciplinary Design His research interests center on systems engineering, model-based systems engineering (MBSE), product and systems design, and the application of gamification and real-world problem-solving in engineering education. He explores how structured methodologies like MBSE can support decision-making in complex domains such as mission configuration and technology adoption in small and medium enterprises (SMEs). The recent publications highlight a dual focus: advancing technical frameworks in systems engineering—such as tradespace exploration and STEP standard extensions—and innovating in educational practices through game-based learning and redesigned project management curricula. These works reflect interdisciplinary engagement across computer science, engineering, and education. Marcus has contributed to major conferences such as the INCOSE International Symposium and the SEFI Annual Conference, demonstrating active participation in the global engineering education and systems engineering communities. His collaborative efforts with researchers from various institutions emphasize practical applications in industry settings. Participated in SEFI 2023 Conference Contributed to oral presentations on SME technology adoption Served as examiner in academic defenses While no specific grants or advising roles are detailed, his publication record and conference involvement suggest ongoing supervision and project leadership. His work with SMEs and educational tools indicates potential funding from innovation or educational reform programs. Marcus is also engaged in developing software applications for learning, evolving from card games to digital platforms, showcasing a commitment to accessible and interactive education. Though no formal lab or research group is named, his network includes collaborators in systems engineering and engineering education, suggesting participation in a broader research team focused on practical and pedagogical advancements in engineering disciplines.