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

Antoine Bosselutمشاهده پروفایل

استادیار

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

Antoine Bosselut is a Tenure Track Assistant Professor at École Polytechnique Fédérale de Lausanne (EPFL) in the School of Computer and Communication Sciences, where he leads the EPFL NLP group. His research focuses on developing AI reasoning agents that can model, represent, and reason about human and world knowledge, with applications in health, education, and global fairness. His research interests span multiple critical areas in modern AI: LLM Representations of Knowledge: Understanding what language models know and how they represent that knowledge internally Reasoning Algorithms: Developing methods to improve LLMs' reasoning capabilities through symbolic systems, neuroscience, and cognitive science Large-scale AI Development: Creating open-source foundation models with multilingual capabilities AI Democratization: Ensuring equitable access to AI technologies across different cultural and regulatory contexts His recent publications reveal a strong focus on the intersection of language models and cognitive science, with multiple studies examining how LLMs align with human cognition. He's also deeply engaged in practical applications of NLP technology, particularly in education and multilingual settings, as evidenced by his work on evaluating AI's impact on higher education and developing culturally-aware language models. His scientific achievements have been recognized with several prestigious awards: Outstanding Paper Award at NAACL 2025 ELLIS Scholar designation in 2024 Outstanding Paper Award at ACL 2023 Inclusion in Forbes 30 Under 30 list for Science & Healthcare in 2021 Bosselut actively mentors numerous PhD students across diverse NLP research areas and has secured significant recognition for his work in both academic and media circles. His lab has been featured in major publications including Communications of the ACM, The Atlantic, and Quanta Magazine, highlighting the societal impact of his research on commonsense reasoning and AI capabilities.

• Applied Topology
• Dynamical Systems
• Algebraic Topology
• +۵ مورد دیگر

Robert Ghrist is the Andrea Mitchell University Professor at the University of Pennsylvania with dual appointments in the Department of Mathematics and the Department of Electrical and Systems Engineering. He serves as Associate Dean for Undergraduate Education for Penn Engineering. His educational background includes a B.S. in Mechanical Engineering from the University of Toledo (1991), and M.S. and Ph.D. degrees in Applied Mathematics from Cornell University (1994, 1995). Ghrist's research bridges pure and applied mathematics, focusing on applied algebraic topology , dynamical systems , and geometric methods in data science. His work extends to network theory, topological data analysis, and computational geometry, with applications spanning robotics, neuroscience, and social dynamics. Key innovations include developing sheaf-theoretic approaches for networked systems and persistence homology techniques for high-dimensional data. Analysis of his recent publications reveals a strong emphasis on lattice-theoretic frameworks , topological robotics , and network dynamics , with emerging applications in neural data interpretation and geometric computing. His research consistently integrates category theory with real-world engineering challenges. Significant scientific recognition includes: Presidential Early Career Award (PECASE, 2004) Scientific American 'Top 50' Research Leader (2007) Mathematical Association of America's Chauvenet Prize (2013) University of Pennsylvania Lindback Award for Distinguished Teaching (2015) DoD National Security Science and Engineering Faculty Fellowship (NSSEFF, 2015) Ghrist leads multiple federally funded research initiatives supported by AFOSR, DARPA, NSF, and ONR. He directs the development of educational tools including the Calculus BLUE/GREEN Project video series and custom GPTs for mathematical pedagogy. His open online courses have reached over 100,000 learners globally.

• Decision Making
• Team Cognition
• Team Effectiveness
• +۳ مورد دیگر

Shanique Brown serves as Assistant Professor of Management at the Zicklin School of Business, City University of New York (CUNY), where she investigates cognitive processes impacting organizational team dynamics and decision-making. Her research bridges industrial-organizational psychology with practical applications in extreme environments. Her academic foundation includes: Ph.D. in Industrial-Organizational Psychology from DePaul University M.A. in Industrial-Organizational Psychology from Southern Illinois University, Edwardsville B.Sc. in Psychology from the University of the West Indies Dr. Brown's research centers on decision-making mechanisms and team cognition within organizational contexts, with specialized focus on extreme environments like space missions. She examines how cognitive styles, working memory, and team composition influence performance in isolated, confined, and high-stakes settings. Her work integrates psychological theory with actionable frameworks for optimizing team effectiveness across virtual and physical workspaces. Analysis of her publication history reveals evolving expertise in team science, particularly regarding virtual team leadership, polycultural organizations, and NASA-relevant analog research. Recent work emphasizes selection-optimization-compensation models for team performance and psychosocial factors in extreme environments, demonstrating consistent contribution to organizational psychology literature. Her scientific recognition includes: Editorial Fellowship from Group Dynamics (2022) Wayne State University Faculty Accessibility Fellowship (2022) Teaching Innovation Development Excellence Award (2020) Faculty Teaching Award (2020) University Research Grant (2019) Robert A. Daugherty Memorial Award (2011) Dr. Brown actively collaborates on NASA-funded research through the Human Research Program, developing crew composition models for long-duration space missions. She serves on Baruch College's PhD Admissions and Interdisciplinary Business Major committees while maintaining leadership roles in the Society of Industrial-Organizational Psychology, including Task Force Chair and Conference Committee positions. Her grant work focuses on translating team dynamics research into operational frameworks for extreme environments. She leads interdisciplinary collaborations with NASA researchers and international scholars on projects including virtual escape room studies for team performance assessment and CREWS (Crew Recommender for Effective Work in Space) development, demonstrating commitment to solving real-world team challenges in high-consequence settings.

Sebastian Schererمشاهده پروفایل

استاد پژوهشی

• Robotics
• Unmanned Aerial Vehicles
• Autonomous Navigation
• +۱۳ مورد دیگر

Sebastian Scherer is an Associate Research Professor at the Robotics Institute (RI), Carnegie Mellon University (CMU), where he leads cutting-edge research in autonomous aerial systems and robotics. His work focuses on enabling unmanned rotorcraft to operate safely and efficiently in cluttered, low-altitude, and extreme environments. Education: Ph.D. in Robotics, Carnegie Mellon University (2010) MS in Robotics, Carnegie Mellon University (2007) BS in Computer Science (Minor in Robotics), Carnegie Mellon University (2004) His research interests span robotics, artificial intelligence, autonomous navigation, obstacle avoidance, SLAM, visual-inertial odometry, energy infrastructure, and public policy . He has made seminal contributions to UAV autonomy, including the first obstacle avoidance for micro aerial vehicles in natural environments (2008) and the first automatic landing zone detection and landing on a full-size helicopter (2010). His recent publications (2023–2025) demonstrate a strong focus on resilient autonomy, multi-robot exploration, foundation models for robotics, and large-scale dataset development. His team has released key datasets like TartanGround , BETTY , and SubT-MRS , and simulation tools like Pegasus Simulator , indicating a systems-level approach to advancing real-world autonomy. The research trends emphasize self-supervised learning, robust perception, risk-aware planning, and multi-modal fusion for off-road and urban environments. Scientific Awards: Popular Science Best of What's New 2010 Award AIAA@Infotech Best Paper Runner-up Award (2010) Siebel Scholar Dr. Scherer has advised numerous students and leads a vibrant research group focused on high-impact robotics applications. He has secured significant grants related to UAV autonomy, energy infrastructure, and urban air mobility. His lab develops experimental infrastructure such as AIrTonomy for testing next-generation autonomous aerial vehicles. He is actively involved in advancing SLAM and localization in extreme environments, notably through participation in the DARPA Subterranean Challenge. His team develops large-scale datasets and benchmarking frameworks to push the boundaries of robustness and generalization in mobile robotics.

Barbara Caputoمشاهده پروفایل

استاد

• Artificial Intelligence
• Computer Vision
• Machine Learning
• +۳ مورد دیگر

Barbara Caputo is a Full Professor at Politecnico di Torino, leading the VANDAL Laboratory and directing the AI@PoliTo Interdepartmental Lab. She holds a double affiliation with the Italian Institute of Technology (IIT) and has held roles at Idiap-EPFL and Sapienza University. Her research focuses on AI, computer vision, domain adaptation, and federated learning. She contributes to national AI policy, including the Italian Strategy on AI and the National PhD on AI for Industry 4.0. She is an ERC Laureate and ELLIS Fellow, co-founding ELLIS society. Her work spans visual place recognition, action recognition, and cross-domain learning. Education: PhD in Computer Science from KTH Royal Institute of Technology (2005). Major roles include Rector’s Advisor on AI at PoliTo, Board Member of ELLIS, and coordinator of the AI & Industry 4.0 vertical in the National PhD program. Awards include ERC Laureate (2017), ELLIS Fellow (2019), and Inspiring Fifty Italy (2018). Her research emphasizes federated learning, domain adaptation, and AI ethics. Recent articles explore domain generalization, resource-efficient federated models, and AI-environment interactions. She collaborates with institutions like MUR, CNR, and the European Commission on AI policy and tech initiatives.

• Machine Learning
• Deep Learning
• AI Safety
• +۱۲ مورد دیگر

Tim G. J. Rudner is an Assistant Professor in the Department of Statistical Sciences at the University of Toronto, a Faculty Member at the Vector Institute, and a Title A Fellow at Trinity College, University of Cambridge. He was previously an Assistant Professor and Faculty Fellow at New York University. University: University of Toronto School: Faculty of Arts and Science Department: Department of Statistical Sciences Affiliation: Vector Institute, Trinity College (Cambridge) He holds a PhD in Computer Science and an MSc in Statistics from the University of Oxford, where he was advised by Yee Whye Teh and Yarin Gal, and a BS in Applied Mathematics and Economics from Yale University. PhD: Computer Science, University of Oxford MSc: Statistics, University of Oxford BS: Applied Mathematics and Economics, Yale University His research focuses on building robust, transparent, and trustworthy machine learning systems, particularly for high-stakes applications. He develops probabilistic models that improve generalization under distribution shifts, provide reliable uncertainty estimates, and enable fair and interpretable predictions. His work spans generative models, large language models, healthcare, and biomedical discovery. The recent publications highlight a strong trend toward function-space modeling, Bayesian regularization, and AI safety. Tim's work emphasizes principled uncertainty quantification, robustness to subpopulation and semantic shifts, and the development of frameworks for AI governance and specification. His research bridges theoretical advances with real-world applications, especially in safety-critical domains like medicine and defense. Tim has received numerous accolades including being named a Rhodes Scholar, Qualcomm Innovation Fellow, and 2024 Rising Star in Generative AI. He was awarded a $700,000 Foundational Research Grant and a $30,000 Apple Seed Grant for improving LLM trustworthiness. Rhodes Scholar Qualcomm Innovation Fellow AISTATS Notable Paper Award (2024) Outstanding Paper Award, ICLR GenAI4DM Workshop (2024) Apple Seed Grant ($30,000) Foundational Research Grant ($700,000) NeurIPS Spotlight Talk 2024 Rising Star in Generative AI He actively mentors students, particularly first-generation and low-income scholars, and has contributed to major policy frameworks including the OECD AI Classification Framework and a series of CSET issue briefs on AI safety. His work demonstrates a strong commitment to responsible AI development, combining technical rigor with societal impact. Tim leads research efforts at the intersection of machine learning theory and practical deployment, with ongoing projects in generative modeling, reliable LLMs, and AI governance. His lab produces high-impact work regularly published at top-tier conferences such as NeurIPS, ICML, and AISTATS.

Siva Balakrishnanمشاهده پروفایل

دانشیار

• Statistical Machine Learning
• Causal Inference
• Public Policy & Social Sciences
• +۵ مورد دیگر

Siva Balakrishnan is an Associate Professor at Carnegie Mellon University with a joint appointment in the Department of Statistics and Data Science and the Machine Learning Department . He holds an affiliation with the Dietrich College of Humanities and Social Sciences. Previously, he was a postdoctoral researcher at UC Berkeley's Department of Statistics, advised by Martin Wainwright and Bin Yu, and earned his Ph.D. in Computer Science from CMU's Language Technologies Institute under Jaime Carbonell. His research focuses on statistical machine learning, causal inference, and high-dimensional statistics, with notable contributions to domain adaptation, optimal transport, and robust statistics. Education: Ph.D. in Computer Science, Carnegie Mellon University (Language Technologies Institute) Postdoctoral Researcher, University of California, Berkeley (Department of Statistics) Research Interests: His work bridges theoretical foundations and algorithmic development, emphasizing robust statistical methods and their applications in causal inference, public policy, and machine learning. Key areas include nonparametric methods, optimization, and high-dimensional data analysis. He has pioneered techniques in domain adaptation, such as the RLSbench framework for relaxed label shift scenarios. Awards & Grants: Amazon Research Award (2021) Google Research Scholar Award (2021) NVIDIA Pioneer Award (2018) IMS Lawrence D. Brown Student Award (2020, 2022) National Science Foundation Grants (CCF-1763734, DMS-1713003, etc.) Professional Activities: He serves as an Associate Editor for JASA and on the editorial boards of Foundations and Trends in Statistics . His work has been featured in top venues like NeurIPS, ICML, and the Annals of Statistics. He currently holds a sabbatical at UC Berkeley's Department of Statistics (Spring 2025). Labs & Collaborations: He actively participates in the Statistics and Machine Learning Reading Group and the Causal Inference Working Group , fostering interdisciplinary research in CMU's vibrant academic community.

Steve Mussmannمشاهده پروفایل

استادیار

• Data-centric machine learning
• Active learning
• Experimental design
• +۲ مورد دیگر

Steve Mussmann serves as an Assistant Professor in the School of Computer Science at the Georgia Institute of Technology, where he joined in Fall 2024. His research centers on data-centric machine learning, with emphasis on active labeling, data selection, and adaptive experimental design methodologies. He maintains active collaborations through Georgia Tech's Foundations of AI (FoAI) and ML@GT research groups. Mussmann earned his PhD in Computer Science from Stanford University in 2021 under Percy Liang's supervision, following a BS in Math, Statistics, and Computer Science from Purdue University in 2015. His professional trajectory includes a machine learning researcher role at Coactive AI and an IFDS postdoctoral fellowship at the University of Washington's Paul Allen School of Computer Science and Engineering. His research program investigates theoretical and practical aspects of data efficiency in machine learning systems, particularly focusing on active learning frameworks, statistical properties of data algorithms under concept drift, and task specification via prompts or demonstrations. Current projects address challenges in label-efficient training of large language models and multimodal dataset development. Analysis of his 15 most recent publications reveals a consistent focus on advancing data-centric methodologies, with increasing emphasis on large-scale applications like multimodal datasets and language model fine-tuning. His work bridges theoretical guarantees in experimental design with practical frameworks like LabelBench for benchmarking label efficiency. Mussmann has received recognition through the IFDS postdoctoral fellowship. His contributions to the field include foundational work on active learning theory and data selection algorithms. IFDS postdoctoral fellow He currently advises five graduate students including PhD candidates Kangping Hu (CS) and Hangyu Zhou (ML), alongside MS students Kabir Kang and Kalp Vyas, and undergraduate Saloni Bedi. Former advisee Wei-Liang (Edison) Liao completed BS research under his supervision. His teaching portfolio includes graduate courses CS 7545 (Machine Learning Theory) and CS 8803-DML (Data-centric Machine Learning). Mussmann operates within Georgia Tech's Foundations of AI initiative and ML@GT collective, which provide infrastructure for large-scale data-centric research. His lab develops open-source tools like LabelBench for reproducible evaluation of data selection techniques, with ongoing projects exploring video data exploration systems and adaptive finetuning frameworks for foundation models.

Peter A. Flachمشاهده پروفایل

استاد

• Machine Learning
• Artificial Intelligence
• Explainable AI (XAI)
• +۳ مورد دیگر

Peter A. Flach is Professor of Artificial Intelligence at the Intelligent Systems Laboratory, School of Computer Science, University of Bristol, where he has been faculty since 1997 and was promoted to Professor in 2003. He currently directs the UKRI AI Centre for Doctoral Training in Practice-Oriented Artificial Intelligence and serves as Vice-President of the European Association for Data Science (EuADS), having previously served as its President. His research centers on rigorous evaluation and improvement of machine learning systems, with seminal contributions to classifier calibration (including Beta Calibration and Precision-Recall-Gain curves), explainable AI frameworks, and data science methodology. He pioneered the extension of CRISP-DM to data science trajectories and developed Explainability Fact Sheets for systematic assessment of XAI approaches. His work bridges theoretical foundations with practical deployment in real-world systems. Analysis of his recent publications reveals a dominant focus on interpretable and reliable machine learning, with strong emphasis on performance evaluation metrics, model calibration techniques, and human-centered explainability. His research increasingly addresses healthcare applications through projects like SPHERE and clinical decision support systems, while maintaining core contributions to fundamental ML theory. His scientific recognition includes prestigious fellowships: Fellow of the European Lab for Learning and Intelligent Systems (ELLIS) Fellow of the European Association for Artificial Intelligence (EurAI) Professor Flach has secured major research funding including UKRI Centre for Doctoral Training grants and EU network funding (TAILOR). He leads extensive collaborations across Engineering, Population Health Science, and international institutions (Monash University, Polytechnic University of Valencia), plus over 20 industry partners in the Practice-Oriented AI CDT including LV= and QinetiQ. His work with the SPHERE project demonstrates successful translation of AI research into residential healthcare settings. He leads the Intelligent Systems Laboratory at Bristol, which develops influential open-source tools including the FAT Forensics Python toolbox for algorithmic fairness and the Explainability Fact Sheets framework. His lab maintains strong connections with the European AI community through ELLIS and EurAI, positioning Bristol as a hub for human-centered and methodologically rigorous AI research.

Pamela Hindsمشاهده پروفایل

استاد

• Organizational Behavior
• Human-Computer Interaction
• Cross-Cultural Collaboration
• +۳ مورد دیگر

Pamela J. Hinds is the Rodney H. Adams Professor and Fortinet Founders Chair in Stanford University's School of Engineering, holding a joint appointment in the Department of Management Science and Engineering. She co-directs the Center on Work, Technology, and Organization and serves on the Director's Council for the Hasso Plattner Institute of Design. Her research focuses on technology's impact on teams, collaboration, and innovation in global and cross-cultural contexts. She earned her Ph.D. in Organizational Science and Management from Carnegie Mellon University (1997). Research Interests: Dr. Hinds explores cross-boundary work teams, particularly those spanning national borders, examining cultural dynamics, language barriers, and site visits' role in knowledge sharing. She investigates human-robot interaction in workplaces and emerging technologies' effects on work practices, including AI, 3D printing, and open innovation systems. Her work bridges organizational behavior, human-computer interaction, and global work dynamics. Awards & Recognition: Lasting Impact Award (2018) Senior Editor of Organization Science Co-editor of Distributed Work (MIT Press) Advising & Leadership: As department chair, Hinds shapes educational and research agendas. Her grants include NSF-funded studies on digital technologies in agriculture and crowd-based innovation. She advises initiatives at the intersection of technology, work design, and global collaboration. Labs & Teams: Co-leads the Center on Work, Technology, and Organization, fostering interdisciplinary research on modern work environments. Engages in Stanford's Design School (d.school) to integrate human-centered design principles into workplace innovation.

Xiaoming Liuمشاهده پروفایل

استاد

• Computer Vision
• Pattern Recognition
• Image and Video Processing
• +۴ مورد دیگر

Xiaoming Liu is the Anil K. and Nandita Jain Endowed Professor of Engineering and MSU Foundation Professor in the Department of Computer Science and Engineering at Michigan State University . Holding a Ph.D. from Carnegie Mellon University (2004), he leads cutting-edge research in computer vision and machine learning. Research Interests : Computer Vision Pattern Recognition Image and Video Processing Machine Learning Medical Image Analysis Multimedia Retrieval Recent Research Trends : Focus on 3D object detection and depth estimation Development of robust biometric recognition systems Integration of radar-camera fusion for autonomous systems Advancements in self-supervised and multimodal learning Exploration of adversarial AI security Creation of interpretable forgery detection frameworks Teaching : Spring 2013: CSE891-006 Computer Vision Seminar Fall 2012-2015: CSE803 Computer Vision Spring 2014-2017: CSE 471 Media Processing and Multimedia Contact Information : Email: liuxm@cse.msu.edu Office: EB 3137, Michigan State University Phone: +1 (517) 355-2359

Chen Liمشاهده پروفایل

استاد

• Data Management
• Database Systems
• Machine Learning
• +۸ مورد دیگر

Chen Li is a Professor in the Department of Computer Science at the University of California, Irvine (UCI), affiliated with the Donald Bren School of Information and Computer Sciences (ICS). He holds a Ph.D. from Stanford University and bachelor's and master's degrees from Tsinghua University. His research focuses on data management, including databases, query optimization, machine learning systems, and open-source tools like AsterixDB and Texera. He has received prestigious awards such as the NSF CAREER Award and IEEE Fellow recognition. Li is also a board member of the VLDB Endowment and the former Faculty Director of UCI's ICS Master of Computer Science Program. Education: Ph.D., Computer Science, Stanford University M.S. and B.S., Computer Science, Tsinghua University Research interests span next-generation databases, approximate query processing, and AI-driven data analytics. Notable contributions include the Texera system for collaborative data science workflows and the Apache AsterixDB project. He has led NIH-funded initiatives in diabetes research and pandemic prediction, emphasizing real-world applications of data science. Professional roles include PC co-chair of VLDB 2015, General Co-chair of SIGMOD 2027, and a visiting research scientist at Google. His awards highlight his impact in both academia and industry. Advising and mentoring are central to his career, with a focus on graduate education. He has pioneered outreach programs like DS4ALL to teach high-school students data science using Texera.

Kostas Bekrisمشاهده پروفایل

استاد

• Robotics
• Artificial Intelligence
• Computer Vision
• +۷ مورد دیگر

Kostas Bekris is a Professor in the Department of Computer Science at Rutgers University, specializing in Robotics and Artificial Intelligence. His research focuses on motion planning, autonomous manipulation, and robot control, with notable contributions to tensegrity robotics, perception-driven systems, and large-scale package handling. He leads a team conducting groundbreaking work in robotics, supported by grants from NSF, NASA, and industry collaborators like ExxonMobil. His group emphasizes interdisciplinary approaches, combining machine learning, topological methods, and differentiable physics modeling to advance robot capabilities in complex environments. Education details are not explicitly stated in the provided texts, but his academic career has included significant mentorship of PhD students and postdoctoral researchers. Key projects involve vision-driven manipulation pipelines, obstacle detection systems (PROBE), and resilient robot designs inspired by biological structures. He has been recognized for his work through prestigious awards including the NASA Early Career Grant and multiple NSF grants, as well as team achievements in robotics competitions like the Amazon Picking Challenge. Research interests span robotics subfields such as: Autonomous manipulation in cluttered environments Learning-based control for dynamic systems Topological data analysis for motion reasoning Tensegrity and soft robotics architectures Sim-to-real transfer in robotic tasks His team's work has produced open-source software tools and datasets, advancing benchmarks in manipulation and perception. Recent articles emphasize scalable solutions for industrial automation and robust navigation strategies in unstructured settings. Scientific achievements include: Development of PROBE for proprioceptive obstacle detection Advances in differentiable physics engines for tensegrity systems NSF-funded projects on robotic rearrangement and modular morphologies Advising contributions span over a decade, with current advisees focusing on topics like non-prehensile manipulation and large-scale storage optimization. Collaborations with industry (e.g., ExxonMobil) and academic partners (Yale University) reflect his commitment to applied robotics research. Labs and teams under his leadership include the Rutgers CS Robotics Group, contributing to projects like the ARIAC challenge platform and packing/industrial automation systems. Future work targets improved robot resilience in disaster scenarios and enhanced human-robot collaboration paradigms.

Joseph Eremondiمشاهده پروفایل

استادیار

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

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.

Anil K. Jainمشاهده پروفایل

استاد

• Pattern Recognition
• Biometrics
• Machine Learning
• +۳ مورد دیگر

Anil K. Jain is a University Distinguished Professor at Michigan State University, where he has taught and conducted research for over 50 years. His work focuses on Pattern Recognition , Biometrics , and Machine Learning , with foundational contributions to fingerprint, face, and palmprint recognition. B.S., Indian Institute of Technology, Kanpur (1969) M.S. and Ph.D., The Ohio State University (1970, 1973) in Electrical Engineering His research spans Computer Vision , Deep Learning , and Biometric Security , addressing challenges in adversarial robustness , demographic bias , and generative models . Recent publications emphasize transformer-based architectures , domain adaptation , and contactless biometric systems . Scientific awards include: Inductee, National Academy of Engineering (2016) Inductee, The World Academy of Sciences (2019) BBVA Foundation Frontiers of Knowledge Award (2025) Fellowships: Guggenheim, Humboldt, Fulbright Doctor Honoris Causa: 3 universities He has authored seminal works like Introduction to Biometrics and Handbook of Face Recognition , and served as Editor-in-Chief of IEEE Transactions on Pattern Analysis and Machine Intelligence . His leadership in Forensic Science includes roles on the Defense Science Board and AAAS study teams.