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

• Programming Language Theory
• Dependent and Refinement Types
• Computational Effects
• +۶ مورد دیگر

Danel Ahman is an Associate Professor at the Institute of Computer Science , University of Tartu , Estonia, specializing in programming language theory . His research focuses on dependent/refinement types , computational effects , and verified software . Education PhD in Theoretical Computer Science (University of Edinburgh, 2017) MPhil in Advanced Computer Science (University of Cambridge, 2012) BSc in Informatics (Tallinn University of Technology, 2010) Research Interests : Danel investigates programming languages with algebraic effects and effect handlers for verified software, exploring denotational/operational semantics and fibrational approaches to effects. His work bridges theoretical computer science with practical formal verification. Scientific Awards : Estonian Research Council grant (2025) Marie Skłodowska-Curie Fellowship (2019) PhD dissertation prize (2018) Google/Citrix dissertation awards (2012) Teaching & Supervision : He teaches courses like Logic in Computer Science and Functional Programming at the University of Tartu, and supervised BSc/MSc theses on topics including asynchronous effects and formal verification. Danel also organizes research seminars and guest lectures on F*.

Karina Gibertمشاهده پروفایل

استاد

• Data Science
• Artificial Intelligence
• Ethics in AI
• +۷ مورد دیگر

Karina Gibert is a Full Professor at Universitat Politècnica de Catalunya (UPC), specifically at the Faculty of Computer Science of Barcelona (FIB) in the Department of Statistics and Operations Research. With a permanent teaching position since 1990, she contributes to research and education with a focus on Data Science, Artificial Intelligence, Explainable AI, and Ethics in AI. Full Professor, UPC (since 1990) PhD in Informatics Engineering Postgraduate in Higher Education Teaching Director and co-founder of IDEAI research center Dean of the Official Professional College on Informatics Engineering of Catalonia Active in bridging the gender gap in STEAM through multiple initiatives Her research focuses on extracting strategic knowledge from data and intelligent systems with ethical and explainable perspectives. She has led various projects including Diet4You for personalized diets, INSESS-COVID19 for social vulnerability analysis, Top Rosies Talent for female AI development, and ciutadanIA for AI culture promotion. Her work spans health, environment, sustainability, tourism, and social technology applications. As an editor of Environmental Modeling and Software journal and active academic, she contributes to international conferences, working groups, and research collaborations. Her service includes membership on various ethics and AI strategy committees and advisory boards. Women Tech Award 2023 National Informatics Engineering Award in Digital Dissemination 2022 Ada Byron Award 2022 Honorific Mention of Creu Casas award 2021 donaTIC 2018 Award Finalist at AMETIC Awards 2021 Finalist of European Social Services Awards 2021

Claudia Patricia Ayala Martinezمشاهده پروفایل

مدرس

• Empirical Software Engineering
• Off-The-Shelf Adoption
• Requirements Engineering
• +۴ مورد دیگر

Claudia Patricia Ayala Martinez serves as a Lecturer in the Department of Service and Information Systems Engineering at the Barcelona School of Informatics (FIB), Polytechnic University of Catalonia (UPC). She is actively involved in research through the GESSI - Group of Software and Service Engineering and the UPC inSSIDE - integrated Software, Services, Information and Data Engineering research groups. Her career spans over two decades of academic contributions in software engineering with consistent publication output. Dr. Ayala Martinez's research focuses on Empirical Software Engineering, Off-The-Shelf Adoption, Requirements Engineering, and Software and Architectural Quality. Her work demonstrates an evolution from traditional software engineering topics toward increasing integration with machine learning and AI systems. Recent publications show particular emphasis on software quality indicators, ML pipeline design principles, trustworthiness of ML models, and green computing in software systems. Analyzing her publication trends reveals a consistent research trajectory with growing focus on AI/ML integration in software engineering. Her work spans empirical studies, systematic literature reviews, and practical industrial applications. The research shows strong connections between software quality metrics, architectural decisions, and emerging technologies, with increasing attention to ethical considerations in ML systems and sustainability in software development. Most-Influential Paper Award at the 30th IEEE International Requirements Engineering Conference Dr. Ayala Martinez has participated in numerous competitive R&D projects including those funded by the Spanish National Research Plan, Horizon 2020, and the Catalan Innovation Strategy. Her collaborative network includes extensive work with Professor Javier Franch Gutierrez (69 joint publications), Silverio Juan Martinez Fernandez (26 joint publications), and Cristina Gomez Seoane (20 joint publications). Her research has been supported by various national and European funding programs focusing on software engineering, quality assessment, and open source adoption. She is actively involved with the GESSI and inSSIDE research groups at UPC, which focus on integrated software, services, information, and data engineering. These groups maintain strong industry connections and have produced significant research in empirical software engineering, reference architectures, and quality assessment methodologies. Her recent work shows increasing collaboration with researchers working at the intersection of software engineering and artificial intelligence.

Pere-Pau Vázquezمشاهده پروفایل

استادیار

• Information Visualization
• Scientific Visualization
• Medical Data Visualization
• +۶ مورد دیگر

Pere-Pau Vázquez is an Assistant Professor in AI for Visual Computing at the Computer Vision Lab, TU Wien, Austria . Previously, he held academic positions at the ViRVIG Group and Facultat d'Informàtica de Barcelona (UPC) , where he taught courses in Programming, Computer Graphics, and Visualization for over 20 years. His research focuses on Information Visualization, Scientific Visualization, Medical Data Visualization, Molecular Visualization, and AI applications to Visual Computing . Current Teaching : Data Visualization, Fast Realistic Rendering, Information Visualization, Medical Images, Scientific Visualization, Virtual Reality, and 3D Medical Visualization. Former PhD Students : Elena Molina, Alexandra Cortez, Jesús Díaz, Pedro Hermosilla, Eva Monclús. His scientific awards include the Best PhD Thesis Award (UPC, 2003), Best Student Paper Award (SPIE, 2012), and Best Paper Award (International Conference on Computer Graphics Theory and Applications, 2013). Recent publications explore AI integration in biomedical visualization, molecular data analysis, and interactive techniques for volume rendering. He serves on the EuroGraphics Executive Board as Secretary and is active in steering committees for EuroVis and Visual Computing for Biology and Medicine . His work bridges Computer Graphics, Artificial Intelligence, and Human-Computer Interaction , with applications in medical and molecular data analysis.

• Political Communication
• Public Opinion Studies
• Crisis Communication
• +۴ مورد دیگر

Carles Pont Sorribes is an Associate Professor and Vice-Dean at the Faculty of Communication at Universitat Pompeu Fabra (UPF), where he also directs the Journalism Degree program. He serves as Academic Director of the Master in Political and Institutional Communication at UPF Barcelona School of Management. His academic journey includes a Ph.D. in Social Communication, a Master's in Social Communication, and a Bachelor's in Journalism and Education Sciences. Education: Ph.D. in Social Communication Master's in Social Communication Bachelor's in Journalism and Education Sciences His research focuses on political communication, public opinion, risk/crisis communication, and journalism. Key themes include the Catalan sovereignty process's international media coverage, digital news credibility, and media engagement strategies. Recent work explores AI's role in journalism training and the impact of disinformation on senior populations. Publications highlight trends in crisis communication (e.g., Ebola and Germanwings disasters), the framing of Catalan independence in global media, and the evolution of Twitter as an emergency communication tool. His books include El impacto del engagement y el futuro de la empresa periodística (2022) and Risk and News (2020). Dr. Pont Sorribes has no listed scientific awards but contributes to academic-industry collaboration through his roles in educational programs. His work emphasizes media sustainability and audience loyalty, with proposals for operational frameworks in journalism.

Jose Antonio Gomez Hernandezمشاهده پروفایل

استاد

• Library Science
• Digital Competencies
• Information Science
• +۴ مورد دیگر

Jose Antonio Gomez Hernandez is a Professor at the University of Murcia , affiliated with the Faculty of Communication and Documentation and the Department of Library and Documentation Science . He holds a Doctorate from the University of Murcia (2006), completing his thesis on the role of libraries in higher education. His research focuses on public libraries' societal roles, digital literacy, transparency in governance, and social inclusion. Key projects include the IRIS Program , which educates students on transparency and participatory governance. His work emphasizes libraries as hubs for digital empowerment, particularly for marginalized groups like migrant women and vulnerable populations. He has collaborated on projects funded by grants like OTRI 34820, addressing digital competencies and public library innovation. His publications explore topics such as public library functionality, citizen engagement, and the intersection of technology with civic rights. He is part of the Libraries, Archives and Information Culture research group. Recent articles highlight his contributions to understanding digital skills programs, social capital creation in libraries, and the alignment of libraries with UN Sustainable Development Goals. His work bridges academic research with practical initiatives, advocating for libraries as essential institutions in fostering equitable societies.

• Power sector regulation
• Security of supply
• Capacity remuneration mechanisms
• +۵ مورد دیگر

Paolo Mastropietro is a Research Professor at the Institute for Research in Technology (IIT) of Comillas Pontifical University in Madrid. He holds a Master's degree from the University of Rome Tor Vergata (2009) and a PhD from Comillas University (2016), focusing on capacity remuneration mechanisms. His career includes private sector work in Italy and Spain, a UNV Project Officer role in Ethiopia (2011), and joining IIT in 2012 under the SETS Erasmus Mundus PhD program. Affiliations: IIT, School of Engineering (ICAI), Comillas Pontifical University Research Interests: Power sector regulation, security of supply, capacity remuneration mechanisms, regional markets, tariff design, and energy sustainability His research emphasizes regulatory frameworks for energy transition and decarbonization, with contributions on hydrogen markets, electricity storage, and demand response integration. Recent work includes analysis of EU market reforms, pandemic-related energy poverty measures, and capacity mechanisms in Latin America. Key projects include the EU-funded ONESYSTEM (2023–2028) and DEFINER (2022–2025) initiatives, focusing on energy system integration and demand flexibility. He advises on regulatory modernization in Peru, Colombia, and Panama, and has authored over 40 journal articles, books, and technical reports. Awards: 2015 ICER Distinguished Scholar Award, Iberdrola Scholarship (2020) Grants: Projects funded by MICIU, World Bank, European Commission, and others He supervises doctoral research, including P. Brito Pereira’s work on future-proof capacity mechanisms. His expertise spans international energy policy, with engagements at ACER and MIT, and contributions to energy transition strategies globally.

• Cloud Computing
• Green Computing
• High-Performance Computing
• +۷ مورد دیگر

Jordi Guitart Fernández is a Professor at the Department of Computer Architecture, Barcelona School of Informatics (FIB), Universitat Politècnica de Catalunya (UPC). He is also affiliated with the Barcelona Supercomputing Center (BSC-CNS), a leading national supercomputing facility. He leads the CROMAI research group, focusing on Computing Resources Orchestration and Management for AI. His work bridges high-performance computing, cloud systems, and artificial intelligence. Research Interests: Cloud Computing and Edge Computing Green and Energy-Efficient Computing Containerization and Virtualization for HPC Resource Orchestration and Management Autonomic and Self-Adaptive Systems Machine Learning Workflow Management AI-Driven System Optimization His recent publications reveal a strong focus on intelligent management of computing resources across cloud, edge, and HPC environments using machine learning and agent-based frameworks. He investigates performance, efficiency, and reliability in containerized AI and HPC workloads, particularly within Kubernetes and distributed infrastructures. His work increasingly integrates human-in-the-loop and trustworthiness aspects into AI systems. Scientific Awards: CLOUD Conference 2025 Best Paper Award VISIGRAPP 2025 Best Student Paper Award Premi Extraordinari de Doctorat 2025 - Àmbit d'Enginyeria de les TIC Test of Time Award Honorable Mention (e-Energy) Reconeixement als Mèrits Docents d'Especial Qualitat Top reviewers for Polytechnic University of Catalonia (Computer Science) - September 2017 Advising and Grants: He has advised doctoral students, including Peini Liu. He leads and participates in numerous competitive R+D+i projects, such as CROMAI and DALEST, funded by national and European programs like HORIZON 2020 and the Spanish State Research Plans. His work is supported by grants focused on knowledge generation and industrial leadership in computing technologies. Labs and Teams: He is the leader of the CROMAI - Computing Resources Orchestration and Management for AI research group at UPC. He also collaborates closely with the Barcelona Supercomputing Center (BSC-CNS), contributing to large-scale computing initiatives and strategic research agendas in Europe.

Marta Casanellasمشاهده پروفایل

استاد

• Algebraic Geometry
• Computational Biology
• Phylogenetics
• +۴ مورد دیگر

Marta Casanellas is a full professor in the Department of Mathematics at the Polytechnic University of Catalonia (UPC) and a researcher at the Centre de Recerca Matemàtica. She teaches at the Faculty of Mathematics and Statistics, ETSEIB, and FIB. She earned her PhD in mathematics from the University of Barcelona under RM Miró-Roig, focusing on algebraic geometry and liaison theory. After completing a postdoc at UC Berkeley with a Fulbright Scholarship, she shifted her research to applications of algebraic geometry in computational biology, particularly phylogenetics. Her educational background includes a PhD from the University of Barcelona (2002), followed by a postdoctoral fellowship at UC Berkeley (2002-2003) supported by a Fulbright Scholarship. She obtained a prestigious Ramón y Cajal contract at UPC in 2003, which marked her transition to interdisciplinary research at the intersection of mathematics and biology. Casanellas' research focuses on applying algebraic and geometric techniques to phylogenetics, with particular emphasis on evolutionary models, phylogenetic invariants, and computational methods for genomic data analysis. Her work bridges pure mathematics (particularly algebraic geometry) with biological applications, developing mathematical frameworks to reconstruct evolutionary histories and understand genomic relationships. She has published extensively in both mathematics journals like Advances in Mathematics and biology journals like Molecular Biology and Evolution. Her recent publications demonstrate a consistent focus on developing algebraic methods for phylogenetic analysis, with increasing attention to heterogeneous evolutionary processes across lineages, time-reversible models, and computational implementations of theoretical results. The trend shows progression from theoretical foundations in algebraic geometry toward increasingly sophisticated and applicable computational methods for biological data. Fulbright Scholarship for postdoctoral research at UC Berkeley Ramón y Cajal contract (2003) Casanellas has supervised PhD students including A. Kedzierska (co-supervised with R. Guigó of the CRG). She has served as principal investigator for three competitive Spanish government projects involving fifteen researchers each. She has held significant academic leadership roles including Deputy Director of Research of the Department of Mathematics at UPC (2015-2018), head of studies for the Degree in Data Science and Engineering at UPC (2018-2022), and currently coordinates UPC's PhD in Bioinformatics program and Bachelor's Degree in Bioinformatics. She leads the BIO-GEOMAP research group focused on applying mathematical techniques to biological problems.

John C Heatonمشاهده پروفایل

استاد

• Asset pricing
• Portfolio allocation
• Time series econometrics
• +۳ مورد دیگر

John C. Heaton is the Myron S. Scholes Distinguished Service Professor of Finance at the University of Chicago Booth School of Business and Director of the Anthony Pritzker Family Foundation - Family Office Initiative. He joined Chicago Booth in 2000 after serving as the Nathan S. and Mary P. Sharp Distinguished Professor of Finance at Northwestern University's Kellogg School of Management, with additional positions at MIT's Sloan School of Management and the Hoover Institution. Heaton maintains an active research affiliation as a research associate of the National Bureau of Economic Research. His educational background includes: Bachelor's degree in commerce from the University of Windsor (1982) Master's degree in economics from the University of Western Ontario (1984) PhD in economics from the University of Chicago (1989) Heaton's research program centers on asset pricing, portfolio allocation, and time-series econometrics , with particular emphasis on understanding how macroeconomic fluctuations affect financial markets. His work investigates the long-run risk-return tradeoff in asset valuation and how background risks from labor and entrepreneurial income influence investment decisions. He approaches these questions through rigorous econometric analysis combined with economic theory, seeking to bridge the gap between academic research and practical investment challenges. Analysis of Heaton's publications reveals a consistent focus on market frictions and their implications for asset pricing and portfolio choice. His research demonstrates how transaction costs, borrowing constraints, and incomplete markets affect investor behavior and market outcomes. A distinctive contribution is his work on long-run risk components that influence asset valuations despite being realized far into the future. Heaton's scholarly achievements have been recognized through: Alfred P. Sloan Research Fellowship (1993-1995) National Science Foundation Fellowship (1993-1998) Ongoing research affiliation with the National Bureau of Economic Research As an educator, Heaton teaches advanced courses in asset pricing, financial instruments, fixed income, and investments, with a focus on connecting theoretical frameworks to real-world investment challenges. His directorship of the Family Office Initiative reflects his expertise in wealth management across generations. His research continues to influence both academic discourse and practical approaches to understanding risk in financial markets, with current teaching commitments extending through 2026.

• International Arbitration
• Mediation
• Alternative Dispute Resolution
• +۵ مورد دیگر

Marta Gonzalo Quiroga serves as a faculty member at King Juan Carlos University's School of Law, specializing in Private International Law with extensive contributions to international arbitration, mediation systems, and the intersection of artificial intelligence with legal frameworks. Her academic profile spans over two decades of scholarly work, thesis supervision, and active engagement in legal reform initiatives across European and Latin American jurisdictions. Her research focuses on the evolving landscape of Alternative Dispute Resolution (ADR) mechanisms, with particular emphasis on how artificial intelligence transforms family law arbitration, sustainable development goal integration in mediation practices, and cross-border legal harmonization. Recent publications demonstrate a strategic pivot toward technology's role in legal systems, examining AI applications in international arbitration while maintaining foundational work in traditional mediation frameworks and private international law. Academic leadership is evidenced through her direction of four doctoral theses addressing critical gaps in mediation practices across Ecuador, Spain, and Mexico, with research outputs contributing to emerging frameworks like the University Coexistence Law and transnational mediation protocols. Her collaborative work extends to European regulatory frameworks, particularly in developing standardized mediation practices across jurisdictions while addressing cultural and systemic differences. Professional engagement includes significant contributions to collective works on international dispute resolution, with recent chapters addressing psychosocial risks in digital-age conflict resolution and technological innovations in workplace mediation. Her scholarly impact is reflected in a publication record spanning 25 journal articles, 48 collective work contributions, 11 books, and consistent engagement with contemporary legal challenges through both theoretical and practical lenses.

• Religious Education
• Islamic Studies
• Educational Psychology
• +۴ مورد دیگر

Francesc Xavier Marín Torné serves as an Associate Professor in the Department of Educational Sciences at the Faculty of Psychology, Educational Sciences and Sports, Blanquerna, Universitat Ramon Llull in Barcelona, Spain. His academic profile demonstrates extensive engagement with religious education, particularly Islamic studies within Catalan public schools, and the educational potential of sacred architecture. His research bridges educational theory, religious studies, and architectural analysis, with a distinctive focus on the Sagrada Familia basilica as a paradigmatic educational space. His primary research interests include: Religious education in pluralistic societies, with particular emphasis on Islamic education in Catalan public schools The pedagogical potential of sacred architecture and worship spaces as educational environments Intercultural and interreligious dialogue in educational contexts Educational approaches to social inclusion and coexistence with Maghrebi students The psychological dimensions of religious education and misinformation Peace education through religious understanding and architectural spaces Dr. Marín Torné's scholarly output reveals a cohesive trajectory examining worship spaces through multiple lenses - theological, architectural, and pedagogical - with the Sagrada Familia serving as his central case study. His research also addresses contemporary societal challenges including the psychological effects of pandemic misinformation and the integration of religious minorities in educational settings. This work contributes significantly to understanding how religious diversity can be accommodated within secular educational frameworks while maintaining social cohesion. He currently leads the GREDA (Research Group in Education, Didactics and Learning) project (2022-2025) funded by AGAUR, and previously directed the EDUISLAM project (2023-2024) analyzing Catalonia's pilot plan for Islamic religious education. His earlier work includes the 2007-2008 project developing guidelines for secondary school teachers working with Maghrebi students and the 2015 Ramon Llull legacy project commemorating the 700th anniversary of Llull's death. Dr. Marín Torné maintains active research collaborations across multiple disciplines and institutions, contributing to both theoretical scholarship and practical applications in teacher training and educational policy development. His work demonstrates consistent scholarly productivity with numerous publications appearing through 2024.

Cristian Gómez Canelaمشاهده پروفایل

استاد

• Environmental Toxicology
• Neurotoxicology
• Analytical Chemistry
• +۵ مورد دیگر

Cristian Gómez Canela is a Full Professor in the Department of Analytical and Applied Chemistry at IQS School of Engineering (IQS - Institut Químic de Sarrià), specializing in environmental analytical chemistry with a focus on neurotoxicology and aquatic toxicology. He leads the Environmental Process Engineering and Simulation Group and maintains an active research profile with significant h-index metrics reflecting substantial scholarly impact. His research interests center on environmental toxicology, particularly neurotoxicology of pharmaceuticals and other contaminants in aquatic systems. Using advanced analytical techniques including liquid chromatography and tandem mass spectrometry, his work examines the effects of neuroactive compounds on model organisms like zebrafish and Daphnia magna . His fingerprint reveals strong expertise in neurotransmitter analysis (66%), Daphnia magna toxicology (64%), serotonin-related research (27%), and neurotoxicity mechanisms (21%). His publication record shows consistent productivity with 92 scientific outputs, demonstrating increasing research activity from 2011 to the present, with particularly strong output in recent years (15 publications in 2024 alone). His work spans environmental chemistry, toxicology, and analytical methodology development, with a clear trajectory toward understanding the neurological impacts of environmental contaminants. Zebra Fish neurotoxicology (100%) Neurotransmitter analysis (66%) Daphnia magna toxicology (64%) Behavioral neuroscience (33%) Serotonin-related research (27%) Liquid chromatography methods (27%) Dr. Gómez Canela actively supervises doctoral research through the FI-2025 Joan Oró program and leads multiple significant research projects including CHEMIPARK (as Principal Investigator) and the GESPA environmental process engineering group. His current projects extend through 2028, indicating ongoing research activity and leadership in his field.

Gemma Boledaمشاهده پروفایل

استاد پژوهش

• Computational Linguistics
• Linguistic Theory
• Semantics
• +۳ مورد دیگر

Gemma Boleda is an ICREA Research Professor at Universitat Pompeu Fabra in Barcelona, Spain, where she co-directs the Computational Linguistics and Linguistic Theory (COLT) research group. Her research focuses on understanding how humans convey meaning through language, investigating the formal properties that support communication, and exploring how languages are shaped by cognitive and communicative factors. Her primary interests include lexical semantics, cross-linguistic variation, and the integration of linguistic theory with computational methods. She employs interdisciplinary approaches combining linguistics, artificial intelligence, and cognitive science, utilizing large-scale data analysis to study universal patterns and variations across languages. Boleda's publications demonstrate a consistent focus on computational semantics, lexical variation, and language evolution. Her recent work explores the intersection of symbolic and neural approaches to language processing, lexical creativity across development and evolution, and computational models of semantic phenomena like colexification and polysemy. She teaches Computational Semantics in the Master's in Theoretical and Applied Linguistics program and has secured significant research funding including ERC Starting Grants. Her work has contributed valuable linguistic resources such as the ManyNames dataset and Database of Catalan Adjectives.

• Computer Networks
• Internet of Things (IoT)
• Sensor Networks
• +۷ مورد دیگر

Jorge Garcia Vidal is a Professor in the Department of Computer Architecture at the School of Computer Science, Universitat Politècnica de Catalunya (UPC). He is a key member of the CNDS - Computer Networks and Distributed Systems research group, with a sustained record of research activity from the late 1980s to the present, including publications projected into 2025. His work bridges theoretical network performance analysis and applied IoT systems, particularly in environmental monitoring. His research interests center on Computer Networks , Internet of Things (IoT) , Sensor Networks , and Data Quality in IoT . He has made significant contributions to ATM network performance, medium access control, and traffic modeling. More recently, his focus has shifted to air quality monitoring using low-cost sensor networks, employing techniques in Graph Signal Processing , Machine Learning , and Anomaly Detection to improve data reliability and estimate pollutants like black carbon. The recent article trends show a strong emphasis on developing data-driven frameworks, virtual sensors, and robust models for environmental IoT platforms. His work integrates advanced signal processing and machine learning to address the challenges of heterogeneous, low-cost sensor data in urban settings. His scientific achievements have been recognized with awards including the Premio Extraordinario de Doctorado and the Premio Mejor Tesis Doctoral . He has advised several doctoral students, including Pau Ferrer-Cid, David Fusté Vilella, Steluta Iordache, and Julian David Morillo Pozo. He is actively involved in numerous competitive and non-competitive R&D projects, such as those related to digital twins, IoT platforms for smart cities, and nature-based urban solutions, often funded by state and regional programs. He collaborates extensively within UPC and with external partners. His research is conducted primarily within the CNDS research group at UPC, a collaborative environment focused on computer networks and distributed systems, with connections to broader initiatives in smart cities and environmental monitoring.