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

Maya Ramanath is an Associate Professor in the Department of Computer Science and Engineering at Indian Institute of Technology (IIT) Delhi. She joined IIT Delhi in 2011 after a postdoctoral research stint at the Max-Planck Institute for Informatics in Germany. Her research interests focus on database systems, information retrieval, semantic web technologies, and knowledge graph construction and applications. Education: PhD in Computer Science, Indian Institute of Science, Bangalore M.Sc.(Engg.) in Computer Science, Indian Institute of Science, Bangalore B.E. in Computer Science and Engineering, Bangalore University, Bangalore Her recent work emphasizes efficient query processing over large-scale graphs, knowledge graph applications, and natural language interfaces for semantic data. Notable contributions include algorithms for reachability approximation in web-scale graphs, speculative query planning for knowledge graphs, and exploratory querying techniques. She has collaborated extensively on projects like NAGA, ESTHETE, and KlusTree, advancing the state of the art in graph-based data management and semantic search. Publications span conferences such as ICDE, ECIR, EDBT, and VLDB, reflecting a strong focus on database systems, graph algorithms, and semantic web applications. Her work bridges theoretical foundations with practical implementations, addressing scalability and efficiency challenges in modern data management systems. Research and advising activities include supervision of projects on distributed graph processing, query optimization, and knowledge representation. She has contributed to open-source tools like LegoDB and StatiX, and her lab focuses on interdisciplinary approaches to data-centric AI.

• Database Systems
• Information Retrieval
• Semantic Web Data Management
• +۳ مورد دیگر

Stefania Dumbrava is an Associate Professor of Computer Science at ENSIIE (École Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise) and a permanent member of the ACMES team in the SAMOVAR laboratory at Télécom SudParis, Institut Polytechnique de Paris. She is also actively involved in the Property Graph Schema Working Group and the European Research Network on Formal Proofs (EuroProofNet). Education PhD in Computer Science, Université Paris-Sud (2016) MSc in Computer Science, Jacobs University Bremen (2012) BSc in Mathematics, Jacobs University Bremen (2010) Research Interests Dumbrava's research lies at the intersection of formal methods and data management . She designs and verifies algorithms and systems for graph databases , with emphasis on property graphs , schema discovery , query optimization , and distributed graph processing . Recently, her work focuses on certifying large-scale distributed graph systems under the ANR JCJC VERDI project (2025–2029). Awards & Honors SIGMOD Best Paper Award 2023 – “PG-Schema: Schemas for Property Graphs” SIGMOD Research Highlight Award 2023 – “Threshold Queries” VLDB 2022 Best Regular Research Paper Runner-Up – “Threshold Queries in Theory and in the Wild” SIGMOD 2025 Distinguished Reviewer Award ICDE 2025 Best Program Committee Member Award EASST Best Software Science Paper Award, ICGT 2025 Students & Grants Dumbrava has supervised numerous research interns and is actively recruiting PhD students for her ANR VERDI project on verified foundations of large-scale distributed graph systems. She has also served on six PhD thesis committees as examiner since 2021. Labs & Teams She leads the ACMES research group within the SAMOVAR laboratory (Télécom SudParis, Institut Polytechnique de Paris), where her team develops formally verified graph-database engines and tools such as GRASP, VerDILog, and DatalogCert.

• Formal methods for databases
• Graph databases
• Property graphs
• +۷ مورد دیگر

Bryan Parno is a Professor at Carnegie Mellon University in the Departments of Electrical & Computer Engineering and Computer Science . He is the recipient of the Kavčić-Moura Chair and leads the Secure Foundations Lab , focusing on end-to-end secure systems through formal verification. Research spans secure systems , applied cryptography , distributed systems , and zero-knowledge proofs Developed Verus (verified Rust systems) and Project Everest (verified HTTPS stack) Key contributions include Ironclad , Flicker , and Pinocchio , with impacts on Intel CPUs and Windows/iOS security models His work emphasizes open-source tools and reproducibility , often published in top venues like POPL, PLDI, and IEEE S&P. Recent projects address WebAssembly security and formal verification of complex distributed systems . Major Awards Jay Lepreau Best Paper Award (OSDI 2025) IEEE Cybersecurity Award for Practice (2024) Sloan Research Fellowship (2018) Test-of-Time Awards (IEEE S&P 2023, IEEE S&P 2020) Best Paper Awards at USENIX Security, OOPSLA, and PLDI

• Secure Systems
• Formal Software Verification
• Verifiable Computation
• +۷ مورد دیگر

Éric Tanter is a Full Professor in the Computer Science Department (DCC) at the University of Chile, where he also leads the PLEIAD Lab. He holds an Inria International Chair (2025–2029) and is an Associate Researcher at the Millenium Institute for Foundational Research on Data (IMFD). His academic leadership includes prior roles as Director and Deputy Director of the DCC, and Coordinator of the PhD Program in Computer Science. His research centers on programming languages and software engineering, with a strong focus on gradual typing, type systems, program verification, and secure programming. He explores both theoretical foundations and empirical practices, aiming to bridge the gap between static and dynamic language paradigms. His recent work emphasizes gradual verification, refinement types, and applications in proof assistants and security. The trends in his recent publications show a deep engagement with foundational aspects of gradual and dependent typing, often aiming to enhance the reliability and security of software systems. These works frequently involve formalization in proof assistants like Coq and explore applications in differential privacy, secure interoperability, and symbolic execution. Inria International Chair (2025–2030) Best Paper Awards at POPL 2019, OOPSLA 2018, ICFP 2018, MSR 2011, AOSD 2010, SBLP 2008, DAIS 2006 Most Influential/Most Notable Paper Awards at DLS, Programming, DLS Facebook Research Testing and Verification Award (2018) Google Faculty Research Awards (2015, 2016) Best Professor Award, University of Chile (2011) Éric Tanter has advised numerous PhD and Master’s students, many of whom have gone on to publish influential work in top venues. He has led multiple research projects funded by FONDECYT, ANID, INRIA, and other national and international agencies. His service includes editorial roles in journals such as the Journal of Functional Programming and Science of Computer Programming, and extensive participation in program committees of major conferences like POPL, ICFP, and OOPSLA. He leads the PLEIAD Lab at the University of Chile, a research group focused on programming languages, software engineering, and formal methods. The lab fosters collaboration with international institutions and emphasizes both theoretical rigor and practical impact.

• Programming Languages
• Gradual Typing
• Software Engineering
• +۹ مورد دیگر

Nofar Carmeli is a researcher at Inria , affiliated with the Boreal joint project-team (LIRMM, Inria, University of Montpellier, CNRS) in Montpellier, France. Her work focuses on theoretical aspects of database query optimization, particularly through the lenses of fine-grained complexity and enumeration complexity. PhD from Technion (2015-2020), advised by Prof. Benny Kimelfeld Postdoctoral Researcher at ENS Paris (2021-2022) and Inria's Valda project-team Holds the Schmidt Postdoctoral Award (2021-2022) Her research explores optimal algorithms for database query answering, including direct access to ranked answers, quantile computation, and handling of conjunctive queries with self-joins or negation. She investigates how structural properties of queries and data constraints like functional dependencies affect computational complexity. Key contributions include: Establishing tractability boundaries for direct access to conjunctive queries Developing efficient algorithms for minimal triangulation enumeration Advancing probabilistic database representations for infinite domains Creating explainable opinion graph frameworks for review summarization Scientific awards: Google PhD Fellowship (2019) Schmidt Postdoctoral Award (2021-2022) PODS Best Student Paper (2019) She has served on program committees for STACS (2025), PODS (2023-2025), and ICDT (2022-2024), and contributed to open-access research dissemination through Arxiv and dblp.

• Database Query Optimization
• Fine-Grained Complexity
• Enumeration Complexity
• +۲ مورد دیگر

Saarthak Singh is a Lecturer at the École française d'Extrême-Orient (EFEO) in Paris, specializing in South Asian art history. His research focuses on medieval Central India, examining architectural history, epigraphic practices, and cultural constructions of difference. He holds a PhD from New York University (2023) supervised by Finbarr Barry Flood, and previously trained at the University of St Andrews and SOAS. Before joining EFEO in 2024, he initiated a postdoctoral project at Ghent University (2023-2028) on architectural studies of coexistence and conflict supported by the Flanders Science Foundation. His research explores: Landscape and urban development in medieval Indian cities Epigraphic traditions and material culture of writing Architectural transformations of religious spaces Cross-cultural exchanges in pre-modern South Asia Talismanic objects and performative traditions Recent publications focus on Sultanate-era architecture, epigraphic practices, and cultural ecology, demonstrating consistent engagement with material culture and spatial politics in medieval South Asia. His work frequently employs interdisciplinary approaches combining art history, archaeology, and textual analysis. Awards include: Association of Art Historians Award (2015) UC Berkeley Dissertation Prize in Art History (2024) He co-directed a British Library-funded digitization project (2021-2023) on Sufi archives in Madhya Pradesh and teaches courses on Indian architecture, material culture, and pre-colonial history. Current research includes the Central India Research Group and Asia Registrations Online databases.

• Art History
• South Asian Studies
• Architectural History
• +۵ مورد دیگر

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.

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

Imene ZAIDI is a Teacher-researcher at CESI engineering school in France, affiliated with the Engineering and Digital Tools research team. Her work bridges computer science and operational research with practical applications in sustainable transportation systems. Her academic background includes: Doctorate in Optimized management of electric vehicle fleet charging from University of Haute-Alsace (2022) Engineering Diploma in Computer Systems from ex.INI Algiers (2018) ZAIDI's research centers on optimization challenges in electric mobility, particularly electric vehicle charging scheduling. She develops computational approaches including heuristics, metaheuristics, and exact algorithms to address grid capacity constraints, demand satisfaction, and energy maximization in unbalanced power systems. Her work integrates operational research with real-world transportation and energy infrastructure challenges. Analysis of her 2020-2024 publications reveals consistent focus on preemptive scheduling, computational complexity, and multi-objective optimization in electric vehicle ecosystems. The research demonstrates increasing sophistication from foundational scheduling models to grid-integrated solutions addressing three-phase power imbalances and capacity limitations. She teaches computer science courses including Object-oriented programming, Algorithms, Databases, Embedded systems, Web development, and Information systems to engineering and bachelor's students across multiple academic levels. The Engineering and Digital Tools research team at CESI provides the collaborative framework for her investigations into decision support systems for sustainable mobility and energy-efficient transportation solutions.

• Optimization
• Operational Research
• Electric Mobility
• +۳ مورد دیگر

Frédéric Keck is a Research Fellow at the French National Centre for Scientific Research (CNRS) and heads the Social Anthropology Laboratory (Laboratoire d'Anthropologie Sociale, LAS) at the École des hautes études en sciences sociales (EHESS). He specializes in medical anthropology, focusing on health crises, zoonoses, and biosecurity. His work bridges philosophy, epidemiology, and ecological studies, with notable research on avian flu in Hong Kong and pandemic preparedness. Education: PhD in Philosophy (2003) from University of Lille-III DEA in Philosophy (1999) from University of Paris X-Nanterre Aggregation in Philosophy (1997) Exchange at UC Berkeley (1998-1999) Research Themes: Biopolitics, food risks, scientific networks, ecological disasters, conservation, and zoonotic diseases. His interdisciplinary approach spans anthropology, epidemiology, and policy analysis, with a focus on how scientific expertise shapes global health governance. Publications: Over 20 books and articles, including A World with Flu (2010), Pandemic Sentinels (2020), and works on avian influenza's societal impacts. His writing emphasizes the interplay between human and animal health, surveillance systems, and cultural perceptions of risk. Awards: CNRS Bronze Medal (2011), Fyssen Foundation Grant (2007), and membership in the Canadian Institute for Advanced Research (2015). Roles: Directed the Musée du Quai Branly's research department (2014–2018) and currently leads LAS. Engaged in global health initiatives and collaborative projects on veterinary anthropology and disaster preparedness. Labs/Teams: LAS (CNRS UMR 7130), collaborating with international networks on biosecurity, zoonoses, and environmental anthropology.

• Biopolitics
• Food Safety
• Health Crises
• +۴ مورد دیگر

Philippe Cathé is a Professor at Sorbonne University, specializing in 20th-century French music (1870-1950), harmonic analysis via Nicolas Meeùs' theory of harmonic vectors, and the interplay of sound and image in cinema. He teaches seminars on harmonic vectors and courses on tonality, analytical methods, and music-cinema relationships at both Sorbonne and New York University. His research integrates theoretical innovation with extensive repertoire analysis, spanning from Renaissance to pop music. His publications focus on Charles Koechlin and Claude Terrasse, with notable works including co-edited volumes like Charles Koechlin, Composer and Humanist (Vrin, 2010) and monographs such as 500 Years of Harmonic Music (HDR thesis, 2012). He co-developed the Charles software for harmonic vector analysis. Scientific Awards: Manuscript Prize of the General Council of the Rhône (2003) Conference Organization: Co-organized multiple Petites Biennales de Musique Française and international symposia on musicology, including topics like harmonic vectors and film music. Radio Work: Regular contributor to France-Musique programs on French operetta and composers like Terrasse and Koechlin.

• 20th Century French Music
• Harmonic Analysis
• Music and Cinema Studies
• +۳ مورد دیگر

Ioan Todinca is a Professor of Computer Science at the University of Orléans, France, affiliated with the LIFO (Laboratoire d'Informatique Fondamentale d'Orléans) research laboratory. His academic career spans over two decades, with significant contributions to theoretical computer science, particularly in graph algorithms and distributed computing. Faculty of Science, University of Orléans LIFO Research Laboratory Member of Institut thématique pluridisciplinaire Modélisation, Systèmes, Langages (since 2014) Former director of MIPTIS doctoral school (2012-2014) Former head of Computer Science degree program (2007-2011) Former leader of LIFO Graphs, Algorithms and Computational Models team (2008-2012) Todinca's research focuses primarily on graph algorithms, with expertise in exact algorithms (moderately exponential), parameterized algorithms, and algorithms for specific graph classes. He has made significant contributions to techniques involving tree decompositions, treewidth, minimal separators, and potential maximal cliques. More recently, his work has expanded into distributed algorithms, especially in communication-constrained models like the broadcast congested clique. His research bridges theoretical foundations with practical algorithmic approaches for NP-hard problems. The analysis of his recent publications reveals a strong trend toward distributed computing problems, particularly in congested network models. His work spans from fundamental graph theory problems (cycle detection, graph modification) to applications in quantum computing and model checking. The consistent focus on communication complexity, verification, and efficient algorithms across different computational models demonstrates his ability to adapt theoretical computer science principles to emerging computational paradigms. Todinca has supervised numerous PhD students and has been actively involved in the theoretical computer science community through conference organization and editorial work. His publications appear consistently in top-tier venues including SIAM Journal on Computing, Algorithmica, and proceedings of major conferences like STACS, WG, and DISC. Teaching responsibilities include algorithms, graph theory, and discrete structures for undergraduate and graduate students, with previous experience teaching databases, programming, and software engineering. His educational materials are hosted on the university's Celene platform.

• Graph Algorithms
• Theoretical Computer Science
• Exact Algorithms
• +۶ مورد دیگر

Dr. Kaveh MOHAJERI is an Associate Professor at IÉSEG School of Management, specializing in the Management of Information Systems. His academic career includes a Ph.D. from Virginia Commonwealth University (2015), a Master’s in IT Management from University of Tehran (2008), and a Bachelor’s in Industrial Management (2005). Research Focus: Dr. Mohajeri’s work centers on IT-driven organizational changes, research relevance, and methodological advancements. Key themes include secondary analysis of qualitative data, digital transformation dynamics, and statistical significance in empirical studies. His research bridges theoretical frameworks with practical implications in information systems. Publications Trend: Recent articles emphasize computational methods in qualitative analysis, dialogical models of organizational change, and critical discussions on research relevance. His work often intersects with broader debates in IS methodology and technology adoption theories. Awards: VCU 5-Year Service Award (2015) VCU School of Business Dean’s Scholar Award (2015) ICIS 2013 Doctoral Consortium Participant (2013) Teaching & Roles: Teaches Excel (expert level), Management of Information Systems, and Database Systems in the Grande Ecole (Master’s) program. Active in curriculum development and pedagogical innovation within the IS domain.

• Information Systems
• Organizational Change
• IT Management
• +۳ مورد دیگر

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.

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

Daniel Foliard is a Researcher at the Université de Paris within the Department of Arts and Visual Culture - History and Civilization . His work focuses on the history of photography, British colonial history (19th-20th centuries), and the intersection of colonialism with knowledge production and visual culture. Research interests include the politics of colonial archives, the role of photography in imperial projects, and the ethical dimensions of representing historical trauma. He has contributed to debates on digital humanities methods for analyzing colonial visual materials, particularly through computational approaches to image databases like the EyCon Dataset. Recent publications emphasize contested colonial narratives, the materiality of photographic archives, and the interplay between violence and visual representation. Key themes include the violence of colonial photography , the memory of conflict , and the reconstruction of silenced histories . Foliard collaborates with institutions like the LARCA (Laboratoire d'Analyse et de Récits des Cultures et des Arts) and maintains an active presence in academic publishing, including special issue curation and critical reviews of historical scholarship on imperialism and visual culture.

• History of Photography
• Colonial History
• British History (19th-20th Century)
• +۳ مورد دیگر

Amel MAMMAR is a Professor at Telecom SudParis, specializing in formal methods and software verification. Her work focuses on applying the Event-B method to model and verify critical systems such as automotive systems, railway signaling, and cloud applications. She has contributed extensively to the development of formal approaches for ensuring correctness in embedded systems, smart contracts, and security protocols. Her research integrates formal modeling with tools like SAGEMATH for hybrid systems analysis and ProB for policy validation. MAMMAR collaborates on projects involving requirements engineering, safety-critical systems, and access control mechanisms. Her key contributions include Event-B models for automotive exterior lighting systems, railway standards (ERTMS/ETCS), and cloud resource allocation. She has published widely in venues like the International Journal on Software Tools for Technology Transfer and IEEE Transactions, emphasizing formal verification techniques for safety and security. Her work bridges theoretical formal methods with practical applications in industry sectors like transportation and aerospace.

• Formal Methods
• Software Verification
• Computer Security
• +۳ مورد دیگر