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

• Computer Vision
• Object Recognition
• Scene Understanding
• +۲ مورد دیگر

Derek W Hoiem is a Professor in the Siebel School for Computing and Data Science at the University of Illinois Urbana-Champaign, where he has been a faculty member since 2009. His research focuses on computer vision and related areas, and he is also the co-founder and Chief Science Officer of Reconstruct, an AI-based construction technology company. His educational background includes: PhD in Robotics, Carnegie Mellon University (2007) Beckman Postdoctoral Fellowship (2008) Prof. Hoiem's research spans computer vision, with a focus on object recognition, scene understanding, and graphics. His work also extends to mobile robotics and 3D scene reconstruction. He has made significant contributions in areas such as visual recognition, 3D modeling, and the application of computer vision in construction monitoring. His recent publications (2023-2025) demonstrate a strong focus on advancing multimodal understanding, particularly in region-based representations, 3D vision, and neural radiance fields. There is a clear trend towards integrating language and vision, improving efficiency in neural networks, and applying computer vision to real-world problems such as construction progress monitoring. His scientific awards and honors are extensive and include: IEEE Fellow (2022) University Scholar (2022) Koendrink Prize (2022) Dean's Award for Excellence in Research, Associate Professor (2021) Campus Distinguished Promotion Award (2015) Best Paper Award: IEEE Winter Conference on Applications in Computer Vision (WACV) (2015) CW Gear Junior Faculty Award (2014) IEEE PAMI Young Researcher Award (2014) Dean's Award for Excellence in Research, Assistant Professor (2014) Sloan Research Fellowship (2013) Intel Early Career Faculty Honor Program Award (2012) NSF CAREER Award (2011) ACM Doctoral Dissertation Award, Honorable Mention (2008) Carnegie Mellon University SCS Distinguished Dissertation Award (2008) Best Paper Award: IEEE Computer Vision and Pattern Recognition (CVPR) (2006) Prof. Hoiem has secured significant research funding, including an NSF CAREER award and an Intel Early Career Faculty award. He is also actively involved in technology transfer, having co-founded Reconstruct where he serves as Chief Science Officer. His teaching excellence is reflected in multiple "List of Teachers Ranked as Excellent" awards spanning from 2010 to 2021. Prof. Hoiem leads a research group at UIUC focused on computer vision and 3D scene understanding. Additionally, he co-founded and serves as Chief Science Officer at Reconstruct, which develops AI-based solutions for construction monitoring.

Byron Wallaceمشاهده پروفایل

دانشیار

• Natural Language Processing
• Machine Learning
• Artificial Intelligence
• +۵ مورد دیگر

Byron Wallace is the Sy and Laurie Sternberg Interdisciplinary Associate Professor at Northeastern University's Khoury College of Computer Sciences, where he also serves as Associate Dean for Research and Director of the BS in Data Science Program. His research focuses on Natural Language Processing and Machine Learning applications in healthcare. Education Details of formal education are not explicitly provided in the available text, though he holds a PhD from Tufts University (mentioned in thesis award context). Research Interests His work centers on developing NLP and ML models for health applications, with particular emphasis on: Biomedical evidence synthesis automation Electronic Health Record processing Model interpretability and trustworthiness Human-in-the-loop systems Learning with limited supervision Research Trends Recent publications demonstrate strong focus on large language model applications in healthcare, including factuality evaluation for medical summarization, evidence extraction from clinical trials, and interpretable risk prediction models. Notable contributions include work on GPT-3 applications in medical evidence synthesis and neural methods for EHR analysis. Scientific Awards ACL Outstanding Paper Award (2022) ICLR Spotlight (top 5% acceptance) (2024) Best Student-led Paper Award at AMIA 2021 NSF CAREER Award (2018-2023) Advising and Grants Currently advises 4 PhD students and has mentored numerous others. Major funding includes: NSF CAREER Award ($500K+) NIH R01 grant for EHR summarization NSF Medium grant for healthcare summarization Support from Army Research Office, Amazon, and Seton Hospital Labs and Teams Leads the Evidence Inference project team working on automated biomedical evidence synthesis. Collaborates with Brigham and Women's Hospital, Mass General Hospital, and Reboot Rx for clinical translation of research.

Brenden Lakeمشاهده پروفایل

دانشیار

• Machine Learning
• Computer Vision
• Natural Language Processing
• +۷ مورد دیگر

Brenden Lake is an Associate Professor of Computer Science and Psychology at Princeton University, starting Fall 2025. Previously, he was an Associate Professor of Psychology and Data Science at New York University. He is the principal investigator of the lab for Human & Machine Intelligence, which moved from NYU to Princeton in 2025 and is jointly affiliated with the Department of Computer Science and the Department of Psychology. His lab is located in Princeton's Peretsman Scully Hall, rooms 117, 120, and 121. Ph.D., Massachusetts Institute of Technology, 2014 Lake's research focuses on the intersection of human and machine intelligence, specifically examining human cognitive abilities that elude current AI systems. His work centers on few-shot learning of new concepts, learning by generating new goals, learning by asking questions, and learning by producing novel combinations of known components. He employs modern neural network modeling approaches including meta-learning, fine-tuning LLMs, neuro-symbolic modeling, and learning from child headcam videos. His research aims to advance both psychology and computer science by exploring what makes human intelligence unique and using those insights to develop more powerful AI systems. Lake's recent publications demonstrate significant trends in grounded language acquisition through child perspectives, systematic generalization in neural networks, and the intersection of developmental psychology with AI. His work has appeared in top-tier venues including Science (2024) and Nature (2023), with multiple publications exploring how insights from human cognition can improve machine learning systems. His research shows how incorporating human cognitive ingredients can make AI systems more powerful and human-like while addressing longstanding debates about neural network capabilities. Science publication (2024) on Grounded language acquisition through the eyes and ears of a single child Nature publication (2023) on Human-like systematic generalization through a meta-learning neural network Multiple publications covered by major media outlets including New York Times and Washington Post Lake advises Ph.D. students in computer science, psychology, and related fields through his lab. His research is supported by publications in top venues across computer science and cognitive science. He teaches courses including Computational Cognitive Modeling and Advancing AI through Cognitive Science, bridging the theoretical and practical aspects of his research. Lake leads the lab for Human & Machine Intelligence, which studies the ingredients of intelligence in humans and machines. The lab investigates human cognitive abilities that current AI systems cannot replicate, with the dual goal of advancing psychological understanding of human intelligence while developing more capable artificial intelligence systems. Current research focuses on few-shot concept learning, learning through goal generation, and learning by asking questions.

• 3D Scene Understanding
• Natural Language Processing
• Embodied AI
• +۳ مورد دیگر

Angel Xuan Chang is an Associate Professor at Simon Fraser University's School of Computing Science, affiliated with labs including 3DLG, GrUVi, SFU NatLang, SFU AI/ML, and VINCI. He holds a Canada CIFAR AI Chair and was a TUM-IAS Hans Fischer Fellow (2018-2022). His research bridges natural language processing (NLP), 3D scene understanding, and embodied AI, focusing on language-grounded 3D generation and biodiversity monitoring via DNA barcodes. Recent work includes NuiScene (unbounded outdoor scene generation), ViGiL3D (3D visual grounding dataset), and CLIBD (vision-genomics biodiversity analysis). He advises students in projects like BIOSCAN-5M insect dataset and embodied AI navigation. His 2025 highlights include multiple ICCV and ICLR papers, workshops at ICML and CVPR, and a CRV invited talk. Education: Ph.D. in Computer Science from Stanford University (2014), advised by Chris Manning. Previous roles include visiting research scientist at Facebook AI Research and researcher at Eloquent Labs.

Cherie Kaganمشاهده پروفایل

استاد

• Nanostructured materials
• Colloidal nanocrystals
• Quantum dots
• +۷ مورد دیگر

Cherie Kagan serves as the Stephen J. Angello Professor at the University of Pennsylvania, holding primary appointment in the Department of Electrical and Systems Engineering within the School of Engineering and Applied Science, with secondary appointments in Chemistry and Materials Science and Engineering. Her interdisciplinary research bridges chemistry, materials science, and electrical engineering to develop novel functional materials and devices that integrate optical, electrical, magnetic, mechanical, and thermal properties. Professor Kagan's research group combines the flexibility of chemical synthesis and bottom-up assembly with top-down fabrication techniques to design innovative nanomaterials. They employ advanced characterization methods including spatially- and temporally-resolved optical spectroscopies, AC/DC electrical measurements, electrochemistry, and various microscopy techniques. Her recent work demonstrates particular strength in colloidal nanocrystals and quantum dots for applications in quantum information science, sensing technologies, and energy conversion devices. Scientific Recognition Induction to the American Academy of Arts and Sciences (2025) IEEE Fellow (2024) for contributions to colloidal nanocrystals and their integration in optical and electronic devices George H. Heilmeier Faculty Award for Excellence in Engineering (2024-25) Humboldt Research Award Fellowship (2024) MRS Fellow for distinguished research accomplishments in materials science National Academy of Inventors Fellow for innovation in nanomaterials Professor Kagan actively mentors PhD students across multiple departments, with recent graduates including Gary Chen, Chavez Lawrence, and Shobhita Kramadhati. Her research is supported by significant grants including the IoT4Ag project focused on precision agriculture sensing systems. She maintains active collaborations with Nobel Laureate Moungi Bawendi, her former PhD advisor at MIT, and works with institutions including the Max-Planck Institute for Chemical Physics of Solids through her Humboldt Fellowship. The Kagan Research Group operates comprehensive facilities for nanomaterials synthesis, characterization, and device fabrication, combining expertise across chemistry, physics, and engineering disciplines. Current team members include PhD students from Electrical and Systems Engineering and Chemistry departments, postdoctoral researchers like Anamika Singh and Akhila Mallavarapu, and undergraduate researchers supported through programs like CURF.

Freda Shiمشاهده پروفایل

استادیار

• computational linguistics
• natural language processing
• computational multilingualism
• +۵ مورد دیگر

Freda Shi is an Assistant Professor at the David R. Cheriton School of Computer Science at the University of Waterloo and a Faculty Member at the Vector Institute, where she holds a Canada CIFAR AI Chair. She joined the University of Waterloo in July 2024 after completing her Ph.D. at the Toyota Technological Institute at Chicago. Educational Background: Ph.D. in Computer Science, Toyota Technological Institute at Chicago (2024), advised by Professors Karen Livescu and Kevin Gimpel Bachelor's degree in Intelligence Science and Technology (Computer Science Track) with a minor in Sociology, Peking University (2018) Dr. Shi's research focuses on computational linguistics and natural language processing, particularly on deeper understandings of natural language and the human language processing mechanism. She is especially interested in learning language through grounding, computational multilingualism, and related machine learning aspects. Her work aims to inform the design of more efficient, effective, safe, and trustworthy NLP systems. She leads the CompLING Lab at the University of Waterloo, which investigates how language models process spatial relationships and acquire linguistic structures through grounded experiences. Her publication record shows a consistent trajectory of high-impact research, with recent work focusing on spatial reasoning in vision-language models, multilingual chain-of-thought capabilities, and grounded language acquisition. She has published in top-tier conferences including ACL, EMNLP, ICLR, and NAACL, with several papers receiving notable recognition including Best Paper Nominee status at multiple venues. Her research bridges theoretical linguistics with practical NLP applications, demonstrating how linguistic insights can improve AI systems. Scientific Recognition: Canada CIFAR AI Chair (2024) Google Ph.D. Fellowship Thesis of Distinction for her doctoral work Multiple Best Paper Nominee awards at major NLP conferences Dr. Shi teaches CS 784: Computational Linguistics and CS 486/686: Introduction to Artificial Intelligence at the University of Waterloo. She actively contributes to the NLP research community through conference participation, program committee service, and collaborative projects. Her research has significant implications for creating more robust, human-like language understanding systems and advancing the field of grounded language learning in artificial intelligence.

Nadia Polikarpovaمشاهده پروفایل

دانشیار

• Program Synthesis
• Program Verification
• Type Systems
• +۵ مورد دیگر

Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego . She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer , followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama . Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship , 2020 Intel Rising Stars Award , and 2020 NSF CAREER Award . Polikarpova's research focuses on program synthesis , program verification , and type systems . She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid , SuSLik , and Laurel that combine formal methods with machine learning for code generation. Her recent publications in venues like OOPSLA , NeurIPS , and ICFP reveal trends in AI-assisted programming , live programming environments , and formal verification . She has advised numerous PhD and Master’s students including Shraddha Barke , Zheng Guo , and Tristan Knoth , many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures. 2020 : Sloan Fellow 2020 : Intel Rising Stars Award 2020 : NSF CAREER Award 2021 : Distinguished Paper at POPL 2023 : Distinguished Artifact at PLDI 2023 : Distinguished Paper at OOPSLA Polikarpova actively contributes to academic service, serving on program committees for PLDI , POPL , and OOPSLA , and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24 , emphasizing the integration of large language models with formal methods.

Suguman Bansalمشاهده پروفایل

استادیار

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

Suguman Bansal is an Assistant Professor in the School of Computer Science at Georgia Institute of Technology. Her research focuses on formal methods and their applications to artificial intelligence, programming languages, and machine learning. Previously, she held an NSF/CRA Computing Innovation Postdoctoral Fellowship at the University of Pennsylvania (2020-2022) and completed her PhD at Rice University (2016-2020). Education: PhD in Computer Science, Rice University (2016-2020) MS in Computer Science, Rice University (2014-2016) BSc (Honors) in Mathematics and Computer Science, Chennai Mathematical Institute (2011-2014) Research Interests: Formal methods, reinforcement learning, reactive synthesis, quantitative verification, and trustworthy AI systems. Her work bridges logic-based formal methods with modern AI challenges, emphasizing safety, reliability, and generalization in AI systems. Key Contributions: Pioneering work on specification-guided reinforcement learning, compositional synthesis algorithms, and formal verification of AI systems. Notable tools include Lisa (LTLf synthesis tool) and DiRL (compositional reinforcement learning framework). Awards: 2020 NSF CI Fellowship, 2021 MIT EECS Rising Star, 2023 ATVA Best Paper Award, and Keynote Speaker at SAS 2022. Advising & Grants: Advises PhD and Master’s students in reinforcement learning and formal methods. Lead PI on a collaboration grant with IIT Bombay (2024) and recipient of a ~$250K NSF/CRA postdoctoral grant. Labs/Teams: Leads the BansalLab at Georgia Tech, focusing on trustworthy AI through formal methods and algorithmic innovation.

Sanjit A. Seshiaمشاهده پروفایل

استاد

• Formal Methods
• Cyber-Physical Systems
• Computer Security
• +۱۰ مورد دیگر

Sanjit A. Seshia is the Cadence Founders Chair Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley . He is affiliated with the Group in Logic and the Methodology of Science and participates in centers like the Industrial Cyber-Physical Systems Center , Berkeley AI Research , and the Simons Institute for the Theory of Computing . Research interests include formal methods for automated verification and synthesis of dependable systems, with applications to cyber-physical systems , AI-based autonomy , and computer security . His work spans SMT solving, model counting, syntax-guided synthesis, and algorithmic improvisation, with tools like UCLID5 , VerifAI , and Scenic for verifying autonomous systems and educational platforms like CPSGrader . Students and collaborators include notable researchers such as Dorsa Sadigh (Stanford), Daniel Fremont (UC Santa Cruz), and Hazem Torfah (Chalmers). He has co-founded startups like Decyphir and 20ⁿ Labs based on his research.

• Computer Architecture
• Machine Learning
• FPGA Acceleration
• +۴ مورد دیگر

Hadi Esmaeilzadeh is an Associate Professor at the University of California, San Diego in the Department of Computer Science and Engineering . He previously served as an Assistant Professor at Georgia Tech (2013-2017) and holds the Halicioğlu Chair in Computer Architecture . As founder/director of the Alternative Computing Technologies (ACT) Laboratory and associate director of UCSD's Center for Machine Integrated Computing and Security (MICS) , his research drives cross-stack solutions for next-generation computer systems. Early tenure recipient at UCSD Coined the term "dark silicon" in computer architecture Developed Tabla/DnnWeaver open-source frameworks Research Interests span: Approximate Computing Neural Acceleration FPGA/ASIC Hardware Design Machine Learning Systems Dark Silicon Challenges Security/Privacy in Accelerated Systems Scientific Recognition : 4 CACM Research Highlights 4 IEEE Micro Top Picks Distinguished Paper Award (HPCA 2016) Inducted to ISCA Hall of Fame (2018) Teaching : Developed courses on accelerator design (CSE 240D) and alternative computing (CS 8803 ACT) Advocates for hands-on FPGA-based learning in Processor Design with FPGAs courses

Jason Eisnerمشاهده پروفایل

استاد

• Natural Language Processing
• Speech Processing
• Machine Learning
• +۷ مورد دیگر

Jason Eisner is a Professor in the Department of Computer Science at Johns Hopkins University's Whiting School of Engineering, with a secondary joint appointment in Cognitive Science. He is affiliated with the Center for Language and Speech Processing (CLSP), the Human Language Technology Center of Excellence, and leads JHU's cross-departmental machine learning group. His research focuses on developing probabilistic modeling, inference, and learning techniques for linguistic structure. Eisner has authored over 100 papers in computational linguistics, particularly in parsing, grammar induction, machine translation, computational phonology, computational morphology, and weighted finite-state methods. He is the lead designer of Dyna, a declarative programming language for AI research that allows concise programs backed by efficiency tricks. Eisner's work centers on novel methods in NLP and machine learning, with emphasis on probabilistic modeling and inference in complex, structured settings. His research program combines computer science with statistics and linguistics to create statistical models that capture linguistic structure and develop efficient algorithms for applying these models to data with minimal supervision or through large pre-trained models. As an ACL Fellow, Eisner has made significant contributions to the field. His recent work (2023-2025) shows a strong focus on large language models, semantic parsing, controlled text generation, model interpretability, and privacy-preserving techniques, continuing his long-standing interest in the intersection of probabilistic modeling and linguistic structure. ACL Fellow He teaches courses including Natural Language Processing (601.465/665), Machine Learning: Linguistic and Sequence Modeling (601.765), Declarative Methods (601.325/425/625), and Selected Topics in Natural Language Processing (601.865). His advising focuses on research students through the Argo research group, with emphasis on fundamental research questions in NLP rather than immediate applied engineering.

Caroline Lemieuxمشاهده پروفایل

استادیار

• Programming Languages
• Software Engineering
• Fuzz Testing
• +۶ مورد دیگر

Caroline Lemieux is an Assistant Professor at the Department of Computer Science, University of British Columbia (UBC), with research focused on advancing software correctness, security, and performance through innovative testing and synthesis techniques. Her work bridges Programming Languages and Software Engineering , particularly in fuzz testing, specification mining, and program synthesis. PhD from University of California, Berkeley (2021), advised by Koushik Sen Postdoctoral researcher at Microsoft Research, NYC (2021-2022) Key contributions: FuzzFactory , CodaMOSA , Arvada , and Gauss Her research integrates machine learning with traditional testing methods, exemplified by projects like RLCheck (reinforcement learning for test generation) and AutoPandas (neural synthesis for dataframes). Recent publications analyze generator-based fuzzing challenges and propose hybrid strategies combining coverage feedback with AI-driven insights. Scientific Awards : ACM/SIGSOFT Best Paper Award (ESEC/FSE 2019) ACM/SIGSOFT Tool Demonstration Award (ISSTA 2019) ACM/SIGSOFT Distinguished Artifact Award (ISSTA 2019) NSERC Postgraduate Scholarship-Doctoral (PGS D) UBC Governor General's Silver Medal (2016) Teaching roles include: 2025W2: CPSC 539L - Topics in Programming Languages 2024W2: CPSC 410 - Advanced Software Engineering 2023W2: CPSC 410 (with Alex Summers) She supervises graduate and undergraduate researchers working on projects like ExploTest (automated unit test generation) and GRIMOIRE (grammar extraction from pseudo-rules). Her research team collaborates with institutions including Microsoft Research, Google, and academic partners in systems security and AI-driven testing.

• Biomaterials
• Tissue Engineering
• Regenerative Medicine
• +۱۲ مورد دیگر

Professor Hala Zreiqat AM is a leading biomedical engineer at The University of Sydney , serving as the Director of the ARC Training Centre for Innovative BioEngineering . A Fellow of all major Australian academies (AAS, ATSE, FAHMS, FRSN), she develops 3D printed bioceramics for bone regeneration while championing diversity through initiatives like the IDEAL Society and BIOTech Futures mentorship program. Her work bridges academia, clinical practice, and industry in musculoskeletal research . Research Focus: Her lab creates synthetic bone scaffolds that mimic natural bone architecture, strength, and porosity, enabling non-rejected bone regeneration via patient-matched implants. Key applications include orthopaedic, dental, and maxillofacial repair , with over $18M in competitive funding and multiple patents. Current projects explore AI-driven scaffold performance prediction and anti-senescence strategies for aging-related bone loss. Scientific Trends: Recent publications highlight 3D printed nanovoxelated ceramics , antisenescence biomaterials , and multifunctional theranostic platforms . Her team integrates machine learning for scaffold design, atom probe tomography for interface analysis, and two-photon imaging for cellular monitoring in 3D environments. 2021-2022 Fulbright Senior Scholar 2018 NSW Premier's Woman of the Year 2019 Eureka Prize for Innovative Use of Technology Fellow of Australian Academy of Science (2021) Over $18M in research funding Teaching & Leadership: She designed core courses like Tissue Engineering and Nanomaterials in Medicine , mentoring 158 students in 2020 alone. As Chair of CAAR (2020-2023), she strengthens Australia-Arab collaborations. Her lab trains early-career researchers , with alumni now in academia and industry.

John A. Copland, IIIمشاهده پروفایل

استاد

• Cancer Biology
• Molecular Carcinogenesis
• Translational Research
• +۳ مورد دیگر

Dr. John A. Copland III is a Professor of Cancer Biology and Biochemistry & Molecular Biology at Mayo Clinic in Jacksonville, Florida. He leads the Cancer Biology and Translational Research Laboratory, focusing on molecular mechanisms of carcinogenesis, tumor progression, and development of targeted cancer therapies. Education: PhD in Physiology & Endocrinology (Medical College of Georgia), MS in Endocrinology (Medical College of Georgia), BS in Chemistry (Columbus College), with postdoctoral training at University of Texas Medical Branch. Research interests center on: Identifying tumor suppressor genes (e.g., RhoB, TBR3, GATA3) and oncogenes (e.g., FOXO3a, SCD1, NPTX2). Developing patient-derived xenografts and live cell models for personalized medicine. Designing SCD1 inhibitors via in silico modeling for clinical trials. Recent publications highlight his work on SCD1 inhibition in leukemia and thyroid cancer ImmunoPET imaging of thyroid tumors CRISPR-identified drug synergies in cholangiocarcinoma Patient-specific combination therapies using xenograft models

Cezary Kaliszykمشاهده پروفایل

استاد

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

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.