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

Manik Varma is a Distinguished Scientist and Vice President at Microsoft Research India, and an Adjunct Professor at the Indian Institute of Technology Delhi. He is a Fellow of the Indian Academies of Science (IASc, INSA, NASI), the Indian National Academy of Engineering (INAE), and the Association for Computing Machinery (ACM). He has received prestigious awards such as the Shanti Swarup Bhatnagar Prize and Microsoft Gold Star Award. Education : BSc in Physics from St. Stephen's College (David Raja Ram Prize) BA in Theoretical Physics from the University of Oxford (Rhodes Scholar) DPhil in Computer Vision and Machine Learning from the University of Oxford (University Scholar) Post-doctoral Fellow at the Mathematical Sciences Research Institute (MSRI), Berkeley Visiting Miller Professor at UC Berkeley His research focuses on Machine Learning (Extreme Classification, Resource-efficient ML, Supervised Learning), Information Retrieval (Computational Advertising, Dense Retrieval, Recommender Systems), and Computer Vision (Image Search, Object Recognition). Recent work includes graph-regularized encoders, label variance reduction, and multimodal classification frameworks. His publications span extreme classification algorithms like NGAME , SiameseXML , and DECAF , with applications in IoT, web search, and recommendation systems. He leads a research group at Microsoft Research India and advises PhD students at IIT Delhi. Scientific Awards : Shanti Swarup Bhatnagar Prize (Government of India) Microsoft Gold Star and Achievement Awards WSDM 2019 Best Paper Prize BuildSys 2019 Best Paper Runner-up Fellow of ACM, IASc, INSA, NASI, INAE He has supervised numerous PhD students, including Sonu Mehta and Suchith Prabhu, and collaborates with institutions like Microsoft Research India, IIT Delhi, and UC Berkeley. His research has led to scalable solutions for billion-label classification and resource-constrained IoT applications.

• Machine Learning
• Deep Learning
• Information Retrieval
• +۱۶ مورد دیگر

James R. Eagan is an Associate Professor in the Computer Science and Networks Department (Infres) at Télécom Paris , part of the Institut Polytechnique de Paris. He is also a Visiting Professor at the University of Colorado, Boulder for the 2024–25 academic year. His research focuses on making computers more expressive tools for human interaction, emphasizing malleable software, collaborative dynamic media, and multi-surface environments. His work spans Human-Computer Interaction , Data Visualization , and User Interface Programming . A key theme involves adapting software for user-driven customization, exemplified by projects like Webstrates (shareable dynamic media) and SchemeLens (semantic zoom for technical diagrams). He also explores uncertainty in data analytics and gesture-based interfaces for experts. Recent publications from 2020–2024 address Explainable AI (XAI) , Financial Crime Detection , and Interactive Data Analysis . His tools Tarantula and SchemeLens have received acclaim, including the 2015 ACM SIGSOFT Impact Award and Best Paper at UIST 2015. Scientific accolades include: Prix de l’Impact 2015 d’ACM SIGSOFT Best Paper Award at UIST 2015 Honorable Mention at CHI 2017 He teaches courses in Mobile Application Development , Human-Computer Interaction , and Data Visualization . His lab, DIVA (Design, Interaction, Visualization & Applications), operates within the Information Processing and Communication Laboratory (LTCI). He actively recruits PhD candidates and postdocs for research in these domains.

• Human-Computer Interaction
• Data Visualization
• Software Adaptability
• +۴ مورد دیگر

Stefano NASINI is an Associate Professor at the University of Lille 3, specializing in Quantitative Methods within the Economics and Mathematics Sciences. He holds a HDR (Habilitation à Diriger des Recherches) from the University of Lille 3 (2021), a Ph.D. in Statistics and Operations Research from the Polytechnic University of Catalonia (2015), and a Master in Statistics (2011). His research focuses on optimization, complex networks, statistical inference, and microeconomic applications. He has held academic positions including a post-doctoral role at IESE Business School (2014–2016) and a visiting researcher role at the University of Lisbon (2014). His work spans scheduling optimization, network analysis, financial contagion modeling, and energy system planning. Key contributions include specialized algorithms for large-scale optimization problems and frameworks for decentralized portfolio management. He is a member of the LEM research group and teaches courses in optimization, econometrics, and social network analysis at the Grande École and MSc levels. Publications highlight interdisciplinary applications, including network-based diffusion models, multi-market financial strategies, and dynamic choice analysis. His research bridges theoretical advancements in operations research with practical challenges in economics, energy, and transportation systems. No scientific awards are explicitly listed in the provided materials. His advising roles and grants are not detailed here, but his extensive publication record reflects active collaboration within academic and applied domains.

• Optimization
• Complex Networks
• Statistical Inference
• +۳ مورد دیگر

Fabian Suchanek is a full professor at Institut Polytechnique de Paris, specifically affiliated with Télécom Paris. He leads research in the Data, Intelligence, and Graphs (DIG) team within the Computer Science department. His academic career focuses on bridging artificial intelligence with structured knowledge representations. Suchanek's research interests span artificial intelligence, knowledge bases, and natural language processing, with particular emphasis on knowledge graph construction , rule mining , knowledge-based language models , and explainable AI . His work demonstrates how structured knowledge can enhance machine learning systems, particularly large language models, by providing factual grounding and interpretability. The research group he leads develops practical systems that address real-world knowledge management challenges. His recent publications showcase a strong trajectory in knowledge-intensive AI, with notable contributions to knowledge graph completion, rule mining techniques, and neural approaches to knowledge base validation. The research demonstrates increasing integration between symbolic and neural approaches to AI. Best Student Paper Award at KR 2024 for work on contextual reasoning Best Demo Award of IJCAI 2024 for rule mining in knowledge graphs French Open Research Award for the YAGO project Best Paper Award of ESWC 2021 for Neural Knowledge Base Repairs Suchanek has secured significant research funding, evidenced by his active recruitment of PhD students for knowledge-based language model research. He has held visiting positions, including at Nanyang Technological University (June-September 2023), and is recognized internationally through keynote invitations such as the Singapore ACM SIGKDD Symposium 2023. He has deliberately stepped back from administrative duties at Institut Polytechnique de Paris to focus on research. His laboratory maintains strong industry connections through open-source software projects including the YAGO knowledge base, AMIE for rule mining, STACI for explainable AI, and several other tools that have become standard in knowledge representation research.

• Artificial Intelligence
• Knowledge Bases
• Natural Language Processing
• +۳ مورد دیگر

Deian Stefan is an Associate Professor at the University of California San Diego (UCSD) in the Department of Computer Science and Engineering . His research spans security , programming languages , and systems , with a focus on building principled and practical secure systems. He has served as a co-founder and Chief Scientist at Intrinsic (acquired by VMWare) and contributed to standards bodies like the W3C WebAppSec and Node.js Security Working Groups . His research interests include: Secure Systems : Web frameworks, browser designs, sandboxing, runtime systems Language-Based Security : Constant-time programming, memory safety, information flow control Verification : Security verification, static/symbolic analysis tools WebAssembly and JavaScript JITs security Deian Stefan has received multiple scientific awards , including several Distinguished Paper Awards at venues like POPL, ICFP, and USENIX Security, as well as the IEEE Cybersecurity Award for Practice (2022) and CSAW 2020 First Place for Applied Research. He has taught courses on Computer Security (CSE 127, CSE 227) and advanced topics in Building Secure Systems (CSE 291) using Rust, WebAssembly, and blockchain security. His work has been supported by collaborations with industry and academia, including projects like RLBox and COWL .

• security
• programming languages
• systems
• +۷ مورد دیگر

Anne BOUTIN is a Research Director at the French National Center for Scientific Research (CNRS) and Professor at the École Normale Supérieure (ENS) in Paris, France. She leads the Department of Chemistry at ENS, focusing on the thermodynamics of confined fluids and molecular simulations of porous materials like metal-organic frameworks (MIL-53, ZIF-8) and zeolites. Education: Habilitation (1999), PhD in Chemical Physics (1992), Graduate of École Normale Supérieure (1992), MSc (1990) – all from University of Paris XI, Orsay. Positions: CNRS Research Fellow (1994–2009, University of Paris XI; 2009–present, ENS), Visiting Scientist at UC Santa Barbara (1999), Postdoctoral at Imperial College London (1993–1994). Research spans thermodynamic modeling of adsorption-induced structural transitions, polarizable force fields for charged materials, fluid dynamics in nanopores, and stability analysis of flexible frameworks. Google Scholar highlights recent work on electrolyte intrusion (2023) and defect impacts in zeolites (2023). Publications emphasize computational approaches to water confinement , gas separation , and material flexibility . Her 41+ peer-reviewed articles reflect expertise in Monte Carlo , molecular dynamics , and force field development . Awards: Nathalie Demassieux PhD Award (1993) CNRS Bronze Medal (1999) Legion of Honor (2017) Teaching: Statistical thermodynamics. Students: Supervised 17 PhD/postdoc directions.

• Thermodynamics
• Molecular Simulation
• Porous Materials
• +۶ مورد دیگر

Mohamed Amara is a full-time Professor at the University of Pau and the Pays de l'Adour (UPPA) since 1996, affiliated with the Laboratory of Mathematics and their Applications (CNRS-UMR 5142). He served as its director (1999-2007), Director of the Doctoral School of Exact Sciences (ED211, 2007-2008), and UPPA's Scientific Council Vice-President (2008-2012). He has been UPPA's President since 2012 (re-elected until 2020). Education: Mathematics from University of Algiers (1973), Pierre and Marie Curie University (DEA 1974, Doctorate 1978, State Doctorate 1983) Academic Roles: Research Associate at Ecole Polytechnique (1978-1982), Algerian Electricity and Gas Company (1983-1992), Professor in Algiers (1988-1994), Tunis (1994-1995), and Associate Professor at Paris 6 (1995-1996) His research focuses on numerical simulation of partial differential equations for environmental/energy applications, including mechanics in porous media (petroleum engineering, geoscience), fluid mechanics (aerodynamics, estuarine hydrodynamics), non-Newtonian flows, and wave propagation. Articles highlight expertise in discontinuous Galerkin methods, Helmholtz problems, finite element discretization, and multiphysics systems. He managed 20 doctoral theses and led national mathematics programs at ANR (2007-2011). He chairs the Cocktail association for higher education IT systems and collaborates with INRIA's Magique 3D team (since 2006).

• Partial Differential Equations
• Mechanics in Porous Media
• Fluid Mechanics
• +۵ مورد دیگر

Joseph Eremondi is an Assistant Professor in the Department of Computer Science at the University of Regina, Faculty of Science, Canada. He began his tenure in 2024 after serving as a Royal Society Newton International Fellow at the University of Edinburgh, where he conducted postdoctoral research with Ohad Kammar in the Laboratory for Foundations of Computer Science. He earned his PhD from the University of British Columbia (UBC) under the supervision of Ron Garcia at the UBC Software Practices Laboratory. His research is centered on programming languages theory, with a strong focus on type systems that enhance software reliability and usability. He is particularly known for his work in dependent types, gradual typing, and the integration of both paradigms. His research interests include: Dependent pattern matching and its semantic foundations Gradual dependent types and approximate normalization Error message generation and usability in dependently typed languages Static analysis using set constraints and SMT solvers Theoretical properties of reversal-bounded counter automata and shuffle operations His recent publications, appearing in premier venues like POPL, ICFP, and CPP, reflect a consistent trajectory toward making advanced type systems more accessible and practical. Key themes include coverage semantics for dependent pattern matching, formal models of gradual dependent typing, and improving the developer experience through better tooling and error diagnostics. Notable scientific recognitions include the NSERC Discovery Grant (awarded in 2025) and the prestigious Royal Society Newton International Fellowship. These awards underscore the impact and promise of his research program on the usability of dependently typed programming languages. Joseph is actively mentoring and recruiting graduate students, particularly in areas such as dependently typed programming (Lean, Agda, Idris, Coq), gradual typing, live programming environments, and static analysis. He emphasizes close collaboration within a small, focused research group. He has also served on program committees, including for TyDe and POPL Artifact Evaluation, demonstrating active engagement in the programming languages community. His work bridges theoretical rigor with practical implementation, evident in his artifact releases on GitHub and integration with tools like Ott and DrRacket. He maintains a personal website and open-source repositories that support reproducibility and community involvement.

• Programming Languages
• Type Theory
• Dependent Types
• +۱۲ مورد دیگر

Freddy Bouchet is a Directeur de Recherche at CNRS and a Professeur attaché at École Normale Supérieure de Paris (ENS-PSL). His work bridges mathematical physics, climate science, data science, and statistical mechanics , focusing on turbulent flows, climate extremes, and large deviation theory . He will lead the Laboratoire de Météorologie Dynamique (LMD) starting 2025. Research Themes : Statistical mechanics of geophysical flows (Jupiter's jets, ocean currents). Large deviation theory for rare events in turbulence and climate. Non-equilibrium phase transitions in atmospheric/oceanic systems. Ensemble inequivalence in systems with long-range interactions. Scientific Awards : Three Physicists Prize Collaborations : Tapio Schneider, Antoine Venaille, J. Laurie, O. Zaboronski, B. Dubrulle, A. Venaille. Labs & Teams : Climate and Statistical Mechanics group at ENS de Lyon Future director of Laboratoire de Météorologie Dynamique (LMD/IPSL) Publications span climate dynamics, turbulence, statistical mechanics, and large deviation theory , with applications to Jupiter's atmosphere, ocean vortices, and non-equilibrium systems . His work often challenges paradigms like Tsallis non-extensive statistics.

• Statistical Physics
• Climate Dynamics
• Turbulence
• +۵ مورد دیگر

Daniel Varro is a Professor affiliated with McGill University (Faculty of Engineering, School of Computer Science), with strong ties to Budapest University of Technology and Economics and Linköping University. He is a leading researcher in model-driven engineering, cyber-physical systems, and software engineering, actively contributing to top-tier conferences such as MODELS, ICSE, and ASE. His research focuses on model-based systems engineering (MBSE) , automated model generation , model transformations , and constraint-based consistency checking . Recently, his work has expanded into integrating large language models (LLMs) and machine learning into modeling workflows, including model querying, domain modeling, and bug detection. The recent publications reveal a strong trend toward AI-augmented modeling, logic-based solvers (e.g., Refinery), and safety assurance of autonomous systems (e.g., COLREGs compliance). His work bridges formal methods with practical software engineering challenges in industrial and safety-critical domains. Scientific Awards: No specific awards mentioned in the text. Advising and Grants: While no explicit list of students or grants is provided, his mentorship in the Doctoral Symposium and repeated leadership roles suggest active supervision and likely grant funding. He has led projects on automated model generation, model quality, and AI integration in modeling. Labs and Teams: Daniel Varro is associated with research groups focused on model-driven engineering and software evolution, likely leading or co-leading teams working on the VIATRA and Refinery frameworks for model transformation and solving.

• Model-Based Systems Engineering
• Cyber-Physical Systems
• Software Engineering
• +۱۲ مورد دیگر

Hélène Morlon is a Professor at the Biology Department of École normale supérieure (ENS) - PSL Research University Paris. She leads the Biodiversity Modeling team within the Center for Computational Biology, focusing on integrating ecological and evolutionary processes to explain biodiversity patterns through mathematical and bioinformatics approaches. Specializes in molecular phylogenies, speciation, extinction, and dispersal mechanisms Collaborates with mathematicians, phylogeneticists, and field ecologists Her research reveals non-equilibrium dynamics in biodiversity, challenging classical models by demonstrating speciation rate declines and climate-driven phenotypic evolution. She has developed probabilistic models applied to amphibians, mammals, birds, plants, and microorganisms. Scientific Awards: ERC Consolidator Grant (2013) Chaire d'Excellence en biologie/santé (France Innovation Santé 2030) ERC Advanced Grant (2024) for project PlankDiv Her work bridges macroecology, macroevolution, and conservation biology, with notable contributions to understanding tropical biodiversity gradients and climate impacts on evolutionary rates.

• Ecology
• Evolutionary Biology
• Computational Biology
• +۷ مورد دیگر

Cezary Kaliszyk is a Professor in Theoretical Computer Science at the University of Melbourne, previously affiliated with the University of Innsbruck. He is actively involved in research and leadership in formal methods, automated reasoning, and machine learning for theorem proving. Research Interests: Automated Reasoning and Interactive Theorem Proving Formalized Mathematics and Proof Automation Machine Learning for Logic and Theorem Proving Integration of AI with Proof Assistants (Coq, Isabelle) Dependent Type Theory and Higher-Order Logic His recent publications (2023–2025) span topics in dependently-typed logic, learning for proof guidance, formalization of surreal numbers, and blockchain-based formal methods. The works consistently bridge formal logic with machine learning, emphasizing automation, explainability, and cross-system integration. Scientific Leadership and Projects: Principal Investigator, ERC project FormalWeb3 Lead Developer, CoqHammer , Tactician , ProofWeb WG5 Leader, COST Action EuroProofNet (until 2024) Contributor to HOL(y)Hammer , Isabelle Enigma He supervises multiple PhD students and has mentored several graduates in formal methods and AI. He teaches courses in theoretical computer science, logic, and machine learning. There are no listed awards in the provided data, but his extensive publication record and project leadership indicate significant recognition in the field. Labs and Research Groups: He leads a research group focused on formal methods and learning-based reasoning, collaborating internationally on projects involving proof automation, formal libraries, and semantic technologies.

• Automated Reasoning
• Formal Methods
• Formalized Mathematics
• +۷ مورد دیگر

David Gesbert serves as Professor and Director of EURECOM, a leading research institution in Sophia Antipolis, France, specializing in digital sciences. Previously heading the Communications Systems Department, he now directs EURECOM while leading the Foundations & Algorithms research group within the Communication Systems Department. His leadership spans institutional administration and cutting-edge research supervision. Dr. Gesbert's research portfolio demonstrates exceptional depth across communications theory and wireless networking: Communication theory and information theory fundamentals Signal processing for wireless networks with emphasis on robustness Machine learning applications for decentralized network optimization Connected robotics and UAV-enabled flying radio access networks 6G wireless architecture with focus on AI integration Distributed decision making under information uncertainties His publication trajectory reveals a strategic evolution from classical communication theory toward AI-integrated wireless systems, particularly focusing on UAV-aided networks and connected robotics for 6G. Recent work emphasizes learning-based approaches for network optimization under asymmetric information conditions, with growing emphasis on sustainability and green communications. Dr. Gesbert's scientific recognition includes: Fellow of IEEE (2011) and Asia Pacific Artificial Intelligence Association (2021) Thomson-Reuters List of Highly Cited Researchers in Computer Science Multiple Best Paper Awards at IEEE conferences (EW 2017, ICC 2019) ERC Advanced Grant recipient for the PERFUME project on Smart Device Communications 3IA Chair funding for AI for future IoT Networks 2019 Winner of 'Fundamental research project of the year' by French SCS He actively mentors PhD students and researchers, welcoming collaboration in his research domains. His group secures substantial research funding including ERC grants, 3IA Chairs, and participation in major European projects like the WINDMILL ITN Marie Curie project on Machine Learning in Wireless Communications. Dr. Gesbert serves on editorial boards and regularly delivers keynotes at premier international conferences, establishing himself as a thought leader in next-generation wireless communications.

• Communication theory
• Signal processing for wireless networks
• Information theory
• +۷ مورد دیگر

Laurent DUPONT is a Research Engineer and Co-coordinator of the IUVTT Master’s program at ENSGSI (École Nationale Supérieure de Géologie et de Sciences Industrielles), part of the Groupe INP in Nancy, France. He also serves as Scientific Manager of the Lorraine Fab Living Lab. His work focuses on user-driven innovation, smart and sustainable territories, collaborative engineering, and immersive environments. He holds a PhD in Industrial Systems Engineering from INPL (2009), a DEA (2004), and a degree in Industrial Systems Engineering (2003) from ENSGSI. Research interests include innovation lab strategies, open innovation spaces, territorial resilience, and digital twin applications in manufacturing. He leads projects like INEDIT, exploring co-design frameworks and circular economy solutions. His articles highlight trends in collaborative innovation networks, systemic impact mapping, and the integration of extended reality in industrial contexts. Key contributions include frameworks for evaluating territorial resilience and tools for monitoring innovation lab networks. He has been involved in initiatives such as the DHDA Project for resilience assessment and the Smagrinet project on smart grid training. His work bridges academia and practice through participatory methods and cross-sector collaborations. Current projects emphasize Industry 5.0, open manufacturing, and community-driven innovation.

• Innovation Engineering
• Sustainable Cities
• Collaborative Innovation
• +۴ مورد دیگر

Ruth Fong is a Teaching Professor at the Department of Computer Science, Princeton University , where she teaches foundational and advanced AI/ML courses (COS324, COS126) while leading the Looking Glass Lab in explainable AI research. She collaborates closely with the Visual AI Lab and Professor Olga Russakovsky . Education: PhD in Visual Geometry Group, University of Oxford (advised by Andrea Vedaldi , funded by Rhodes Trust and Open Philanthropy ) MSc in Neuroscience, University of Oxford (with Rafal Bogacz , Ben Willmore , and Nicol Harper ) AB in Computer Science, Harvard University (with David Cox and Walter Scheirer ) Research Focus: Pioneering Explainable AI and ML Fairness , with emphasis on post-hoc model understanding, interpretable-by-design architectures, and human-AI interaction frameworks. Her work spans computer vision, self-supervised learning, and neuroscience-inspired methodologies. Publication Trends: Recent papers (2023-2025) analyze interactive explanations , concept salience , and gender artifacts in vision datasets . Earlier work (2017-2020) established foundational techniques in extremal perturbations , backpropagation saliency , and neural network interpretability . Scientific Awards: Princeton Engineering Council Teaching Award (2025) Keller Center Summer Course Development Grant (2025) CHI Honorable Mention Paper Award (2023) Open Philanthropy AI Fellowship (2018) Rhodes Scholarship (2015) Advising: Directly mentored 10 Princeton undergraduates on IW/senior theses projects spanning generative AI , medical imaging fairness , and interactive visualization tools . Grants include Princeton SEAS and Open Philanthropy funding for the Looking Glass Lab. Lab & Team: Leads the Looking Glass Lab with 6 graduate/postgraduate members including Rawand Aziz , Matthew Barrett , and Ben Wachspress . Collaborates with faculty across Princeton and Oxford.

• Computer Vision
• Machine Learning
• Explainable AI
• +۳ مورد دیگر