جستجوی استاد راهنمای دانشگاهی

• Supply Chain Management
• Operations Research
• Sustainable Operations
• +۴ مورد دیگر

Dr. Reza Alikhani is an Assistant Professor of Operations and Supply Chain Management at the MBS School of Business in France. He holds a PhD in Production and Operations Management from the University of Tehran and has held postdoctoral and visiting research positions at EM Normandie Business School and DePaul University. His primary research focuses on applying operations research methodologies to optimize supply chain and logistics systems, with expertise in supply chain resilience, sustainable operations, and collaborative logistics. Education and Positions: PhD in Production and Operations Management, University of Tehran, Iran (2018) Postdoctoral Researcher at EM Normandie Business School Visiting Research Fellow at DePaul University, Chicago Research Interests: Dr. Alikhani’s work emphasizes supply chain resilience , sustainable operations , and collaborative logistics optimization . His studies often integrate fuzzy logic, stochastic programming, and multi-objective models to address uncertainties and strategic decision-making in supply chains. Recent trends in his publications highlight advancements in concurrent resilience strategies and cross-industry collaboration for logistics efficiency. Collaborations and Industry Links: He actively collaborates with international companies to enhance operational efficiency through innovative supply chain solutions. This bridges academic research with real-world applications, particularly in retail logistics and humanitarian relief considerations. Professional Contributions: Dr. Alikhani serves as an ad hoc reviewer for top-tier journals such as Production and Operations Management and European Journal of Operational Research , contributing to the rigor of supply chain literature.

Stefan Marrمشاهده پروفایل

پژوهشگر

• Concurrent Programming
• Language Implementation
• Virtual Machines
• +۶ مورد دیگر

Stefan Marr is a faculty member at the University of Kent, United Kingdom, focusing on Concurrent Programming , Language Implementation , and Virtual Machines . His research spans projects like optimizing interpreters, improving concurrency models, and enhancing profiling tools for dynamic languages. Projects : Royal Society Industry Fellowship (FastStart), EPSRC-funded CaMELot, Oracle Labs-funded Automatic Superinstructions. Collaborations : With students and researchers across institutions, including Shopify, Vrije Universiteit Brussel, and Johannes Kepler University Linz. His recent work emphasizes profiling reliability for Java, interpreter performance , and tooling for complex concurrent systems . Projects like SOM (Simple Object Machine) and its variants (SOM++, TruffleSOM, PySOM) highlight his commitment to language implementation research and education. Scientific Awards include fellowships and grants from the Royal Society, EPSRC, and Oracle Labs. His contributions to conferences as program committee member , steering committee , and workshop organizer further underscore his academic leadership.

• Software Engineering
• Model Driven Engineering
• Software Product Lines
• +۷ مورد دیگر

Jean-Marc Jezequel is a Professor of Software Engineering at University of Rennes , affiliated with CNRS , Inria , IRISA , and Institut Universitaire de France (IUF) . His research focuses on Model-Driven Engineering , Software Product Lines , Dynamic Adaptation , and Executable Meta-languages . Key Contributions : Pioneering work in aspect-oriented and model-driven approaches for software evolution Foundational research on model transformations (e.g., UMLAUT framework) Advances in testing and validation of distributed systems Research Trends from his recent publications include: Intelligent modeling assistance integrating machine learning Contextual variability modeling for complex systems Runtime model execution for self-adaptive systems Formal methods and constraint resolution for UML validation Collaborations include researchers from Luxembourg, Montreal, Colorado State University, and INRIA.

Inaya WAHIDIمشاهده پروفایل

استادیار

• Entrepreneurship
• Gender Equality
• Corporate Social Responsibility
• +۲ مورد دیگر

Inaya WAHIDI serves as an Assistant Professor of Management at IPAG Business School in Paris, where she has taught management sciences since 2009. She is an affiliated member of the IPAG Chair 'Toward an Inclusive Company' and became a member of UN Women France in 2023. Education: Ph.D. in Management Sciences, University of Western Brittany, France (2011) Her research program centers on entrepreneurship within crisis contexts, gender equality initiatives, and corporate social responsibility frameworks. WAHIDI's work particularly examines how Lebanese small and medium enterprises navigate multiple concurrent crises while maintaining business continuity and social impact. She investigates digital transformation adoption patterns among SMEs and women's health inclusion issues within challenging socioeconomic environments. Her recent publications reveal consistent focus on Middle Eastern business contexts, especially Lebanon, analyzing how organizations demonstrate resilience during political instability, economic collapse, and health crises. The research combines qualitative case studies with quantitative performance metrics to document adaptation strategies employed by entrepreneurs in fragile states. Professional Recognition: Certified in Entrepreneurship Development Skills for non-business Students (HECD/ECD/Florida State University) Certified in Management Consulting Essentials (2021, CMC/SMDC) Member of IPAG Chair 'Toward an Inclusive Company' Member of UN Women France (since 2023) WAHIDI actively mentors women and young students in entrepreneurship, notably through the Hult Prize international social entrepreneurship competition. She teaches Strategic Management, Introduction to Management, and Logistics and Supply Chain courses at IPAG Business School, bringing practical insights from her consulting certifications and field research into classroom instruction.

Tej Chajedمشاهده پروفایل

استادیار

• Formal Verification
• Systems Software
• Programming Languages
• +۴ مورد دیگر

Tej Chajed is an Assistant Professor in the Department of Computer Sciences at the University of Wisconsin-Madison, focusing on formal verification of systems software. His research bridges theoretical foundations and practical implementations to ensure software correctness in concurrent and crash-safe systems. Research interests include formal verification, concurrency, crash safety, and programming languages, particularly using Coq, Perennial, and Goose frameworks. He has contributed to systems like DaisyNFS, a verified file system with sequential reasoning, and Verus, a foundation for systems verification. His work appears in top venues like SOSP, OSDI, and PLDI. 2025: Dafny PC Member 2024: PLDI Committee Member, CoqPL Co-chair 2023: CoqPL Co-chair, POPL Program Committee He actively mentors students and develops tools for systems verification education, including extensive Coq-based course materials.

Umang Mathurمشاهده پروفایل

استادیار

• Formal Methods
• Concurrency
• Programming Languages
• +۴ مورد دیگر

Umang Mathur is an Assistant Professor at the National University of Singapore's School of Computing, where he leads the FOCS Lab and is affiliated with PLSE@NUS. His research focuses on Formal Methods , Concurrency , and Decidability in Programming Languages and Software Engineering . PhD in Computer Science from the University of Illinois at Urbana-Champaign (advisor: Prof. Mahesh Viswanathan) Former Research Scientist at Facebook Inc. and Research Fellow at the Simons Institute Recipient of Google PhD Fellowship, 2024 CPP Distinguished Paper Award, 2023 ACM SIGPLAN Award, and ASPLOS 2022 Best Paper Award His recent work explores algorithmic techniques for detecting concurrency bugs , decidable program verification , and synthesis , with a focus on weak memory models, predictive monitoring, and automata-theoretic approaches. Articles span topics like causal concurrency, tree clock data structures, and probabilistic counting algorithms, reflecting interdisciplinary intersections of logic and systems research. Scientific Awards Google PhD Fellowship 2024 CPP Distinguished Paper 2023 ACM SIGPLAN Distinguished Paper 2022 ASPLOS Best Paper 2018 ESEC/FSE Distinguished Paper He advises PhD students in Formal Methods and supervises teams in the FOCS Lab. Teaching includes advanced modules on Automata Theory, Logic, and Verification at NUS.

Petr Kuznetsovمشاهده پروفایل

استاد

• Distributed Systems
• Algorithms
• Synchronization
• +۳ مورد دیگر

Petr Kuznetsov is a Professor at Telecom Paris (Institut Polytechnique de Paris), affiliated with the Department of Computer Science and Networks (INFRES). He leads the Autonomous Critical Embedded Systems (ACES) research team at the Information Processing and Communication Laboratory (LTCI). His work bridges theoretical foundations and practical applications in distributed systems. Research Focus: Kuznetsov specializes in distributed algorithms, synchronization protocols, failure detection mechanisms, and the application of algebraic topology to distributed computing. His recent work explores Byzantine fault tolerance, blockchain consensus, and concurrency in networking infrastructures. Recent Publication Trends (2015-2025): His articles predominantly focus on scalability and resilience in distributed systems, with emerging themes in blockchain technologies, Byzantine fault tolerance, and concurrency optimization. Theoretical contributions include computability theorems and complexity bounds, while applied work targets payment systems and distributed ledgers. Awards & Honors: Best Paper Award at DISC 2019 for Scalable Byzantine Reliable Broadcast Best Student Paper Award at PODC 2018 for An Asynchronous Computability Theorem for Fair Adversaries Projects & Advising: He directs the TrustShare Innovation Chair (large-scale data synchronization) and DISCMAT (mathematical foundations of distributed computing). Actively seeks PhD candidates for projects on distributed algorithms and concurrency. Laboratory & Teams: Heads the ACES team at LTCI, focusing on critical embedded systems and fault-tolerant distributed architectures. Collaborates internationally through workshops like SPTDC.

Wenyu Douمشاهده پروفایل

استاد

• Digital Marketing
• Social Media Marketing
• International Business
• +۳ مورد دیگر

Professor Wenyu Dou serves as Academic Dean of SKEMA Business School China and holds the Chair Professorship in Digital Marketing & Chinese Social Media. He concurrently serves as Vice Dean at the International Joint Audit Institute (SKEMA x Nanjing Audit University) and Wenlan Chair Professor at Zhongnan University of Economics and Law. Previously, he held leadership roles at City University of Hong Kong, including Associate Dean for Graduate Programs and EMBA Director. His academic journey began with a Ph.D. in Marketing from the University of Wisconsin-Milwaukee. His research focuses on digital marketing, social media dynamics, and international business strategies. He has authored over 50 peer-reviewed articles in top journals like MIS Quarterly and Journal of International Business Studies , and published the seminal book Content Marketing in 2021. He leads the New Media Marketing Committee of the Chinese Marketing Association of Universities (CMAU) and founded the Annual New Media Marketing Conference. Professor Dou’s work bridges academic rigor and practical applications, addressing topics such as influencer marketing, consumer engagement in emerging markets, and the integration of IoT in brand management. His research has been recognized through editorial roles at Journal of Interactive Advertising and Journal of Advertising . He has held key administrative roles, including Academic Director of SKEMA China and leadership in undergraduate/graduate programs at CityU. His contributions span institutional collaborations, such as the SKEMA-NAU partnership, and academic leadership in cross-border education. His research interests also include organizational innovation, brand strategy in digital ecosystems, and the socio-cultural dimensions of marketing in China. He actively participates in global academic networks and has supervised numerous research initiatives at the intersection of technology and consumer behavior.

Deepak Gargمشاهده پروفایل

پژوهشگر

• Programming Languages
• Secure Compilation
• Type Theory
• +۷ مورد دیگر

Deepak Garg is a researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Germany. His work primarily focuses on secure compilation , type theory , and formal verification of software systems. Conference Roles: He has served as an author and committee member in premier programming language conferences such as POPL , PLDI , ICFP , and ESOP since 2015. Research Interests include: Secure compilation techniques for hyperproperty preservation. Modal and refined type theories for cost analysis and concurrency. Formal verification of C code and probabilistic programs. Compiler correctness and decentralized multi-language verification. Contributions span foundational research in programming languages, with a focus on security, complexity, and concurrency. His work has been published in tracks like PriSC , OOPSLA , and ESOP , addressing topics such as data-flow back-translation and robust property preservation.

• Programming Languages
• Formal Verification
• Compilers
• +۵ مورد دیگر

Clément Pit-Claudel is an Assistant Professor at École Polytechnique Fédérale de Lausanne (EPFL), leading the SYSTEMF lab focused on programming languages, formal methods, and systems engineering. His work bridges mathematical formalisms with practical system development to achieve full assurance in critical software and hardware. PhD in Computer Science from MIT (2016) William A. Martin Memorial Thesis Award recipient Former Senior Applied Scientist at Amazon AWS Teaching accolades including the Frederick C. Hennie III Teaching Award Research spans three axes: extensible proof-producing compilers for performance-critical systems, verified hardware compilation with cycle-accurate semantics, and interactive theorem prover tooling for democratizing verification technology. Key projects include Kôika for hardware verification, Alectryon for Coq proof visualization, and Fiat for correct-by-construction program synthesis. Recent publications address JavaScript regex verification (ICFP 2024), cryptographic server integration (PLDI 2024), and hardware simulation optimization (ASPLOS 2021). Articles demonstrate expertise in functional-to-imperative translation, domain-specific compiler extensions, and hardware-software co-verification. Scientific contributions recognized through: Distinguished artifact award (SLE 2020) MIT William A. Martin Thesis Award Frederick C. Hennie III Teaching Award Teaching philosophy emphasizes hands-on lab instruction , oral assessment , and automated tooling . Courses taught include Software Construction (undergraduate) and Interactive Theorem Proving (graduate) at EPFL. Research service includes program committee roles at Dafny, POPL, and SPLASH conferences.

Asta Halkjær Fromمشاهده پروفایل

پژوهشگر

• Formal Logic
• Automated Reasoning
• Theorem Proving
• +۱۳ مورد دیگر

Asta Halkjær From is a postdoctoral researcher in the Department of Computer Science at the University of Copenhagen, affiliated with the Software, Data, People & Society (SDPS) section under Dmitriy Traytel. She previously completed her PhD at DTU Compute from 2020 to 2023, focusing on formalized deduction methods in computational logic. She holds a Master’s and Bachelor’s degree from DTU in Computer Science and Software Technology, respectively, with a specialization in Artificial Intelligence and Algorithms. Her research lies at the intersection of formal logic and computer science, particularly in automated reasoning, proof assistants (Isabelle/HOL and Lean), and mechanized metatheory. She has contributed extensively to synthetic completeness proofs, tableau systems, and verified theorem provers. Her work emphasizes formal verification of logical systems, including epistemic logic, hybrid logic, and first-order logic, with a focus on soundness and completeness. The recent publications highlight a consistent trend: the mechanization of logical foundations in proof assistants. Her work bridges theoretical logic with practical verification tools, enabling reliable automation in theorem proving. She has developed and verified provers, explored axiomatic systems, and advanced the methodology of synthetic completeness, often leveraging Isabelle/HOL’s framework. Distinguished Paper Award, CPP 2023 DTU Young Researcher Award DTU Travel Grant (Executive Board Recognition) Otto Mønsted Fonden Travel Grant She has supervised BSc and MSc theses, special courses, and research projects at DTU, and currently teaches Software Development for Digital Health . She has served on program committees for CPP, ITP, and Dalí workshops and has reviewed for journals including Journal of Automated Reasoning and Journal of Logic and Computation . She has also participated in international research visits, including at VU Amsterdam. She is actively involved in building tools for formal reasoning and maintains a personal website with resources, including an Isabelle snippets generator and bibliography tools. Her work continues to advance the foundations of formal logic through mechanized proofs and practical automation.

Alexey Gotsmanمشاهده پروفایل

استاد پژوهش

• Distributed Systems
• Software Verification
• Consensus Algorithms
• +۵ مورد دیگر

Alexey Gotsman is a tenured Research Professor at the IMDEA Software Institute in Madrid, Spain, where he leads research at the intersection of software verification and distributed computing. He also works part-time as a visiting academic at Amazon Web Services. His educational background includes a Ph.D. from the University of Cambridge, where he was previously a postdoctoral fellow. His research spans theoretical foundations and practical implementations of distributed systems, with particular emphasis on fault tolerance, consensus algorithms, and consistency models. His research interests focus on the theoretical and practical aspects of distributed systems, including Byzantine fault tolerance, state machine replication, distributed transactions, and consistency models. His work bridges the gap between formal verification techniques and real-world distributed systems implementations, with numerous publications in top-tier venues like PODC, DISC, and NSDI. His recent publications show a clear progression from theoretical foundations to practical implementations, with increasing focus on real-world applications, performance considerations, and fault tolerance in large-scale distributed systems. The research demonstrates strong connections between formal methods and practical system design, particularly in the areas of consensus protocols, replication strategies, and transaction processing. Best paper award at OPODIS'23 Best paper award at DISC'18 Best paper award at CONCUR'12 EAPLS Best Dissertation Award Runner-up prize in the BCS Distinguished Dissertation Competition ERC Starting Grant 'RACCOON: A Rigorous Approach to Consistency in Cloud Databases' (2017-2022) Ramón y Cajal Fellowship (2017-2022) Alexey actively mentors PhD students including Alejandro Naser Pastoriza, Fedor Ryabinin, and Antonio José Fernández Pinto, while his alumni have gone on to faculty positions at institutions like University of Paris 7 and University of Colorado Boulder, as well as industry roles at companies like ARM and Informal Systems. He has received significant funding including an ERC Starting Grant and served on program committees for numerous top conferences including POPL, DISC, and PODC. He currently co-organizes the International Symposium on Distributed Computing (DISC) and has been instrumental in organizing workshops focused on consistency in distributed systems. His research group at IMDEA Software Institute focuses on developing rigorous approaches to consistency in cloud databases and distributed systems, with active projects spanning theoretical analysis, protocol design, and practical implementation of fault-tolerant distributed systems.

Brigitte Pientkaمشاهده پروفایل

استاد

• Type theory
• Programming languages
• Logical frameworks
• +۷ مورد دیگر

Brigitte Pientka is a Full Professor in the School of Computer Science at McGill University, where she leads the Computation and Logic group. She received her PhD from Carnegie Mellon University in 2003, and previously studied at the University of Edinburgh and Technical University of Darmstadt. Her educational background includes: PhD from Carnegie Mellon University (2003) Studies at the University of Edinburgh Studies at Technical University of Darmstadt Dr. Pientka's research focuses on developing theoretical and practical foundations for building and reasoning about reliable, safe software systems. She combines theoretical research on logical foundations of computer science in programming languages and verification with system building. Her work spans logics (classical and non-classical), type theory, theorem proving, logic and functional programming, and logical frameworks. She has made significant contributions to the field of contextual types and mechanized metatheory. Her recent publications demonstrate a strong trend toward modal type theory, contextual types, and session types, with applications to functional programming, verification, and meta-programming. She has made significant contributions to the Beluga system, which explores how to combine functional programming with dependently-typed, higher-order data specified in the logical framework LF. Her work often bridges theoretical foundations with practical implementations for mechanized reasoning. Dr. Pientka has received several notable awards: Humboldt Fellowship Test of Time Award @ PPDP'18 for 'Programming with proofs and explicit contexts' Best student paper award at ICLP'03 She is actively involved in mentoring and academic service, having served as PC Chair for ICFP'24, CPP'23 and CPP'24, and as General Chair for POPL'20. She is an Executive Editor of Logical Methods in Computer Science and serves on the editorial boards of the Journal of Functional Programming and ACM Transactions of Computational Logic. She leads the Computation and Logic group at McGill University, which focuses on developing theoretical and practical foundations for reliable software systems through research in logical frameworks, type theory, and programming language design.

• Software Engineering
• Cybersecurity
• Formal Methods
• +۵ مورد دیگر

Role & Affiliation: Jean-Christophe BACH is an Associate Professor at IMT Atlantique's Computer Science department since 2015. He leads the PASS research group (IRISA) and focuses on software security, model-driven engineering, and cybersecurity applications. Previously, he held roles as a teaching assistant (ATER) at University of Lille (2014–2015) and completed his PhD on model transformations at Inria/LORIA under Pierre-Étienne Moreau and Marc Pantel (defended 2014). Research Interests: His work centers on improving software trustworthiness through 'security by design' principles. Key areas include model federation, formal methods for software verification, transformation traceability, and cybersecurity in industrial systems. He actively contributes to frameworks like Openflexo and PAMELA, emphasizing practical tooling for secure systems engineering. Teaching & Education: Teaches advanced topics such as object-oriented design, functional programming (OCaml), concurrency modeling, and cybersecurity. Supervises student projects on Openflexo, game development, and network security (IPv6/Tor). Courses include INF301, INF447, and others. Labs & Collaborations: Engaged with IRISA and Lab-STICC research centers. Collaborates on projects like the European Space Agency's SSE4Space framework for secure space missions and the Quarteft project (aerospace software). Active in open-source initiatives and scientific mediation for K-12 programming education.

Stephen Chongمشاهده پروفایل

استاد

• Programming Languages
• Information Security
• Language-based Security
• +۳ مورد دیگر

Stephen Chong is a Gordon McKay Professor in the Harvard John A. Paulson School of Engineering and Applied Sciences , where he co-directs the Undergraduate Studies in Computer Science program. His research intersects programming languages and information security , focusing on language-based security frameworks. Education : PhD in Computer Science from Cornell University (2008), B.Sc.(Hons) and B.A. from Victoria University of Wellington (New Zealand). Research : Develops tools like Formulog (Datalog + SMT for static analysis) and Accrue (Java interprocedural analysis), emphasizing security guarantees proportional to programmer effort. Grants : Funded by NSF , DARPA , AFOSR , and Google Faculty Research Award . Recent publications focus on neurosymbolic approaches (e.g., Guess & Sketch ), Datalog synthesis (e.g., Making Formulog Fast ), and quantitative robustness in cyber-physical systems. His group has pioneered formal methods for secure assembly transpilation and sensor attack modeling. Awards : NSF CAREER Award AFOSR Young Investigator Award Sloan Research Fellowship Advising : Supervised numerous PhD and senior thesis students, including Aaron Bembenek , Anitha Gollamudi , and Lucas Waye . Mentored projects like AbcDatalog (multi-threaded Datalog engine) and Shill (secure shell scripting). Labs/Teams : Leads the Programming Languages at Harvard group, collaborating with institutions globally. Organized workshops (e.g., NSF Workshop on Formal Methods for Security ) and chaired committees at conferences like CSF , POPL , and PLDI .