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

Julia Anuschka Meßmerمشاهده پروفایل

پژوهشگر

• Cognitive Neuroscience
• Memory Research
• Schema-based Learning
• +۳ مورد دیگر

Dr. Julia Anuschka Meßmer is a Researcher at Saarland University in the Faculty of Psychology, working in the Experimental Neuropsychology Unit. She currently serves as a research associate in project A6 of the Sonderforschungsbereich 1102 (Collaborative Research Center 1102), focusing on 'Expectancy-based mechanisms during language comprehension and their relation to memory formation and retrieval' since July 2023. Her research centers on neurocognitive processes underlying schema-based learning and memory retrieval, with particular interest in how schemas influence the formation of memory representations. She primarily employs event-related potentials (ERPs) to investigate these phenomena, examining additional factors affecting schema-based learning and the characteristics of memory representations formed under congruent schemas. Her work bridges cognitive psychology with neuroscientific methodology to understand fundamental memory mechanisms. Analysis of her publications from 2020-2024 reveals a cohesive research trajectory examining how prior knowledge structures facilitate memory processes. Her work consistently applies ERP methodology to investigate schema effects on memory formation and retrieval, with increasing sophistication in experimental paradigms and theoretical frameworks. This research contributes significantly to understanding the neural basis of how existing knowledge shapes new learning. Dr. Meßmer has taught Master's level courses in Psychology since 2021, including seminars on 'Plasticity, Learning and Memory' and 'EKPs in Clinical Research.' Her research has been supported through the Sonderforschungsbereich 1102, a major German research funding initiative, indicating institutional recognition of her work's significance. She participated in the 'Cognitive Neuroscience Skills Training in Cambridge (COGNESTIC)' summer school in 2022, demonstrating international research engagement. She is affiliated with the Experimental Neuropsychology Unit at Saarland University, which appears to be part of a broader research network focused on cognitive neuroscience. Her work connects with the Cognitive and Action Group within the university's psychology department, suggesting interdisciplinary collaboration within the faculty.

• Seventeenth-Century Literature
• Renaissance Writing and Culture
• Women's Writing
• +۶ مورد دیگر

Sue Wiseman is Professor of Seventeenth Century Literature at Birkbeck, University of London's School of Creative Arts, Culture and Communication. She leads the London Renaissance Seminar and serves as Principal Investigator for the Leverhulme Trust-funded project Written Worlds in Seventeenth-Century England: the Work of Non-elite Writing . Her academic leadership includes supervising 15 doctoral researchers to completion on diverse topics spanning love elegy, civil war writing, supernatural discourse, and women's poetry. Wiseman's research centers on Renaissance and seventeenth-century writing with specific focus on non-elite literary production, women's writing, civil war literature, and the cultural history of love. Her work examines textual practices across social strata—from Derbyshire elites to London widows—using material evidence alongside literary analysis. Current projects explore wolf-transformation narratives, captivity accounts, legal constructions of 'gypsies', and psalm usage in Reformation contexts. She has published on Katherine Austen, John Donne, Elizabeth Delaval, and Mary Rowlandson, demonstrating interdisciplinary engagement with history, law, and material culture. Her publications reveal consistent engagement with marginalized voices and textual forms. Recent articles analyze non-elite networks ( Textual Practice 2022), 'gypsy' discourses in Reformation law ( Proceedings of the British Academy 2022), and early modern beast literature ( Textual Practice 2019). Monographs like Writing Metamorphosis (2014) and Conspiracy and Virtue (2006) establish her expertise in Ovidian reception and women's political writing. She frequently examines how material contexts shape literary production, particularly in edited collections like Early Modern Women and the Poem (2013). Wiseman actively mentors doctoral researchers through both literary-focused and interdisciplinary projects. Current supervisees examine classical reception in Burton/Browne, psalm usage in Reformation England, and Protestant identity in sixteenth-century portraiture. Alumni theses cover topics including civil war elegy, early modern piracy, women's mausoleums, and customary culture in Shakespeare. Her supervision philosophy welcomes proposals bridging literary studies with history, theology, and material culture. She teaches postgraduate modules including Postgraduate Research , The Woman Question: Medieval to Renaissance , and Medieval and Renaissance Literatures , emphasizing historical contextualization and methodological innovation. Her Leverhulme project Written Worlds exemplifies commitment to recovering non-canonical writing practices through collaborative digital humanities approaches.

• Information Science & Library Science
• Computational Social Science
• Policy Simulation
• +۳ مورد دیگر

Zhuoren Jiang is a tenure-track Assistant Professor and Doctoral Supervisor at the Department of Information Resources Management, School of Public Affairs, Zhejiang University. He holds a Ph.D. and serves as a key faculty member in the department, with his office located in Room 612-2 of the School of Public Affairs building at Zhejiang University's main campus in Hangzhou. Dr. Jiang's research spans multiple interdisciplinary domains, with primary focus on Information Science & Library Science, Computational Social Science, Policy Simulation, and Artificial Intelligence Algorithms and Applications. His work bridges social science, data science, and computer science, creating innovative approaches to understanding complex social phenomena through computational methods. He has developed expertise in graph representation learning, large language models, and their applications in scientific impact prediction, legal reasoning, and policy analysis. His publication record reveals a strong trajectory in high-impact venues, with recent work focusing on multimodal business analysis, legal judgment prediction, policy style measurement, and scientific peer review systems. His research demonstrates an increasing emphasis on integrating large language models with graph-based approaches to solve complex interdisciplinary problems, particularly in the domains of legal informatics and scientific communication. Zhejiang University Teaching Excellence Award, 2024 Best Short Paper Awards Nominee, SIGIR Conference, 2024 Alibaba Research Fellowship, 2019 & 2020 Boya Postdoctoral Fellowship, Peking University, 2016 Best Poster Award, JCDL, 2013 Dr. Jiang actively mentors students and seeks highly self-motivated PhD and master's candidates interested in interdisciplinary research. He has served as principal investigator or sub-project lead for multiple research projects including National Key R&D Program, Major Projects of the National Social Science Foundation of China, and Projects of the National Natural Science Foundation of China. His academic service includes editorial board membership for Frontiers in Big Data and peer reviewing for numerous top journals including Information Processing & Management and Journal of the Association for Information Science and Technology. He maintains active collaborations with industry, having previously served as a consultant (visiting professor) at Alibaba DAMO Academy and currently as a collaborating expert at Tongyi Lab. His professional memberships include ACM (Association for Computing Machinery), ACM SIGIR, ACL (Association for Computational Linguistics), and ASIS&T (Association for Information Science and Technology).

• Multimodal Perception
• Perception and Interaction in Social Networks
• Perception and Action with Digital Agents
• +۵ مورد دیگر

Markus Huff serves as a Full Professor of Applied Cognitive Psychology and head of the Applied Cognitive Psychology group at the Eberhard Karls University of Tübingen since 2020. He concurrently leads the Perception and Action research group at the Leibniz Institute for Knowledge Media (IWM). His research program investigates perception and action processes within digital environments through a perception-oriented framework that examines how media-mediated content influences human cognition and behavior. Dr. Huff earned his academic foundation in psychology, mathematics, and computer science at the University of Tübingen. Following his psychology degree, he completed his doctorate (Dr. rer. nat.) at the IWM and University of Tübingen with groundbreaking research on verbal influence on visual memory, which earned him the prestigious Leibniz Young Researcher Award in 2007. His academic trajectory includes postdoctoral positions at IWM, University of Tübingen, and Washington University in St. Louis, followed by a junior professorship in general psychology at Tübingen before heading the Department of Research Infrastructures at the German Institute for Adult Education. Professor Huff's research spans four primary interconnected domains. His Multimodal Perception research investigates how humans process and mentally organize media content across various formats including texts, images, comics, and videos. The Perception and Interaction in Social Networks focus examines the complex interplay between attitudes, knowledge, and metacognition during information reception and social interaction in digital spaces. His work on Perception and Action with Digital Agents explores human-AI communication dynamics, while his research on Risk Perception of Artificial Intelligence addresses the psychological dimensions of human responses to emerging digital technologies. Additionally, he conducts significant metascientific research examining policy effectiveness in the research process, with notable findings on research data policies. Analysis of Professor Huff's recent publication record reveals a clear trajectory toward increasingly sophisticated investigations at the intersection of cognitive psychology and digital technology. His work demonstrates methodological rigor across visual perception, audio-visual integration, event comprehension, and the cognitive impacts of digital environments. A particularly noteworthy trend is his expanding focus on AI-related perception and risk assessment, reflecting the growing importance of human-AI interaction in contemporary cognitive science. His research consistently bridges theoretical cognitive frameworks with practical applications in educational technology, health communication, and digital media design. Leibniz Young Researcher Award by the Leibniz Association (2007) Professor Huff directs a multidisciplinary research group comprising members from both the Applied Cognitive Psychology group at the University's Department of Psychology and the Perception and Action group at the Leibniz Institute for Knowledge Media. His research program has secured substantial funding, evidenced by his prolific publication record in high-impact journals spanning psychology, cognitive science, human-computer interaction, and educational technology. His grant portfolio reflects strong interest in understanding human cognition in digital contexts, with particular emphasis on educational applications, health communication, and human-AI interaction. His laboratory work employs advanced experimental methodologies including eye-tracking, behavioral experiments, and computational modeling to investigate how people process information across various media formats and interact with increasingly sophisticated digital agents. The research environment fosters collaboration between cognitive psychologists, computer scientists, and educational researchers, creating a rich interdisciplinary context for advancing understanding of human perception and action in our rapidly evolving digital landscape.

Reinhard Johlerمشاهده پروفایل

استاد

• Cultural Anthropology
• European Ethnology
• Migration Studies
• +۵ مورد دیگر

Reinhard Johler is Professor of Empirical Cultural Studies and Scientific Director of the Institute for Danube Swabian History and Regional Studies at Eberhard Karls University of Tübingen. He joined the university in 2002 after previous positions at the University of Vienna and guest professorships at École Normale Supérieure (Paris) and Sapienza University of Rome. His educational background includes a Magisterium (1986) and Doctorate (1994) in European Ethnology from the University of Vienna, with supplementary studies in social anthropology at Cambridge and Milan. Research Focus: Johler's work examines cultural transformation through ethnographic approaches, with emphasis on: Cultural hybridity in post-Habsburg societies Migration, displacement, and European integration War anthropology and conflict studies Cultural heritage in Southeastern Europe Disaster cultures and social resilience Publications: His extensive scholarly output (30+ books, 150+ articles) demonstrates consistent focus on ethnographic methodologies applied to European cultural transitions. Recent works analyze multiculturalism in Istria, refugee integration, and the anthropology of wartime knowledge production. Publications frequently employ comparative frameworks spanning Alpine regions, the Danube basin, and Mediterranean Europe. Awards & Leadership: Recipient of the Research Award of the State of Vorarlberg (2012, 2019) President of German Society for Folklore (2007-2011) Dean of Faculty for Social and Behavioral Sciences (2006-2008) Principal Investigator in CRC 923 'Threatened Order' project Current Projects: Johler directs interdisciplinary research initiatives including 'Reading the Danube' (transnational narratives) and 'Sprachalltag II' (linguistic atlas digitization). He oversees ethnographic exhibitions and cultural documentation projects at the Institute for Danube Swabian History.

Manish Motwaniمشاهده پروفایل

استادیار

• Software Engineering
• Automated Program Repair
• Software Testing
• +۵ مورد دیگر

Manish Motwani is an Assistant Professor at the School of Electrical Engineering and Computer Science (EECS) at Oregon State University. His research focuses on improving software quality through automation, including techniques for analyzing code repositories, automated testing, program repair, and natural-language-driven validation. He has active collaborations with Georgia Tech and has developed tools like Swami, RAFL, and SOSRepair to address software maintenance challenges. Education: Ph.D. in Computer Science from University of Massachusetts Amherst Prior research at Tata Research Development and Design Centre (TRDDC) in Pune, India Research Interests: Automated Program Repair to address patch overfitting issues Testing and Debugging of High-Performance Computing (HPC) applications Automated REST API specification generation via static analysis Integrating natural-language artifacts (bug reports, requirements) into repair workflows Ontological modeling for regulatory and product requirements Service and Contributions: PC member for IEEE/ACM ICPC (2025), ACM ISSTA (2025), and multiple tracks at ICSE, FSE, ESEM Reviewer for IEEE Transactions on Software Engineering (TSE) Developed publicly available benchmarks and frameworks (JaRFLy, Swami, SOSRepair) Patents: US Patent 10146762B2 (Dec 2018): Automated Business Rule Classification US Patent 9972016B2 (May 2018): Automated Regulatory Interpretation

• Urban Studies
• Cultural Geography
• Critical Theory
• +۴ مورد دیگر

Nuria Arbones Aran is a Lecturer and researcher affiliated with the Faculty of Business and Economics (FBE) at the University of Amsterdam, where she is part of the Centre for Applied Research on Economics & Management (AMSIB/CEDIS). Her work bridges urban studies, cultural geography, and critical pedagogy, focusing on marginalized urban spaces and participatory research methods. Education: Holds a PhD, though specific academic qualifications are not detailed in the provided materials. Research Interests: Nuria specializes in urban imaginaries, counter-mapping practices, and semi-peripheral urban development. She explores how spatial narratives shape perceptions of cities like Amsterdam Southeast, integrating critical theory with grassroots methodologies. Recent projects emphasize affective engagement in urban renewal and curriculum innovation in business education. Key Contributions: Her 2024 work on counter-mapping urban semi-peripheries and 2023 IMAGE Case Compilation demonstrate her commitment to actionable research. She co-organized events like Cultuur is bijna alles (2023) and presented at the DEAR FUTURE Festival (2022). Awards: Recipient of the 2022 Encyclopedie Mapping Imaginaries award for contributions to urban knowledge. Media Engagement: Featured in a French documentary ERASMUS, ARE YOU THERE? (2017). Collaborations: Active in interdisciplinary networks with researchers like Saska Petkova and Radek Radojevic, focusing on digital methods and participatory urban research.

Aaron Stebnerمشاهده پروفایل

استاد

• Manufacturing
• Machine Learning
• Materials Science
• +۳ مورد دیگر

Aaron Stebner is the Eugene C. Gwaltney, Jr. Chair in Manufacturing and a Professor at the Georgia Institute of Technology's College of Engineering. His research bridges mechanical engineering, materials science, and data science, focusing on additive manufacturing (AM), machine learning integration, and materials characterization. He leads The Beam Team , leveraging synchrotron and neutron facilities for multi-scale studies. Education: Ph.D. (Mechanical Engineering), Northwestern University, 2012 M.S. (Mechanical Engineering), The University of Akron, 2008 B.S. (Mechanical Engineering), The University of Akron, 2005 Research Interests: Additive Manufacturing: Process qualification, material optimization, and high-throughput characterization. Shape Memory Alloys (SMAs): Design for aerospace, biomedical, and energy applications, including hysteresis mechanisms and fatigue resistance. Machine Learning: Data-driven models for materials discovery and process optimization in AM. Micromechanics: Linking microstructure to macroscopic properties via X-ray/neutron diffraction. Smart Materials: Applications in morphing aircraft structures and biomedical implants. Grants & Advising: Recipient of the DMREF/GOALI grant for physics-informed AI in metal matrix composites. Leads the IACMI Project 4.2 on thermoplastic composites for wind turbine blades. Guides industry-government partnerships to translate scientific discoveries into real-world tools. Labs & Teams: The Beam Team : Specializes in in situ experiments using advanced characterization techniques (e.g., high-energy diffraction microscopy). Collaborates internationally on projects like the CASMART student design challenges. Develops Stebner Labs infrastructure for multi-scale materials analysis and AM innovation.

Elizabeth Eva Leachمشاهده پروفایل

استاد

• Medieval Music
• Music Theory
• Fourteenth-Century Poetry
• +۵ مورد دیگر

Elizabeth Eva Leach is Professor of Music at the University of Oxford's Faculty of Music, serving as Fellow and Tutor in Music at St Hugh's College and Lecturer at Exeter College. She is recognized as a Fellow of the British Academy, reflecting her significant contributions to music scholarship. Her research focuses on the interdisciplinary study of medieval music, poetry, and cultural contexts. Professor Leach's research explores the intricate relationships between music, poetry, and cultural expression in medieval Europe, with special attention to fourteenth-century French repertoire. Her work spans: Analysis of musical structures in medieval manuscripts Cultural and philosophical contexts of musical meaning Gender representation in musical traditions Interconnections between music, literature, and social practice Her publications demonstrate a consistent focus on reconstructing medieval soundscapes and performance practices through manuscript analysis. Her extensive publication record reveals a sustained scholarly engagement with medieval song traditions, manuscript studies, and cultural histories of music. Recent work shows increasing attention to gender perspectives in music history and the material contexts of musical production. Honors and Awards: Fellow of the British Academy (FBA) Professor Leach directs research activities in the Faculty of Music and mentors graduate students exploring medieval music traditions. Her work contributes to preserving and interpreting musical heritage through critical editions and analytical studies.

Sanne Moormanمشاهده پروفایل

استادیار

• Neurosciences
• Behavioral Sciences
• Auditory-Vocal Learning
• +۵ مورد دیگر

Sanne Moorman is an Assistant Professor in Neurobiology at the University of Groningen, affiliated with the Faculty of Science and Engineering and the Groningen Institute for Evolutionary Life Sciences. Her research focuses on auditory-vocal learning and memory mechanisms in songbirds as models for human speech acquisition. She completed her PhD under Johan Bolhuis at Utrecht University, studying neural activity in songbirds using immediate early gene expression techniques. During postdoctoral work, she employed in vivo calcium imaging, pharmacological manipulations, and anatomical tracing to investigate neural connectivity and song performance. She currently leads the Moorman Lab - Behavioural Neuroscience. Her research interests include the behavioral and neural underpinnings of vocal learning, memory formation, and brain lateralization. She has contributed to understanding how songbirds encode and retain auditory templates for vocal imitation, with implications for human speech disorders. Key achievements include an NWO Rubicon Fellowship (2014) and over 10 peer-reviewed publications. She teaches courses such as The Neurobiological Basis of Behaviour and supervises students in the BCN Master program. Collaborations span institutions like Boston University and Tufts University, focusing on cortico-basal ganglia interactions and neural plasticity. Media engagements include public talks on birdsong and speech disorders, reflecting her commitment to science communication. Her work aligns with UN Sustainable Development Goals related to advancing knowledge and innovation in life sciences.

Morgan Taltyمشاهده پروفایل

استادیار

• Creative Writing
• Native American Studies
• Indigenous Literature
• +۳ مورد دیگر

Morgan Talty is an Assistant Professor of English, Creative Writing, and Native American Studies at the University of Maine, and a faculty member of the Stonecoast MFA in Creative Writing (University of Southern Maine). He also serves as Prose Editor at The Massachusetts Review. Talty is a citizen of the Penobscot Indian Nation and grew up within his Indigenous community. His academic and creative work bridges literary fiction, cultural studies, and Indigenous knowledge systems. Education: BA in Native American Studies from Dartmouth College, MFA in Creative Writing from Stonecoast MFA, and AA in Liberal Arts from Eastern Maine Community College. Research interests focus on Indigenous storytelling, cultural preservation, and the intersection of creative writing with Native American Studies. His award-winning debut collection Night of the Living Rez (2022) explores contemporary Indigenous experiences through innovative fictional narratives. Recent publications appear in Granta , Georgia Review , and Narrative Magazine . Recognitions include the 2022 New England Book Award in Fiction, 2021 Narrative Prize, and grants from the National Endowment for the Arts and Elizabeth George Foundation. Talty’s editorial work amplifies underrepresented voices in literary publishing. Teaching focuses on creative writing pedagogy and Indigenous literary traditions. He advises MFA students through the low-residency program and contributes to community-based research projects.

• Language Processing
• Cognitive Neuroscience
• fMRI
• +۵ مورد دیگر

Idan Blank is an Assistant Professor with dual appointments in the Psychology Department and the Linguistics Department at the University of California, Los Angeles, within the College of Letters and Science. His research bridges cognitive neuroscience, linguistics, and artificial intelligence to investigate how humans understand language—a universal phenomenon across human cultures yet unique to our species that enables thought transfer between minds. Dr. Blank earned his PhD in Cognitive Science from the Massachusetts Institute of Technology in 2016 and his MA in Psychobiology from Tel Aviv University in 2011. His academic journey reflects a strong foundation in both cognitive science and biological approaches to understanding the mind. Dr. Blank's research program focuses on the neural mechanisms underlying language comprehension, examining which aspects of comprehension have dedicated neural circuitry versus those that rely on more general cognitive systems. His work employs functional MRI, behavioral experiments, and computational modeling to investigate how language "happens" in our minds and brains. The BlankLangLab, which he leads, studies the component processes of comprehension, the mental structures that allow us to "know the meaning" of utterances, and the mental operations used to manipulate them. His research increasingly explores connections between artificial intelligence language models and human cognitive processing. Analysis of Dr. Blank's recent publications reveals a strong emphasis on precision mapping of language networks, investigations of language processing across diverse populations (including polyglots and older adults), and examinations of how language processing relates to other cognitive systems like theory of mind. His work demonstrates a clear trajectory toward integrating neuroimaging data with computational approaches to better understand the architecture of human language processing. While specific awards aren't detailed in the provided information, Dr. Blank's research has garnered significant scholarly attention, with numerous publications in high-impact journals including Proceedings of the National Academy of Sciences, Trends in Cognitive Sciences, and Journal of Neuroscience. Several of his papers have accumulated substantial citation counts, reflecting the importance of his contributions to cognitive neuroscience and language processing research. Dr. Blank leads the BlankLangLab at UCLA, which investigates language, understanding, and thought through neuroimaging, behavioral, and machine learning approaches. His lab maintains strong collaborative ties with other research groups, particularly in the area of language network mapping. The lab's research program integrates precision mapping techniques with naturalistic paradigms to characterize functional brain regions engaged during language processing, with recent work increasingly incorporating large language models to bridge AI and human cognition.

Alyson Brickeyمشاهده پروفایل

استادیار

• Transatlantic Modernist Literature
• Critical Theory
• American Literature
• +۴ مورد دیگر

Alyson Brickey is an Assistant Professor in the Department of English at the University of Winnipeg, Faculty of Arts. She holds a PhD in English from the University of Toronto and specializes in transatlantic modernist literature and critical theory, particularly examining intersections between literary aesthetics and ethics/politics. Her research explores how social contexts like racism and political movements shape literary forms and vice versa. She teaches courses on American literature, modernism, critical theory, and narrative forms. Her research interests center on modernist authors such as Woolf, Faulkner, Stein, and Whitman, with a focus on object studies, list-making as literary form, and the socio-political dimensions of aesthetics. Her current book project, Frightful Wrongs and Beautiful Things: How Jim Crow Shaped American Modernism , investigates racial violence’s influence on modernist literary innovation. Brickey’s recent work includes analyses of color symbolism in Mrs. Dalloway , object-oriented critiques of James Agee’s Let Us Now Praise Famous Men , and explorations of Allen Ginsberg’s Howl as a poetic list. She has contributed to venues like Walt Whitman Quarterly Review , Journal of Modern Literature , and the Centre for Research in Cultural Studies at UWinnipeg. Her scholarship engages interdisciplinary topics such as pandemic cultural responses ( COVID Accounting ), graduate education futures ( Mosaic collaboration), and gender dynamics in academic labor. She maintains active affiliations with the Centre for Research in Cultural Studies and regularly contributes to public-facing intellectual discourse through articles and symposia.

Amy Barronمشاهده پروفایل

مدرس

• Ageing and Life-Course
• Urban Inequality
• Place-Making
• +۲ مورد دیگر

Dr. Amy Barron is a Lecturer in Social and Cultural Geography at the University of Manchester, specializing in urban ageing, place-making, and creative methodologies. She holds a PhD, MSc, and BA from the University of Manchester. Her research examines urban inequalities through age, place, and sensory ethnography, emphasizing participatory approaches to challenge homogenizing narratives of ageing. Research interests include: Age/ageing as non-linear socio-cultural phenomena Urban difference and inequality through embodied encounters Place-making through interwoven temporalities and memories Creative methodologies as transformative knowledge practices Her publications focus on innovative qualitative methods in human geography, particularly participatory frameworks for inclusive policy development. Awarded for academic excellence including Outstanding Achievement Awards (2015,2016) and Best Dissertation Prize (2015). Supervises PhD candidates on urban sustainability and death studies. Leads exhibitions for Manchester's Age-Friendly Cities initiative and contributes to UN Decade of Healthy Ageing resources.

• Formal Methods
• Concurrent Systems
• Dynamic Memory Analysis
• +۶ مورد دیگر

Alejandro Sánchez is a Post-doctoral Researcher at the IMDEA Software Institute in Madrid, Spain. His research focuses on formal methods, decision procedures, and the verification of parametrized concurrent systems and data structures. He holds a PhD in Computer Science from the Universidad Politécnica de Madrid (2015), a Master's in Programming and Software Technology from Universidad Complutense de Madrid (2011), and a Bachelor's in Computer Science from Universidad Nacional de Córdoba (2007). Education Background: PhD in Computer Science, Universidad Politécnica de Madrid (2012–2015) Master in Programming and Software Technology, Universidad Complutense de Madrid (2010–2011) Bachelor of Science in Computer Science, Universidad Nacional de Córdoba (2002–2007) Research Interests: His work emphasizes formal verification techniques for concurrent systems, including parametrized systems, dynamic memory analysis, and specialized decision procedures. Key areas include temporal logics, deductive reasoning, and the verification of complex data structures like skiplists and concurrent lists. He has developed tools like LEAP for parametrized verification and contributed decision procedures integrated with SMT solvers (Yices, Z3). Professional Contributions: He has published extensively on formal methods and concurrency, including work on invariant generation, parametrized verification diagrams, and skiplist theory. His research bridges theoretical foundations with practical tool development, addressing challenges in verifying safety and liveness properties in complex concurrent systems. Tool Development: LEAP, an interactive theorem prover he maintains, enables deductive verification of concurrent systems. He has also implemented decision procedures for pointer-based data structures, demonstrating practical applications of formal methods in real-world systems.