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

• Graph Transformation
• Graph-Based Programming Models
• Rewriting Systems
• +۱ مورد دیگر

Detlef Plump is a Senior Lecturer in the Department of Computer Science at the University of York, UK, where he has worked since 2001. His academic journey includes roles as Assistant Professor at the University of Bremen (1993-2000), Lecturer at the University of York (2000-2001), and Research Associate at the University of Bremen (1987-1993). He holds a Dipl.-Inform degree, Dr.-Ing, and Habilitation from the University of Bremen. His research focuses on graph transformation, graph-based programming models, and rewriting systems, with contributions to theoretical computer science. He has held visiting researcher positions at Heriot-Watt University (Edinburgh), the University of Nijmegen, and the Free University of Amsterdam, accumulating over two years of collaborative research in the Netherlands. At York, he serves as ECA Officer and Programme Leader for the CS/Maths Undergraduate Programmes. His contact details include office CSE/035 and phone +44 (0)1904 325670. His work integrates formal methods with practical applications in graph computation models and algorithm design. Detlef’s contributions span graph program compilers, verification techniques, and theoretical foundations, as evidenced by his extensive publication record in venues like the Journal of Logical and Algebraic Methods in Programming. He emphasizes efficiency and correctness in graph-based systems, addressing challenges in both academia and industry.

• Creativity in Sports
• Sports Pedagogy
• Youth Development
• +۳ مورد دیگر

Ludvig Johan Torp Rasmussen is an Assistant Professor in the Department of Health Science and Technology at Aalborg University’s Faculty of Health. His work focuses on creativity in sports contexts, particularly in ball games like football, emphasizing its role in youth development and athlete expertise. He holds a PhD in Sport Science from Aalborg University (defended 2020) and completed academic qualifications including a Master’s and Bachelor’s in Sport Science. His research explores creativity’s impact on sports participation, personal growth, and expert performance. Notable projects include the Buffalo League initiative and collaborative works like the Creativity in Football book series (2023). He advocates for creative teaching methods in sports education, emphasizing playfulness and student involvement. Rasmussen teaches courses such as Learning and Sports Pedagogy and Innovation & Entrepreneurship , earning the 2022 Teacher of the Year award at the Faculty of Health. His work contributes to UN Sustainable Development Goals related to education and health, promoting inclusive and creative learning environments. Research Interests: Creativity in sports, youth development, qualitative research, socio-cultural psychology. Key Projects: Buffalo League (2025–2025), Thinking Skills in Interdisciplinary Co-creation (2025–2025). Awards: Two Teacher of the Year recognitions for innovative and engaging pedagogy. He actively collaborates with academic and industry partners, delivering talks on creativity in sports and entrepreneurship. His work bridges theory and practice, fostering dynamic learning environments and creative problem-solving skills.

Alejandro Luis Callaraمشاهده پروفایل

پژوهشگر

• Biomedical Signal Processing
• Neuroimaging
• Brain Connectivity
• +۶ مورد دیگر

Alejandro Luis Callara serves as a postdoctoral researcher at the University of Pisa's Research Center "E. Piaggio," specializing in biomedical signal and image processing methodologies for neuroscience applications. His work bridges engineering and cognitive science through advanced computational approaches to physiological data analysis. His academic foundation includes: Bachelor’s Degree in Biomedical Engineering (2012), University of Pisa Master’s Degree in Biomedical Engineering (2015), University of Pisa PhD in Information Engineering (2019), University of Pisa Callara's research centers on developing analytical pipelines for EEG and fMRI data to map brain connectivity networks, with particular expertise in autonomic nervous system interactions during emotional processing. He actively contributes to the Brain matters team's development of neuronal segmentation tools for confocal microscopy data, extending his methodological focus to multi-scale tissue imaging. His technical proficiency spans directed coherence analysis, dynamic causal modeling, and thermal response quantification. Analysis of his 15 most recent publications (2024-2025) reveals three dominant research trajectories: (1) autonomic physiology investigations examining parasympathetic-sympathetic coupling during emotional tasks using EDA and HRV metrics; (2) innovative neuroimaging techniques for brainstem fMRI analysis and sparse connectivity mapping; and (3) multimodal integration studies exploring olfactory-visual-auditory interactions in affective disorders through VR/AR paradigms. Methodologically, his work consistently employs advanced signal processing frameworks like PCA-based partial correlation and ThermICA for multivariate analysis. Within the Research Center "E. Piaggio," Callara collaborates across bioengineering and robotics initiatives, particularly through the Brain matters team where he applies computational neuroscience to neuronal morphology analysis. His current projects focus on refining contactless stress classification systems using thermal imaging and developing immersive VR scenarios for anxiety disorder research, demonstrating strong translational potential for clinical applications.

Marta Alexandra Da Costa Ferreira Diasمشاهده پروفایل

دانشیار

• Energy Economics
• Energy Policy
• Sustainability
• +۷ مورد دیگر

Marta Alexandra Da Costa Ferreira Dias is an Associate Professor at the University of Aveiro's Department of Economics, Management, Industrial Engineering and Tourism. She holds a PhD in Economics from the University of Warwick (UK), a MSc and undergraduate degree in Economics from the University of Coimbra. She lectures in Microeconomics, European Economics, International Economics, and Energy Policy. Her research focuses on Energy Economics, Sustainability, Regulatory Policy, and Higher Education Innovation. She is an integrated member of the GOVCOPP research unit and has contributed to European projects on Social Economy and Graduate Competences. She previously directed the PhD in Energy Systems and Climate Change program and currently leads undergraduate economics studies at the University of Aveiro. Recent research trends include analyzing wind energy externalities, circular economy performance, and gender inclusion in professions. She also explores educational innovations like microlearning and game-based entrepreneurship training. Her work intersects policy analysis, environmental science, and pedagogical advancements. No scientific awards are explicitly mentioned in the texts, but her contributions span peer-reviewed journals and collaborative EU initiatives. She has advised or co-led teams in multiple research projects, emphasizing transdisciplinary approaches to sustainability and education. She collaborates with international teams on topics ranging from waste management in Brazil to countering populism in European contexts.

Anna Wallinمشاهده پروفایل

پژوهشگر

• Professional Development
• Digitalization
• Empathy
• +۳ مورد دیگر

Anna Wallin is a Postdoctoral Researcher at Tampere University, specializing in adult education and professional development. She holds a Doctor of Philosophy (2022) and Master of Arts (2013) in Adult Education from Tampere University. Her research focuses on empathy-based methodologies, digitalization impacts on professional identity, and workplace learning environments. Key research interests include professional development in digitalized working life, empathy-driven research methods, and storytelling as analytical tools. She has contributed to collaborative projects like the anthology Kasvatuksen muuttuvat työ- ja toimintaympäristöt (2022), exploring evolving educational environments through empathy-based approaches. Recent work emphasizes interventions for higher education teacher well-being and methodological frameworks for evaluating empathy-based studies. Her publications span peer-reviewed articles, book chapters, and methodological guides. She actively participates in academic networks, including a 2025 visit to the University of Oxford and peer-review roles for journals like Vocations and learning . Wallin’s research bridges qualitative inquiry with practical applications in education and public sectors, with a focus on validating empathetic storytelling techniques across diverse contexts.

Lynn Boheckerمشاهده پروفایل

استاد

• Counselor Education
• Spirituality in Counseling
• Group Work
• +۳ مورد دیگر

Dr. Lynn Bohecker is a Professor of Counseling in the Department of Counselor Education and Family Studies at Liberty University's School of Behavioral Sciences. She previously served as Director of the Marriage and Family Therapy program and currently chairs doctoral dissertation studies. As CEO of The Counseling Center at Tree City, she combines academic and clinical leadership. Her research focuses on integrating spirituality/religion into counseling, group work dynamics, and professional identity development. Teaching specialties include CACREP core courses, research methods, and marriage/family therapy. Her recent publications explore systemic theory applications in counselor education, culturally sensitive supervision practices, and intersectional counseling approaches for Black Christian women. She also investigates mentorship readiness in cross-cultural counseling contexts. No scientific awards are explicitly listed in the provided materials. Her professional roles include both academic administration and clinical leadership, though specific grants or advising details are not documented here.

• Declarative Programming Languages
• Logic Programming
• Answer Set Programming
• +۷ مورد دیگر

Dr. Ajay Bansal is a Teaching Professor and Associate Program Chair of the Software Engineering program at Arizona State University's School of Computing and Augmented Intelligence. He joined ASU in 2011 and previously served as a visiting assistant professor at Georgetown University. His academic journey includes a Ph.D. in Computer Science from the University of Texas at Dallas, an MS from Texas Tech University, and a B.Tech. from NIT Warangal. His research focuses on declarative programming languages, including Logic Programming, Answer Set Programming, and Knowledge Representation. He also explores Computing Education, particularly Individualized Learning and Game-based approaches. Notable achievements include the Test of Time Award at ICLP 2016 for coinductive logic programming and multiple teaching awards, including the Fulton Teaching Excellence Award (2019, 2022). Dr. Bansal has over 80 peer-reviewed publications spanning journals, conferences, and book chapters. His work bridges theoretical contributions (e.g., stableKanren integration) and practical applications like automated assessment systems. He actively contributes to courses such as Intro to Programming Languages and Database Management. Education: Ph.D. Computer Science, University of Texas-Dallas (2007) M.S. Computer Science, Texas Tech University (2002) B.Tech. Computer Science and Engineering, NIT Warangal, India (1999) Awards: Test of Time Award (ICLP 2016) Fulton Teaching Excellence Award (2019, 2022) Best Teacher Award (Top 5%) (6x) Advising & Grants: While no specific student names are listed, his roles involve academic advising and curriculum development. Industry experience includes software engineering roles at SIEMENS India, Metallect Corp., and Tyler Technologies. Labs/Teams: Engaged in educational technology initiatives and declarative programming research groups.

• Political Violence
• Democracy
• Authoritarian Regimes
• +۳ مورد دیگر

Felix Haass is an Assistant Professor for Comparative Politics at Humboldt University of Berlin and affiliated with the Hertie School. His research focuses on political violence, authoritarian regimes, and the inner workings of dictatorships. He co-founded the Humboldt Governance Lab (hu-govlab.de), which provides evidence-based policy advice on democracy challenges. Previously, he was based at the University of Oslo. Key research areas include the security apparatus of dictatorships, foreign military training impacts, and electoral dynamics. He frequently collaborates with scholars like Adam Scharpf and Heike Klüver. Haass actively promotes interdisciplinary workshops, including the June 2025 Toulouse workshop on autocratic rule and democratic backsliding. He is involved in academic recruitment, having posted multiple job openings for postdocs and researchers in political science. His work bridges theoretical research with practical policy analysis, emphasizing rigorous methodological approaches. Recent projects include compiling historical election data (GERDA) and analyzing regime support mechanisms in authoritarian states.

Clemens Dubslaffمشاهده پروفایل

استادیار

• Formal Methods
• Probabilistic Model Checking
• Symbolic Methods
• +۴ مورد دیگر

Clemens Dubslaff is an Assistant Professor in the Formal System Analysis group at TU Eindhoven (The Netherlands). His research focuses on improving the reliability and explainability of computing systems through formal methods, particularly probabilistic model checking and symbolic techniques. He holds a Ph.D. from TU Dresden (Germany) and has affiliations with TU Dresden's Cluster of Excellence CeTI and Collaborative Research Center CPEC. His work addresses challenges in analyzing complex configurable systems and enhancing system transparency through explainable AI approaches. Education: B.Sc. in Mathematics and Computer Science (TU Dresden) M.Sc. in Computational Logic (NOVA University Lisbon) Ph.D. in Formal Methods (TU Dresden) Research Interests: Formal methods and model checking Symbolic analysis techniques Configurable and reconfigurable systems Explainability in AI and verification Probabilistic systems analysis Recent Achievements: NWO VENI Grant (2023) Launched OxiDD decision diagram framework (2024) Key contributions to feature-based software analysis Labs/Teams: Formal System Analysis group at TU/e, collaborating with Dresden's CeTI and CPEC initiatives.

• Lexicography
• Spanish as a Foreign Language
• Computational Linguistics
• +۳ مورد دیگر

Margarita María Alonso Ramos is a Professor in the Department of Letters at the Faculty of Philology, University of A Coruña. She serves as Coordinator of the Language and Information Society research group and has been actively teaching various linguistics courses including General Linguistics, Languages and Technologies, and Languages of the World across multiple degree programs in Spanish, Galician-Portuguese, and English Linguistic and Literary Studies. General Linguistics (36 hours) Languages and Technologies (31.5 hours) Languages of the World (15.5 hours) Models and Methods in Current Linguistics (21 hours) Her research focuses on lexicography, Spanish as a foreign language, and computational linguistics, with particular emphasis on phraseology, lexical combinations, and corpus-based linguistic analysis. Her work bridges theoretical linguistics with practical language teaching applications, especially in the context of Spanish language learning. Analysis of her publication record shows a strong focus on lexicography and phraseology across multiple languages, with particular attention to Spanish language resources and computational approaches. Her research demonstrates consistent collaboration with international scholars, reflecting the global nature of linguistic research in the digital age. Professor Alonso Ramos has directed doctoral theses for students including Ana Orol González, Eleonora Guzzi, Orsolya Vincze, and Marta Rebolledo Lemus. She has secured numerous research grants from national and regional funding bodies including the Ministry of Education, Science, Universities and Vocational Training, and the Ministry of Science and Innovation. She coordinates the Language and Information Society research group, which focuses on the intersection of linguistic theory, language teaching, and digital technologies. Her work has significant implications for language teaching methodologies, dictionary compilation, and natural language processing applications for Spanish and related languages.

Elżbieta Awramiukمشاهده پروفایل

استاد

• Linguodidactics
• Glottodidactics
• Normative Linguistics
• +۳ مورد دیگر

Prof. Elżbieta Awramiuk is a faculty member at the Faculty of Philology , University of Białystok , specializing in multiple dimensions of Polish linguistics. Her research spans four primary areas: Linguodidactics – Teaching Polish as a native language, including methodology and comparative approaches Glottodidactics – Promoting Polish as a foreign language Normative Linguistics – Studying Polish language correctness, orthography, and codification Psycholinguistics – Investigating written communication and early literacy acquisition She has made significant contributions through publications analyzing Polish spelling reforms (2006-2021), psycholinguistic models of reading/writing development, and educational methodologies for Polish language instruction. Her work intersects with clinical perspectives on language learning difficulties and dictionary-based normative studies. A current project funded by Poland's Ministry of Education and Science (SONP/SP/549046/2022) explores broader educational implementation of her findings.

Claudio Sacerdoti Coenمشاهده پروفایل

دانشیار

• Mathematical Knowledge Management
• Interactive Theorem Proving
• Logical Frameworks
• +۱۴ مورد دیگر

Claudio Sacerdoti Coen is an Associate Professor in Computer Science at the Department of Computer Science and Engineering , University of Bologna. His research focuses on Mathematical Knowledge Management , Interactive Theorem Proving , and their applications to functional programming languages and markup languages like XML and MathML. He has led the DAMA project for didactic applications of theorem provers. Employment: Associate Professor (2017–present), previously Lecturer (2007–2017) Education: Ph.D. in Computer Science (University of Bologna, 2004), Master’s in Computer Science (2000) Research Interests include: Integration of XML-based Mathematical Knowledge Management with Interactive Theorem Provers (e.g., Coq, Matita) Reduction strategies in the Calculus of (Co)Inductive Constructions Formal verification of algorithms and compilers Constructive analysis and formal topology User interface design for proof assistants Publications over the last decade highlight advancements in: Efficient substitution mechanisms for lambda calculi Formalization of mathematical theorems (e.g., Lebesgue’s Dominated Convergence Theorem) Development of proof assistant frameworks (Matita kernel, ELPI interpreter) Mathematical document structuring and search engine design

• Programming Languages
• Formal Methods
• Software Verification
• +۳ مورد دیگر

Bow-Yaw Wang is a Professor in the Department of Computer Science and Information Engineering at National Taiwan University's College of Electrical Engineering and Computer Science, where he conducts foundational research in programming languages and formal verification methodologies. He received his Ph.D. from Yale University, establishing the theoretical framework for his expertise in software correctness and security analysis. His educational background enables rigorous approaches to complex computational problems. Wang's research centers on Programming Languages and Formal Methods , with significant contributions to Software Verification , Security , Cryptography , and Privacy . He develops static analysis techniques to eliminate vulnerabilities in cryptographic implementations and privacy-preserving systems, focusing on mathematical rigor to ensure software reliability in security-critical applications. Analysis of his publication trajectory reveals consistent innovation in verification frameworks, evolving from arithmetic overflow detection in cryptographic C programs (2019) to LLVM-based verification tools (2023) and probabilistic privacy models (2022). His work demonstrates increasing sophistication in bridging theoretical formal methods with practical security challenges. No major scientific awards are documented in available sources, though his sustained contributions to premier conferences like POPL, ASE, and VMCAI indicate significant peer recognition within the programming languages community. As an academic advisor, Wang mentors graduate students in programming languages and security research at National Taiwan University, though specific advisee names aren't enumerated in current datasets. Information regarding research grants remains undisclosed in publicly accessible materials. He maintains active research collaborations within National Taiwan University's programming languages group, focusing on advancing verification techniques for next-generation security-critical software systems.

Eric Medvetمشاهده پروفایل

دانشیار

• Evolutionary Computation
• Machine Learning
• Grammatical Evolution
• +۳ مورد دیگر

Eric Medvet is an Associate Professor of Computer Engineering at the Department of Engineering and Architecture (DIA), University of Trieste, Italy. He leads the Evolutionary Robotics and Artificial Life Lab and co-leads the Machine Learning Lab. His research focuses on Evolutionary Computation, Machine Learning, and their applications to robotics, including Grammatical Evolution, Genetic Programming, and soft robotics. He received the Google Faculty Research Award 2019 for a project on modular soft robots and co-authored a best paper at EuroGP 2024. His recent work emphasizes interpretable control policies, quality-diversity optimization, and evolutionary learning of formal specifications. Medvet teaches advanced courses on machine learning, evolutionary robotics, and programming, consistently updating curricula to reflect cutting-edge research. His labs are hubs for interdisciplinary projects, blending theory with practical implementations in robotics and AI. Research Interests: Medvet’s research spans evolutionary algorithms applied to robotics, with a focus on modular systems. He explores how genetic programming and grammatical evolution can optimize robotic designs and controllers. His work on ‘totipotent neural controllers’ and ‘body-brain co-evolution’ exemplifies efforts to create adaptable, specialized robots. He also investigates formal methods (e.g., STL specifications) for system validation and interpretable AI models. Recent trends in his publications reflect a shift toward practical applications, such as wearable movement analysis and sim-to-real transfer in robotics. Awards: Google Faculty Research Award 2019, EuroGP 2024 Best Paper Award Labs: Evolutionary Robotics and Artificial Life Lab, Machine Learning Lab Teaching: Courses include Advanced Programming, Introduction to Machine Learning, and Evolutionary Robotics, with a focus on Java and practical software development. Medvet’s approach integrates theoretical rigor with hands-on experimentation, emphasizing open-source tools like JGEA and 2D-VSR-Sim. His work bridges computational intelligence and real-world robotics challenges, driving innovation in both fields.

Jake Renzellaمشاهده پروفایل

مدرس ارشد

• Computer Science Education
• Educational Technology
• Learning Analytics
• +۳ مورد دیگر

Dr Jake Renzella is a Senior Lecturer at the University of New South Wales' School of Computer Science and Engineering (CSE), where he serves as Co-Head of the Computing and Education research group and Director of Studies for Computer Science. His work focuses on Pedagogical Generative AI and education technology, with a particular emphasis on compiler tools like the Debugging C Compiler (DCC) and its AI debugger, as well as the Formatif teaching platform. Research: Premier computer science education conferences (SIGCSE TS, ICSE), AI-driven educational tools, learning analytics Collaboration: Key role in Day of AI Australia initiative Scientific Awards: 2024 Australian Financial Review Higher Education Innovation Award 2023 UNSW Engineering Faculty Education Award 2022 UNSW Teaching Excellence Award Associate Fellow of the Higher Education Academy Grants: $2,165,000 total including Google.org Generative AI Accelerator ($1.5M), NVIDIA Academic Grant (cloud GPU hours), and multiple Google/UNSW grants for inclusion research and teaching innovation.