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

Sylvie Coste-Marquisمشاهده پروفایل

مدرس

• Knowledge Representation and Reasoning
• Artificial Intelligence
• Argumentation Frameworks
• +۵ مورد دیگر

Sylvie Coste-Marquis is a Lecturer at the Institute of Technology of Lens, part of the University of Artois. Her research focuses on knowledge representation, argumentation frameworks, and computational logic, particularly in artificial intelligence applications. PhD in Computer Science (1994) from Henri Poincaré University of Nancy Co-supervised three PhD theses on argumentation systems, QBF, and speech recognition Administrative roles: Vice-President for Digital Affairs (2016-), Project Manager (2012-2016), and Head of IT Department (2010-2013) Her work explores abstract argumentation, belief revision, and quantified Boolean formulae, with recent contributions to enforcing extensions via optimization and translating argumentation frameworks. She actively participates in program committees for top-tier conferences like IJCAI and COMMA. She has contributed to ANR projects on multi-agent argumentation, configurable product recommendation, and preference handling in combinatorial domains. Her teaching includes modules on computer systems, object-oriented design, and AI, with recognized innovations in educational methods.

Eric Reinerمشاهده پروفایل

استاد مدعو

• Finance
• Financial Engineering
• Formal Methods
• +۳ مورد دیگر

Eric Reiner serves as an Adjunct Professor of Finance and Faculty Director of the Master of Financial Engineering program at UCLA Anderson School of Management. His unique academic profile bridges finance and formal methods, combining financial engineering expertise with advanced computational verification techniques. Dr. Reiner's research spans two distinct domains: traditional finance and formal methods in computer science. His work in formal methods focuses on satisfiability modulo theories (SMT), bit-precise reasoning, and model checking, with publications appearing in leading formal methods venues. This unusual interdisciplinary approach suggests innovative applications of verification techniques to financial systems, potentially addressing challenges in algorithmic trading verification, risk model validation, and financial protocol security. Analysis of his recent publications (2022-2024) reveals a strong focus on improving SMT solver capabilities, particularly for bit-vector reasoning and user extensibility. His work shows progression from theoretical foundations toward practical industrial applications, with increasing attention to proof generation, solver performance optimization, and machine learning techniques for algorithm selection. The consistent publication record in formal methods venues indicates deep technical expertise that complements his finance role. As Faculty Director of the Master of Financial Engineering program, Dr. Reiner oversees curriculum development that likely integrates both traditional finance knowledge and cutting-edge computational verification methods. This distinctive combination prepares students to develop and validate complex financial algorithms with mathematical rigor, addressing growing industry needs for verified financial technologies.

• Network Architectures
• Network Protocols
• Information Security and Assurance
• +۴ مورد دیگر

Sonia Fahmy is a Professor and Associate Department Head in the Department of Computer Science at Purdue University. She joined Purdue in 1999 and was recently elevated to IEEE Fellow status. Fahmy is a member of CERIAS (Center for Education and Research in Information Assurance and Security) and has made significant contributions to network architectures and protocols research. Research Interests: Design and evaluation of network architectures and protocols Network support for virtual reality applications Network measurement and management Cellular networks optimization and security Network experimentation methodologies Professor Fahmy's research has evolved to address emerging challenges in networking, with recent work focusing on virtual reality networking, 5G security, and quality-of-experience optimization. Her publications reveal a consistent trajectory from fundamental network protocol design toward addressing the specific requirements of modern applications like VR and volumetric video streaming. Scientific Awards: IEEE Fellow National Science Foundation CAREER Award (2003) Professor Fahmy has successfully mentored numerous PhD students who have gone on to careers at leading technology companies and academic institutions. Her research has been supported by substantial funding from the National Science Foundation, Department of Homeland Security, and industry partners including Cisco, Meta, Juniper Networks, and AT&T. She leads several active research projects including network support for virtual reality applications (NSF and Meta projects), network measurement and management (Juniper Networks and GENI Project), cellular networks security (NSF projects), and network experimentation (DHS and NSF projects).

• Industrial Engineering
• Operations Research
• Optimization
• +۵ مورد دیگر

Shunichi Ohmori , a Professor at the Faculty of Science and Engineering , Waseda University , holds a Doctorate in Engineering from the same institution. His academic journey includes continuous affiliation with Waseda University since 2011, currently serving as a faculty member and concurrently as Director of Research Institute at the Institute of Global Production & Logistics (2022-2026). Education: Doctorate (2009-2012), Master's (2007-2009), and Bachelor's (2004-2007) from Waseda University His research focuses on industrial engineering and operations research , with specific interests in optimization , facility planning , logistics , and supply chain management . He has developed innovative frameworks for: Robust supply chain design under disruption risks Multi-echelon inventory optimization 3D facility layout planning with pipeline arrangements Collaborative vehicle routing cost allocation Green product portfolio strategies under uncertainty His publication record demonstrates expertise in stochastic optimization (15+ peer-reviewed papers) and heuristic algorithms (14+ conference proceedings). He has received multiple Best Paper Awards (2012-2016) and contributed to curriculum development through courses like Advanced Facilities Planning , Supply Chain Transformation , and Logistics at both undergraduate and graduate levels.