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

• Marketing
• Consumer Behavior
• Entrepreneurship
• +۴ مورد دیگر

Јусуф Зеќири serves as a Professor at the Faculty of Business and Economics, South East European University (SEEU) in Tetovo, North Macedonia, where he has been employed since October 2005. His current full-time position follows progressive roles including Director of SEEU's E-Learning Center (2015-2020) and Prodean of the Faculty of Business and Economics (2009-2010), demonstrating sustained institutional commitment and leadership. His academic credentials feature dual doctoral degrees: a Doctor of Business Administration from SMC University, Switzerland (2007-2011) specializing in Marketing, and a Doctor of Economic Sciences from Ss. Cyril and Methodius University, Skopje (2009-2011) focused on International Business. Additional qualifications include a Master's in International Trade from Ss Cyril and Methodius University and University of Rennes, France (2002-2006), and foundational training in English Language and Literature from Al-Azhar University, Cairo (1990-1995). Zeqiri's research explores cultural intersections in consumer behavior , particularly examining how religious identity (Islamic contexts), digital transformation , and socioeconomic transitions shape market dynamics. His work spans green consumerism in Türkiye , halal tourism positioning , and pandemic-era e-learning adaptation across Balkan universities. This cross-disciplinary approach bridges Marketing, Entrepreneurship, and Higher Education through rigorous quantitative methodologies. Analysis of his 2021-2024 publications reveals three dominant trajectories: (1) digital commerce evolution examining social media's role in purchase decisions across fashion, food, and luxury sectors; (2) culture-driven consumer psychology investigating religious identity's impact on product adoption; and (3) institutional resilience in higher education during crises. His work consistently emphasizes comparative Balkan-Middle Eastern perspectives with methodological strengths in correspondence analysis and structural equation modeling. Scientific recognition includes: Extensive publication record in Scopus-indexed journals including Technological Forecasting and Social Change and British Food Journal Cross-national research spanning 15+ countries with focus on Muslim-majority markets Leadership in SEEU's digital education infrastructure through E-Learning Center directorship His advisory capacity remains unquantified in available records, though his 19-year academic career suggests significant mentorship of business students. Current research priorities appear focused on post-pandemic educational restructuring and ethical dimensions of Islamic marketing, leveraging his multilingual proficiency (Albanian native; English, French, Arabic fluent) for transnational collaboration. Zeqiri's institutional impact is anchored in SEEU's E-Learning Center development, where he pioneered blended learning frameworks validated during the COVID-19 transition. His team currently investigates AI-enhanced educational personalization and gender-inclusive entrepreneurship ecosystems in transition economies, maintaining SEEU's regional leadership in business education innovation.

Kurt Sandkuhlمشاهده پروفایل

استاد

• Enterprise Architecture
• Enterprise Modeling
• Capability Management
• +۵ مورد دیگر

Prof. Dr.-Ing. Kurt Sandkuhl serves as Professor and Chair of Business Information Systems at the Institute of Computer Science within the Faculty of Computer Science and Electrical Engineering at the University of Rostock. He concurrently holds the position of Dean of the Faculty and maintains active roles as Academic Advisor for the Business Information Systems Master's program, ERASMUS+ Coordinator, and member of the academic management of the Center for Entrepreneurship. His research centers on enterprise architecture, enterprise modeling, capability management, and digital business models, with significant contributions to knowledge-based systems, smart process management, and mobile/wearable information systems. Recent work demonstrates pioneering integration of artificial intelligence—particularly large language models—into enterprise modeling practices, addressing challenges in cybersecurity, sustainable business transformation, and public sector digitalization. Analysis of his recent publications reveals dominant trends in AI-augmented enterprise modeling, cybersecurity architecture for public administration, and circular economy transitions in manufacturing. His work consistently bridges theoretical modeling frameworks with practical implementations in SMEs, public transport, and energy management contexts, emphasizing usability and real-world impact. Prof. Sandkuhl advises the WIN M.Sc. program and coordinates international academic exchanges through ERASMUS+. His institutional leadership extends to the IT Initiative Mecklenburg-Vorpommern board and co-opted membership in the Interdisciplinary Faculty's Department of Ageing, while maintaining active affiliations with the German Computer Science Society and founding membership in the European Association for Software and Systems Technology. He directs the Business Informatics Enterprise Modeling Lab, which employs multi-touch tables and smart boards for participatory modeling research. The lab focuses on capability-driven enterprise architecture, digital business ecosystem design, and context-aware systems for quantified products, with notable projects in maritime dataspaces and demand-responsive public transport integration.

• Cognitive Development
• Hypothetical Reasoning
• Counterfactual Reasoning
• +۳ مورد دیگر

Dr. Angela Nyhout is a Senior Lecturer in Psychology at the University of Kent's School of Psychology, where she serves as Programme Director for the MSc in Developmental and Educational Psychology and Student Experience Lead. She joined the university in 2020 after completing her PhD at the University of Waterloo (Canada) and a postdoctoral fellowship at the University of Toronto. Her research focuses on cognitive development, particularly the development of hypothetical reasoning and children's learning through engagement with fictional worlds. Core research areas include: Counterfactual reasoning and mental simulation abilities Scientific hypothesis testing in children Influence of fictional narratives on beliefs and attitudes Relationships between different forms of possibility thinking Educational interventions to foster reasoning skills Her publications demonstrate consistent focus on cognitive development, with recent work expanding into moral understanding through media and experimental studies on open-mindedness. Research consistently explores how children mentally represent alternative possibilities and transfer learning across contexts. Dr. Nyhout has secured substantial research funding including: SSHRC Insight Grant (2022-2026): Counterfactual reasoning in science learning ($246,065 CAD) Templeton Religious Trust Grant (2022-2024): Art Opening Minds project (£169,435) BA/Leverhulme Small Grant (2021-2023): Mental simulation development (£9,822) SSHRC Canada Grant (2019-2021): Spontaneous counterfactual thinking ($46,965 CAD) She currently supervises PhD students Zeynep Genc (primary) and Sarah Lily Resanovich (tertiary), and leads modules in Child Development, Advanced Cognitive Development, and Science of the Imagination. She is an active member of the Imagination Research Group.

• Public administration
• General education
• Anthropology
• +۳۳ مورد دیگر

Anatoliy Goncharuk is a Professor at the Hauge School of Management, NLA University College, Kristiansand. His interdisciplinary research spans migration, healthcare, education, and energy policy. Public administration Biblical studies Music didactics Migration patterns Healthcare worker motivation Business sustainability His recent articles focus on refugee decision-making, religious influence on academia, and smart technology sustainability. Trends include cross-cultural comparisons, crisis-era healthcare resilience, and lifecycle management in food industries.

• Computer Vision
• Machine Learning
• Deep Learning
• +۷ مورد دیگر

Philipp Krähenbühl serves as Associate Professor in the Department of Computer Science at the University of Texas at Austin, where he joined the faculty in 2016 as part of the university's Machine Perception Program expansion. His research bridges computer vision, machine learning, and computer graphics with significant contributions to deep learning methodologies. Academic background: Ph.D. in Computer Science, Stanford University Postdoctoral Research, UC Berkeley (2-year appointment) Dr. Krähenbühl's work centers on deep learning for visual understanding , with pioneering contributions in image segmentation , video analysis , and 3D scene reconstruction . Recent research extends into multimodal AI systems combining vision and language, autonomous driving technologies through traffic simulation, and bioinformatics applications for protein structure modeling. His methodology emphasizes efficient model design and leveraging large-scale data. Analysis of his publication trajectory reveals a strategic evolution from core computer vision problems toward interdisciplinary applications. Current work demonstrates strong convergence of vision-language models with autonomous systems, alongside unexpected cross-pollination into structural biology through protein modeling research. Award highlights: NIPS Outstanding Student Paper Award (2011) NSF CAREER Award (2016-17) Multiple Olympiad medals (International Informatics Silver 2005, Swiss Informatics/Mathematics 2004-2005) Research funding includes the NSF RI: SMALL grant for Recognizing objects in images and their properties over time (2020). While specific advisees aren't documented in source materials, he actively mentors graduate students within UT Austin's Computer Science department. His laboratory contributes to the university's Machine Perception Program through cutting-edge work in generative modeling and simulation frameworks. The research group maintains strong industry connections while pursuing fundamental advances in visual representation learning, with current projects focusing on robust autonomy systems and multimodal foundation models.

Kesa Katerinaمشاهده پروفایل

مدرس

• Political Science
• Baltic Studies
• European Union Politics
• +۵ مورد دیگر

Kesa Katerina is a Lecturer in Baltic civilization at the Institut National des Langues et Civilisations Orientales (INALCO), affiliated with the Europe-Eurasia Research Center (CREE EA 4513). She specializes in Political Science with a focus on the Baltic region, particularly Estonia, Latvia, and Finland. Institution: Institut National des Langues et Civilisations Orientales (INALCO) Research Center: Europe-Eurasia Research Center (CREE) Academic Role: Lecturer in Baltic Civilization Dr. Kesa Katerina's research focuses on transnational dynamics in the Baltic region, evolution of political parties since 1990, extreme right movements in Baltic Europe, Nordic-Baltic relations, and the transfer of political expertise among post-Soviet states. Her expertise spans Political Science, International Relations, and European Studies with particular emphasis on small state diplomacy, Baltic exceptionalism, and post-Soviet political development. Her recent publications demonstrate a clear trend toward analyzing contemporary geopolitical challenges facing the Baltic states, particularly in relation to Russian aggression and European integration. The articles reveal a consistent focus on how small Baltic states navigate vulnerability through niche diplomacy while maintaining European identity. Her work increasingly examines the transnationalization of political movements, especially far-right populism across the Baltic-Nordic space. Dr. Kesa Katerina serves as co-responsible for the seminar 'Baltic Spaces' at the Europe-Eurasia Research Center and co-responsible for the seminar 'History, Politics and Culture of Central Europe (HPCEM)' of the Europe Department. She is also co-editor-in-chief of the magazine 'Nordiques'. Her teaching encompasses Societies and political systems of the Baltic States, External action of the European Union, Geography of the countries of the Baltic area, History of the Baltic region, and Estonian language of the media and specialist texts. She is fluent in Estonian, which enables her to conduct primary research using local sources.

• Financial Economics
• Accounting
• Management Control Systems
• +۶ مورد دیگر

Carolina Ramírez García serves as Associate Professor in the Department of Financial Economics and Accounting at Pablo de Olavide University, where her work bridges business administration, social sciences, and technology applications. Her research examines organizational dynamics through the lens of management control systems and risk perception in inter-firm relationships. Education: PhD from Pablo de Olavide University (2010) with thesis "Management control systems and perceived risk in relationships between companies," supervised by Dr. Concha Álvarez Dardet and Dr. María Luisa Vélez Elorza. Her research program spans three interconnected domains: risk management in franchising networks, ICT applications for social inclusion and poverty reduction, and innovative accounting pedagogy. She investigates how control mechanisms mitigate perceived risks in franchise relationships while exploring technology's role in socioeconomic development, particularly in Andalusia. Her educational research focuses on integrating team-based learning, case studies, and problem-based approaches in accounting instruction. Analysis of her 2015-2024 publications reveals consistent thematic progression from foundational work on management control systems toward contemporary studies of international business models and educational innovation. The interdisciplinary nature of her output—spanning business journals, social science publications, and educational research—demonstrates her position at the intersection of academic disciplines. She actively contributes to the "Information, Environment and Organizational Change" research group, where her work on Delphi methodology for assessing ICT's poverty reduction impact exemplifies her applied approach to socioeconomic challenges. Her current research trajectory shows increasing emphasis on international business dynamics within the agrifood sector and evidence-based management practices.

Guido de Boerمشاهده پروفایل

مدرس

• Typography
• Visual Art
• Graphic Design
• +۳ مورد دیگر

Guido de Boer (born 1988) is an independent visual artist and educator currently teaching Letters at the Graphic Design department of the Royal Academy of Art, The Hague (KABK) since 2016. His professional identity bridges artistic practice and pedagogy, with additional teaching experience at art academies across the Netherlands, Nanjing University of the Arts in China, and ELISAVA Barcelona. De Boer's work fundamentally explores the intersection where written language becomes visual experience and visual forms convey textual meaning. His creative research focuses on: Typography as expressive visual language Handmade lettering and calligraphic traditions Monumental text-based installations The experiential qualities of written communication Public space interventions through textual-visual hybrids Contemporary applications of traditional lettering techniques De Boer's recent output reveals a sophisticated evolution from pure visual-textual experimentation toward more socially engaged practice, exemplified by his "FOR RENT" project which creates a subscription model connecting artistic development directly with audience participation. His work consistently appears in major Dutch institutions including the Kröller-Müller Museum, Stedelijk Museum Schiedam, HEM, and GEM/Kunstmuseum, demonstrating significant recognition within the contemporary art field. As an educator, de Boer has developed distinctive approaches to teaching typography that emphasize its experiential dimensions rather than purely technical aspects. His collective "High on Type" organized innovative Letter and Calligraphy festivals from 2016 to 2019, creating dynamic platforms for performance, exhibition, and workshop experiences that actively tested the boundaries of what writing and letters can be in contemporary culture. Based in Utrecht, Netherlands, de Boer maintains an active studio practice where he develops both commissioned works and autonomous projects that challenge conventional distinctions between reading and seeing, text and image, communication and expression.

Santiago Paternainمشاهده پروفایل

استادیار

• Machine Learning
• Control Systems
• Reinforcement Learning
• +۳ مورد دیگر

Santiago Paternain is an Assistant Professor in the Department of Electrical, Computer and Systems Engineering at Rensselaer Polytechnic Institute's School of Engineering. He joined RPI in 2020 after completing his Ph.D. and postdoctoral work at the University of Pennsylvania, where he developed foundational algorithms at the intersection of machine learning and control theory. His research bridges theoretical rigor with practical applications in robotics, power systems, and autonomous vehicles. His academic credentials include: B.Sc. in Electrical Engineering, Universidad de la República, Uruguay (2012) M.Sc. in Statistics, The Wharton School, University of Pennsylvania (2018) Ph.D. in Electrical and Systems Engineering, University of Pennsylvania (2018) Paternain's research centers on reinforcement learning and control of dynamical systems, with emphasis on safety guarantees, optimization, and real-world deployment. He develops algorithms that integrate model-based control with data-driven methods to overcome limitations of pure reinforcement learning, particularly for constrained and safety-critical applications. Current projects explore in-context learning for robotics, physics-guided AI for power grids, and multi-agent coordination in uncertain environments, always prioritizing theoretical soundness and practical viability. Analysis of his 15 most recent publications reveals a dominant focus on constrained reinforcement learning (60% of works), with growing applications in power systems (20%) and robotics (15%). A clear trend shows increasing integration of foundation models with control theory, particularly for safety-critical decision making. His work consistently addresses scalability challenges while maintaining rigorous safety guarantees, reflecting his commitment to bridging theoretical and applied research. His scientific contributions have earned significant recognition: Best Student Paper Award at ICASSP 2020 Joseph and Rosaline Wolfe Best Doctoral Dissertation Award (2019) Best Student Paper Award at CDC 2017 Best Student Paper Award at I2MTC 2014 Best Teaching Assistant at University of Pennsylvania (2017) CTL's Graduate Fellowship for Teaching Excellence (2018) Paternain actively mentors six doctoral students across diverse research areas including safe reinforcement learning, multi-robot systems, and power grid applications. His research is supported by substantial funding including multiple RPI-IBM Future of Computing Research Collaboration grants (quantum computing and LLM reasoning), a DOE grant for EV battery assessment, an ONR grant for autonomous helicopter refueling, and industry partnerships with Boeing and ARM. He leads a high-impact research group that organizes influential workshops like "Learning under Requirements" at premier conferences including AAAI and L4DC. His laboratory focuses on translating theoretical advances into industrial applications through partnerships with GE Research, The Boeing Company, and national laboratories. Current projects include autonomous helicopter aerial refueling systems, real-time power grid stability assessment tools using graph neural networks, and safety-certified multi-robot coordination frameworks, all emphasizing deployable solutions for critical infrastructure challenges.

Marco Peressottiمشاهده پروفایل

دانشیار

• Choreographic Programming
• Concurrent Systems
• Formal Methods
• +۵ مورد دیگر

Marco Peressotti is an Associate Professor of Computer Science at the University of Southern Denmark, where he is a member of the Department of Mathematics and Computer Science and the Section of Artificial Intelligence, Cybersecurity, and Programming Languages. He also serves on the Communication Group of the Microservices Community, an international research network. His academic career focuses on making concurrent and distributed systems more effective and robust through formal methods and programming language techniques. Dr. Peressotti received his Ph.D. in Computer Science from the University of Udine in 2017. His educational background forms the foundation for his current research in formal methods and distributed systems. Peressotti's research centers on choreographic programming, formal methods, and concurrency theory, with a unifying mathematical perspective rooted in Logic and Category Theory. His work aims to make programming and analysis of concurrent systems more effective and robust. He has made significant contributions to the development of choreographic programming languages, particularly through the Choral language, which integrates object-oriented programming with choreographic abstractions. His research spans theoretical foundations to practical implementations, with applications in microservices, cybersecurity, and distributed systems. His recent publications demonstrate a strong focus on advancing choreographic programming, with particular attention to handling communication failures, out-of-order execution, and practical applications in microservices architectures. His work increasingly intersects with cybersecurity concerns, particularly in supply chain security for small and medium enterprises. The trend shows growing engagement with practical policy implications of his theoretical work, as evidenced by numerous opinion pieces in Danish media outlets. Dr. Peressotti actively supervises students, with Valentino Picotti recently defending a PhD thesis on "Language Support for Microservices Development" under his co-supervision. His research has practical applications in software verification, as demonstrated by his introduction to Software Verification with TLA+ for participants of the Danish Cyber Championships. He collaborates extensively with researchers including Fabrizio Montesi and Jan Stentoft on cybersecurity awareness and supply chain risk management. As a member of the Section of Artificial Intelligence, Cybersecurity, and Programming Languages, Peressotti contributes to research groups focused on formal methods for distributed systems. His work with the Microservices Community connects him to an international network of researchers advancing service-oriented computing paradigms.

Adrian Dios Vicenteمشاهده پروفایل

استادیار

• Economic History
• Business History
• Energy Sector Economics
• +۴ مورد دیگر

Adrian Dios Vicente serves as Assistant Professor in the Department of Applied Economics at the Faculty of Economic and Business Sciences, University of Santiago de Compostela. He is affiliated with the Institute of Studies and Development of Galicia (IDEGA) and the GESPIC research group (Business and Sectoral History Study Group) focusing on Fishing, Industry and Commerce. Education: Ph.D. in Economics, University of Santiago de Compostela (2019). Thesis: History of Unión Fenosa within the framework of the electricity sector 1982-2008. Business, financial evolution and impact of the regulatory framework , supervised by Dr. Xán Carmona Badía. Research Interests: His work centers on economic and business history with emphasis on Spanish energy sector evolution (particularly Unión Fenosa), Galician print newspaper industry dynamics, working capital management in fisheries and agri-food sectors, blue economy innovation, and university spin-off survival. His methodological approach combines historical analysis with empirical econometrics. Publication Trends: Recent output (2020-2024) reveals three dominant strands: (1) print media crisis/recovery in Galicia using regional economic data, (2) working capital-performance linkages in specialized sectors (fisheries, cheese, energy), and (3) blue economy transitions and spin-off survival mechanisms. His work frequently employs panel data analysis and longitudinal case studies focused on Iberian contexts. Scientific Awards: No awards were documented in the source materials. Advising & Grants: The provided materials indicate no supervised students. Project involvement includes MODESLOW (low-carbon energy transition modeling for Spain) and GESPIC group initiatives on sectoral history. Research Infrastructure: Active in IDEGA's Galician development research ecosystem and GESPIC's specialized studies of fishing/commerce history, contributing to Atlantic Area Sea Basin stakeholder mapping and regional economic monitoring.

Gabriele Rögerمشاهده پروفایل

مدرس

• Classical Planning
• Heuristic Search
• Artificial Intelligence
• +۴ مورد دیگر

Gabriele Röger is a Lecturer and Senior Research Associate at the University of Basel , affiliated with the Department of Mathematics and Computer Science . She previously earned her Dr. rer. nat. in 2014 from the University of Freiburg. Research Interests : Her work focuses on classical planning and heuristic search , with significant contributions to planning systems like Fast Downward and Temporal Fast Downward. She has developed advanced techniques for cost partitioning , unsolvability certification , and merge-and-shrink frameworks , advancing the field of automated planning . Recent Publications (2025-2018) highlight innovations in stochastic shortest path problems , state space reduction , certificate generation , and planning heuristics based on linear programming and symmetry analysis . Awards & Recognition : ICAPS 2024 Influential Paper Award Best Student Paper Runner-Up (ICAPS 2022) SoCS 2020 Best Paper Award ICAPS 2019 Best Paper Award ICAPS Best Dissertation Award (2016) Multiple International Planning Competition wins (2008-2018) Leadership Roles : Co-Chair, SoCS 2013 Program Co-Chair, ICAPS 2018 Associate Program Co-Chair, AAAI 2021 ICAPS President (2022-2024) Member, JAIR Editorial Board Lab Affiliation : Actively contributes to the AI Group at the University of Basel, collaborating on heuristic search and planning systems development.

A G M Zamanمشاهده پروفایل

پژوهشگر ارشد

• Artificial Intelligence
• Machine Learning
• Deep Learning
• +۴ مورد دیگر

A G M Zaman is a Junior Research Fellow at the Estonian University of Life Sciences, working within the Institute of Forestry and Engineering, specifically in the Chair of Biosystems Engineering. His position spans from September 1, 2023 to August 31, 2027, with a full-time appointment (1.00 FTE). He is also currently pursuing his PhD at the same institution under the supervision of Jüri Olt and Kallol Roy, with his doctoral research focusing on "Cultivated Plant Sensing: Artificial Intelligence for Precision Agriculture in Dynamic Environment." Education: MSc in Software Engineering of Distributed Systems, KTH, Stockholm, Sweden (2006-2009) PhD Candidate, Estonian University of Life Sciences (2023-present) A G M Zaman's research primarily centers on the application of artificial intelligence in precision agriculture, with a particular focus on blueberry farming. His work spans multiple AI techniques including machine learning, deep learning, and computer vision to address agricultural challenges. His research interests include: AI-driven plant sensing and identification in dynamic environments Computer vision applications for precision agriculture Synthetic data generation for agricultural applications Plant health monitoring using RGB imaging and NDVI prediction Small data learning approaches for agricultural robotics His publication record demonstrates a strong trend toward applying advanced AI techniques to solve specific agricultural problems, particularly in blueberry cultivation. Recent work shows increasing sophistication in using deep learning architectures like convolutional variational autoencoders for tasks such as image generation, plant size classification, and root collar detection. His research bridges computer science with practical agricultural applications, focusing on making farming more efficient and data-driven. Scientific Contributions: Developed novel frameworks for blueberry root collar detection using machine learning Created synthetic blueberry image generation techniques using convolutional variational autoencoders Designed robust object detection methods for blueberry farming under environmental perturbations Proposed clustering and deep learning approaches for predicting plant health from RGB images Zaman's work extends beyond agriculture into other domains including education technology, healthcare analytics, financial modeling, and software engineering. He has published on analyzing online student evaluations, early-stage diabetes prediction, stock price forecasting, and software testing methodologies. This diverse publication record demonstrates his strong foundation in data science and machine learning applied across multiple domains.

• Machine Learning
• Natural Language Processing
• Small Language Models
• +۴ مورد دیگر

Richard Diehl Martinez is a Research Fellow in Computer Science at the University of Cambridge, where he conducts cutting-edge research at the intersection of machine learning, linguistics, and neuroscience. His academic journey includes completing a PhD at Cambridge as a Gates Scholar, following earlier studies at Stanford University where he earned both an M.S. in Computer Science and a B.S. in Management Science. Prior to his doctoral work, he gained industry experience as an Applied Research Scientist at Amazon Alexa, focusing on language modeling research. His research interests center on improving the performance and efficiency of small language models through innovative pre-training techniques and analytical methods. Martinez has made significant contributions to understanding convergence challenges in smaller architectures, frequency bias mitigation, and curriculum learning approaches inspired by infant language acquisition. He is the creator of Pico, an open-source framework for hypothesis-driven small language model research and development. Martinez's publication record demonstrates consistent output in top-tier venues including EMNLP, ACL, and CoNLL, with his paper 'CLIMB: Curriculum Learning for Infant-inspired Model Building' earning the Best Paper award at CoNLL 2023. His work spans theoretical investigations of learning dynamics and practical framework development, addressing fundamental challenges in small language model training and efficiency. Gates Scholar Best Paper Award at CoNLL 2023 for CLIMB research As a Research Fellow, Martinez likely supervises graduate students and contributes to the research community through collaborations with colleagues at Cambridge and beyond. His work on the BabyLM Challenge connects him with an international community focused on advancing small-scale language model capabilities. Martinez's research bridges cognitive science theories with practical model development, offering insights that benefit both theoretical understanding and real-world applications of language models.

Gert Smolkaمشاهده پروفایل

استاد

• Computational Logic
• Interactive Theorem Proving
• Type Theory
• +۳ مورد دیگر

Gert Smolka is a Professor of Computer Science at Saarland University, affiliated with the Saarland Informatics Campus. He has established himself as a leading researcher in theoretical computer science with significant contributions to computational logic, type theory, and programming languages. Professor Smolka's research focuses on Computational Logic , Interactive Theorem Proving , Type Theory , and Programming Languages . His work bridges theoretical foundations with practical applications in formal verification. He has developed influential educational materials including Modeling and Proving in Computational Type Theory Using the Coq Proof Assistant , Introduction to Functional Programming and the Structure of Programming Languages using OCaml , and Programmierung - eine Einführung in die Informatik mit Standard ML , which have shaped teaching approaches in these specialized areas. Analysis of Professor Smolka's recent publications reveals a sustained focus on formal verification using the Coq proof assistant, with particular emphasis on mechanizing fundamental results in type theory, lambda calculus, and automata theory. His work consistently demonstrates how theoretical computer science concepts can be practically implemented and verified, creating a strong connection between abstract mathematical foundations and concrete verification techniques. Scientific recognition associated with Professor Smolka's academic lineage includes: ACP Doctoral Research Award 2010 (awarded to Guido Tack for his thesis) E.W. Beth Dissertation Prize 2008 (awarded to Marco Kuhlmann for his thesis) Professor Smolka has maintained an exceptionally productive doctoral supervision record spanning over 30 years, with students working on diverse but interconnected theoretical topics. His research group, the Programming Systems Lab at Saarland University, has been instrumental in advancing programming language theory and formal methods, particularly through their extensive work with the Coq proof assistant and related verification technologies. His Erdős number of 4 (via F. Baader -> K. Schlechta -> M. Magidor -> P. Erdös) reflects connections to broader mathematical research communities.