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

• Japanese History
• Historical Anthropology
• Early Modern Japan
• +۴ مورد دیگر

Dr Pia Maria Jolliffe is a Research Fellow at Blackfriars Hall, University of Oxford, and a Member of the Las Casas Institute. Elected Fellow of the Royal Historical Society (FRHistS) in 2022, she specializes in Japanese history with focus on historical anthropology, childhood experiences during Japan's transition from the sixteenth to seventeenth century, Buddhist memory sites, and Japanese Christian history. She teaches Japanese history to university students, school children, and adult learners across diverse educational settings. Her research centers on early modern Japan through historical anthropology, emphasizing marginalized perspectives during political upheavals. Current projects include a monograph Himegimi. Girls, Buddhism and the memory of political defeat in early modern Japan (1595-1630) analyzing Toyotomi Hidetsugu's household, and new work on child Empress Meisho's life in Buddhist imperial convents. She reveals how gendered experiences reshape narratives of Japan's 're-unification', highlighting communities erased from mainstream histories. Dr Jolliffe's publications span Japanese history, religious studies, and international development, consistently intersecting themes of memory, childhood vulnerability, and cultural translation. Her work demonstrates how transnational religious networks operated in early modern East Asia while addressing contemporary issues like refugee integration and forced labor legacies. Scientific awards: Fellow of the Royal Historical Society (2022) While actively mentoring students through university teaching and public engagement, specific details about doctoral advisees and research grants were not provided in source materials. She is preparing an invited paper on Empress Meisho for the University of Basel's 2026 conference on 'Dynastic Reproduction in Early Modern Eurasia'. No dedicated research laboratories or structured teams were mentioned; her collaborative work appears centered on academic partnerships with scholars like Katja Triplett and Yoshimi Orii across international institutions.

• English Language Teaching
• Assistive Technology
• Educational Technology
• +۵ مورد دیگر

Ayşe Tuna serves as a Lecturer at Trakya University's School of Foreign Languages, holding this academic position continuously since September 2011. She earned formal recognition as Lecturer Doctor following her 2020 doctoral completion in English Language Teaching. Her academic credentials include: Doctoral Degree in ELT, Trakya University (2020) Master's Degree in ELT, Trakya University (2009) Bachelor's Degree, Middle East Technical University (2003) Her research synthesizes English Language Teaching with cutting-edge assistive technology development, specifically targeting communication and accessibility barriers for neurodiverse and physically challenged populations. Key focus areas include autism spectrum disorder interventions, speech disorder accommodations, and elderly/disabled support systems through smart environments. Analysis of her publication trajectory reveals consistent interdisciplinary innovation across computer science and special education domains. Her work progresses from computer-assisted autism interventions (2017) to secure communication platforms for speech disorders (2016), culminating in integrated smart home ecosystems (2015), demonstrating a cohesive research vision centered on human-centered technological adaptation.

Vytautas Čyrasمشاهده پروفایل

دانشیار

• Legal informatics
• Artificial intelligence and law
• Conceptualisation
• +۷ مورد دیگر

Dr. Vytautas Čyras serves as an Associate Professor at Vilnius University's Faculty of Mathematics and Informatics, specifically within the Institute of Computer Science and Department of Software Engineering. With over three decades of academic experience since 1984, he bridges computer science and legal theory through groundbreaking interdisciplinary research. Education: Master's in Applied Mathematics (Computer Science) from Vilnius University (1979) Doctorate from Moscow State University's Faculty of Computational Mathematics and Cybernetics (1985) Second Master's in Law from Vilnius University and German Law Centre (2007) Dr. Čyras' research spans legal informatics, information systems, and computer science. His primary focus includes artificial intelligence and law, regulatory compliance, legal requirements, and pioneering work in legal visualization. His Structural Blanks approach to programming with recurrences demonstrates deep expertise in both foundational computer science and legal applications. His research explores how visual and multisensory approaches can transform legal reasoning and compliance in digital environments. His publication trajectory reveals an evolution from technical computer science topics toward sophisticated legal informatics applications. Recent work emphasizes multisensory legal machines, legal visualization frameworks, and the integration of AI with legal reasoning systems. He has made significant contributions to understanding how legal norms can be transformed into operational rules for virtual environments and digital governance systems. Professional Activities: Active participant and organizer of major legal informatics conferences including IRIS, Baltic DB&IS, and EGOVIS Contributor to European Framework Programme projects including VirtualLife and SKY-Scanner Longstanding member of the Lithuanian Computer Society and its Intellectics Section Dr. Čyras teaches courses including Artificial Intelligence, Knowledge Representation, and Human-Computer Interaction. His interdisciplinary background enables him to bridge theoretical legal concepts with practical applications in regulatory compliance systems and legal technology development.

Ravi Sethiمشاهده پروفایل

استاد

• Software technologies
• communications systems
• compilers
• +۲ مورد دیگر

Ravi Sethi serves as a Laureate Professor in the Department of Computer Science within the College of Engineering at the University of Arizona. His office is located in GS 842, and he can be contacted via email at rsethi@cs.arizona.edu or by phone at 520-621-0689. His primary research interests include: Software technologies Communications systems Compilers Programming languages Algorithms Professor Sethi is renowned for his foundational contributions to compiler design, particularly as co-author of the seminal textbook "Compilers: Principles, Techniques and Tools". His publication record spans over four decades with works translated into multiple languages, reflecting global influence in computer science education. Analysis of his recent articles reveals persistent focus on compiler construction, programming language semantics, and software engineering methodologies. Key trends include modern compiler optimizations, formal language theory, and enterprise communication systems, demonstrating sustained relevance in evolving technical landscapes. No scientific awards, student advising details, grant information, or laboratory affiliations were mentioned in the provided text.

Dietmar Seipelمشاهده پروفایل

استاد

• Logic Programming
• Deductive Databases
• Knowledge Engineering
• +۵ مورد دیگر

Dietmar Seipel is a Professor at the University of Würzburg, affiliated with the Department of Computer Science within the Faculty of Mathematics and Computer Science. He has held this position since November 1995, establishing a distinguished academic career spanning over 25 years with significant contributions to logic-based computer science. Professor Seipel's research focuses on Logic Programming and Deductive Databases, with substantial expertise in Knowledge Engineering and Artificial Intelligence. His scholarly work bridges theoretical foundations with practical applications, particularly in rule-based systems, knowledge representation, and declarative programming paradigms. He has consistently advanced the field through both theoretical developments and practical implementations, creating tools that enable more effective knowledge management and reasoning systems. His publication trajectory demonstrates a clear evolution from foundational work in disjunctive logic programming to contemporary applications in knowledge representation and semantic technologies. Recent research shows continued innovation in integrating logic programming with modern programming languages and systems, including Python and JavaScript implementations. His work spans theoretical contributions to practical tool development, with applications across diverse domains including space systems, medical informatics, and business process management. Professor Seipel has made extensive contributions to the academic literature, with publications appearing consistently from the 1980s through to the present. His work has influenced both theoretical developments in logic programming and practical applications in knowledge-based systems. He has been actively involved in academic community building through conference organization, particularly for events related to declarative programming and knowledge management.

• Operating System Verification
• Formal Methods
• Software Security
• +۷ مورد دیگر

Alexander Konstantinovich Petrenko is a Professor at the Faculty of Computer Science of the National Research University Higher School of Economics (HSE), where he has been working since 2009. He serves as the Academic Director of the educational program 'System Programming' and is affiliated with the Basic Department 'System Programming' of the Institute for System Programming named after V.P. Ivannikov of the Russian Academy of Sciences (ISP RAS). With 42 years of scientific and teaching experience, he holds a Doctor of Physical and Mathematical Sciences degree (2004) and was awarded the academic title of Professor in 2011. His research focuses on verification and validation technologies, formalization of interface standards, and free software/open standards. His work primarily centers on operating system security, formal methods in software engineering, and system programming. He has made significant contributions to runtime verification of operating systems, access control models, and security policy integration. Professor Petrenko's publication record demonstrates a consistent focus on formal methods for operating system verification, with recent work emphasizing security by design principles, dynamic verification techniques, and integration of multiple security models (RBAC, MIC, MLS). His research bridges theoretical computer science with practical applications in system security and reliability. Letter of thanks from the Vice-Rector of HSE (November 2021) Gratitude from the Faculty of Computer Science of HSE (August 2017) With extensive experience across multiple institutions including the Keldysh Institute of Applied Mathematics (1974-1994), the Institute of System Programming of the Russian Academy of Sciences (since 1994, as head of the Department of Programming Technologies since 2004), and Moscow State University (since 1999, as professor since 2004), Professor Petrenko has established himself as a leading expert in system programming and formal verification. He has contributed significantly to educational programs in software engineering that recently achieved professional accreditation. His work spans both theoretical foundations and practical applications in system security, with strong connections to industry needs through his involvement with the Institute for System Programming and collaborations on real-world security challenges.

Elena Umiliمشاهده پروفایل

استادیار

• Neurosymbolic AI
• Deep Learning
• Deep Reinforcement Learning
• +۳ مورد دیگر

Elena Umili is an Assistant Professor (RTD-A) at the Department of Computer, Control and Management Engineering (DIAG) of Sapienza University of Rome, specializing in Neurosymbolic AI research. Her work bridges deep learning with symbolic reasoning systems. She received her PhD in Engineering in Computer Science from Sapienza University of Rome in 2023 under the supervision of Prof. Giuseppe De Giacomo and Prof. Roberto Capobianco. Her doctoral thesis focused on 'Discovering Logical Knowledge in Non-Symbolic Domains'. Her research interests center on Neurosymbolic AI integration , particularly: Combining deep machine learning with symbolic reasoning Temporal logic specifications in neural systems Automata learning through neural relaxations Non-Markovian reinforcement learning tasks Visual grounding of logical specifications Analysis of her recent publications reveals a strong focus on neural-symbolic integration where she develops frameworks like DeepDFA and Neural Reward Machines. Her work consistently addresses the challenge of incorporating logical constraints into deep learning systems, with applications spanning robotics, sequence generation, and visual reasoning. The research demonstrates increasing sophistication in handling temporal logic specifications within neural architectures. She is an active member of research groups focused on Artificial Intelligence and Knowledge Representation, as well as Artificial Intelligence and Robotics at Sapienza University. While no formal advisees or major awards are currently documented in her public profile, her recent publications indicate significant contributions to the neurosymbolic AI field through top-tier conferences including ECAI, KR, and specialized workshops. Her work shows strong potential for future impact in bridging the gap between neural and symbolic AI paradigms.

Natalia Artemevaمشاهده پروفایل

استاد

• Writing Studies
• Non-literary Genre Studies
• Multimodality
• +۵ مورد دیگر

Natalia Artemeva is a Professor at Carleton University's School of Linguistics and Language Studies, with a distinguished career spanning 30 years in Writing Studies, Genre Studies, and Multimodality. She holds a Ph.D. from McGill University, an M.A. from Carleton, and a B. & M.Eng. from NUST MISiS (Moscow). Her research explores socio-cultural theories of learning, forensic linguistics, and the intersection of multimodal communication in academic and professional contexts, including collaborations with the Police Research Lab. B. & M.Eng. : National University of Science and Technology MISiS, Moscow M.A. : Carleton University Ph.D. : McGill University Her work investigates how individuals become proficient communicators across disciplines, with recent focus on autistic students’ academic acculturation during the pandemic, police interview practices, and paramedic decision-making. Publications include co-authored books on language assessment and co-edited collections on multimodality, with awards from the Canadian Association for the Study of Discourse and Writing. 2021 : CASDW Doreen Starke-Meyerring Annual Award (with Sara Doody) 2019 : CASDW Best Article/Chapter Award (with Chloe Fogarty-Bourget and Janna Fox) She supervises graduate work in rhetorical genre theory, forensic linguistics, and multimodal studies, while teaching courses like Doctoral Core Seminars in Applied Linguistics and Forensic Linguistics. Her research extends to the impact of global challenges like COVID-19 on autistic university students.

• Algorithms on strings
• Formal language theory
• Bioinformatics
• +۳ مورد دیگر

Chiara Epifanio is a researcher (INFO-01/A) at the University of Palermo , based in the Department of Mathematics and Computer Science . She holds regular office hours on Tuesdays 14:30–17:00 in Room 104, first floor, Via Archirafi 34, and can be reached at chiara.epifanio@unipa.it . Over the past fifteen years she has designed and taught a diverse portfolio of courses spanning Programming , Bioinformatics , Advanced Programming , Teaching Methodologies and Techniques for Computer Science and Pattern Discovery for Life Sciences . These offerings serve degree programmes in Mathematics, Computer Science, Statistics & Data Science, and the recently launched curricula in Data, Algorithms & Machine Intelligence and Computer Science & Artificial Intelligence . Her research lies at the intersection of combinatorics on words , string algorithms , and bioinformatics . She has made sustained contributions to the design of alignment-free distances for biological data, the theory of Sturmian words and their associated graphs, suffix automata tolerant to mismatches, and compact data structures such as linear-size suffix tries. The work repeatedly draws on deep results from formal language theory, automata theory, and discrete mathematics to solve practical problems in sequence analysis. Publications trend: From 2004 onward she has produced a steady stream of peer-reviewed articles that move from foundational combinatorial results on Sturmian words and critical factorization theorems toward application-driven studies on approximate string matching and genomic data mining. A marked acceleration is visible in the 2023 publications addressing k-Hamming and k-edit distances, reflecting current demands in large-scale biological data analytics. Scientific awards: None explicitly mentioned in the provided material. Advising & grants: No PhD or Master’s students are listed in the supplied pages, and no funded project descriptions are available. Laboratories & teams: While no specific lab is named, her teaching and research are embedded within the Department of Mathematics and Computer Science, which hosts groups in algorithms, discrete mathematics, and bioinformatics, and provides access to the university’s ATeN Center and other research infrastructures.

Lindsey Kuperمشاهده پروفایل

استادیار

• programming languages
• distributed computing
• concurrency
• +۶ مورد دیگر

Lindsey Kuper is an Assistant Professor in the Computer Science and Engineering Department at the Baskin School of Engineering, University of California, Santa Cruz. She received her Ph.D. from Indiana University in 2015 and leads the CASL (Concurrency and Safety Lab) research group, which is part of the larger Languages, Systems, and Data (LSD) Lab. Her research focuses on programming-language-based approaches to building concurrent and distributed software systems that are elegant, correct, and efficient. Key research areas include: Library-level choreographic programming (in Haskell, Rust, and TypeScript) Dependently-typed diagrams for inductive reasoning about concurrent executions Expressing and verifying causal message delivery with refinement types Lindsey's research has been recognized with an NSF CAREER Award, a Stellar Development Foundation Academic Research Grant, a Google Faculty Research Award, and support from Amazon Web Services. Her work on "HasChor: functional choreographic programming for all" received the ICFP 2023 Distinguished Paper Award. She teaches courses in programming languages and distributed systems at UC Santa Cruz, including Foundations of Programming Languages and graduate/undergraduate Distributed Systems. Her undergraduate distributed systems lectures from 2020-2021 have been viewed over 200,000 times on YouTube. Lindsey co-founded the !!Con and !!Con West conferences of ten-minute talks on the joy, excitement, and surprise of computing, and serves on the board of the Exclamation Foundation. She has chaired numerous workshops and served on program committees for major programming languages conferences including PLDI, POPL, ICFP, and OOPSLA. Her current PhD students include Jonathan Castello, Tim Goodwin, Nathan Liittschwager, Patrick Redmond, Gan Shen, and Yan Tong. Recent graduates include Shun Kashiwa (MS, 2024) and Ali Ali (BS, 2024).

Benjamin C. Pierceمشاهده پروفایل

استاد

• Programming Languages
• Type Systems
• Language-Based Security
• +۵ مورد دیگر

Benjamin C. Pierce serves as the Henry Salvatori Professor of Computer and Information Science in the School of Engineering and Applied Science at the University of Pennsylvania. He is a Fellow of the ACM with extensive editorial experience, having served as co-Editor in Chief of the Journal of Functional Programming and Managing Editor for Logical Methods in Computer Science. His research spans programming languages, type systems, language-based security, formal verification, differential privacy, and synchronization technologies. Pierce is renowned for developing foundational frameworks in bidirectional transformations (lenses), property-based testing, and differential privacy verification. His work bridges theoretical computer science with practical implementation, particularly evident in his development of the Unison file synchronizer and the Clowdr virtual conference platform. The trends in his recent publications reveal a sustained focus on verification techniques for privacy-preserving systems, particularly differential privacy, alongside continued innovation in bidirectional data transformations and property-based testing methodologies. His work increasingly integrates formal verification with practical implementation concerns. Fellow of the ACM Pierce has mentored numerous researchers through PLMW (Programming Languages Mentoring Workshop) events and has served on numerous program committees for major conferences including POPL, PLDI, and ICFP. His editorial work has significantly shaped the programming languages research community through his leadership roles in key journals. He leads development of the Unison file synchronizer, a cross-platform tool used worldwide, and co-developed the Clowdr virtual conference platform that gained prominence during the pandemic. His work demonstrates a consistent pattern of creating practical tools grounded in deep theoretical foundations.

• Requirements Engineering
• Web Engineering
• Artificial Intelligence
• +۹ مورد دیگر

Luisa Mich is an Associate Professor in the Department of Industrial Engineering at the University of Trento, Italy, holding this position since 2002 after progressing from Research Fellow (1983-1987) to Researcher (1988-2001). She teaches Enterprise Information Systems, Tourism Information Systems, and Web Strategies across multiple departments including Economics, Humanities, and Mathematics, while pioneering ICT integration at the university since 1989. Education: PhD in Physics, University of Trento (1983), thesis: "Theory and experimentation on interaction in human systems" Scientific High School Diploma, Marcelline Institute, Bolzano (1976) Her research centers on Requirements Engineering innovations including the award-winning 7Loci meta-model for web presence strategy and enhanced creativity techniques surpassing traditional brainstorming. Current work integrates Natural Language Processing with legal document analysis and web reputation monitoring, demonstrating strong interdisciplinary connections between computer science, tourism management, and semantic technologies. Recent publications (2022-2025) reveal a decisive shift toward AI-driven business process development and tourism applications, with semantic technologies bridging legal compliance and requirements engineering. Key trends include agentic AI systems, optimized creativity techniques for requirements elicitation, and ontology-based personalization frameworks – all addressing practical challenges in destination management and customer experience. Scientific Recognition: While lacking major prizes, her expertise is validated through editorial board roles (Journal of Information Technology & Tourism, Journal of e-Learning) and leadership in professional societies including ACM, IEEE, and IFITT. Advising and Grants: Mich has supervised approximately 100 theses across scientific and humanities disciplines, including doctoral programs in Information Technology and Materials Science. Her grant leadership includes the European WEE-NET project (2005-2008) establishing Web Engineering networks and Papyrus (2008-2010) for cultural digital libraries, alongside consultancy for tourism boards like Suedtirol and Visit Trentino. Research Infrastructure: She co-founded Trento's Department of Information and Communication Technology and directed the Computer Science and Organisations program. Her ECDL certification initiative (1998-2010) became Italy's first university-adopted ICT certification, while her "ICT and tourism" research group drives destination management innovations through the Trentino Tourism System.

Sašo Živanovićمشاهده پروفایل

استادیار

• Semantics
• Quantification
• Phonology
• +۴ مورد دیگر

Sašo Živanović is an Assistant Professor at the Department of Comparative and General Linguistics, Faculty of Arts, University of Ljubljana. He holds a PhD in General Linguistics (2007) and a Diploma in Theoretical Mathematics (2002), and has been continuously employed at the university since 2007. His educational background reflects an interdisciplinary approach, combining mathematical rigor with linguistic theory. This foundation supports his research at the intersection of formal linguistics and computational methods. Živanović's research spans theoretical linguistics with particular emphasis on semantics (especially quantification), phonology, and syntax. His work demonstrates a consistent focus on the formal properties of language structure, with publications ranging from theoretical explorations of logical form to practical applications in linguistic documentation. His recent work shows increasing integration of computational approaches, particularly through his development of specialized LaTeX packages for linguistic research. Analysis of his publication record reveals a dual trajectory: theoretical contributions to linguistic theory (particularly in Slavic languages) and practical tools for linguistic documentation and analysis. His most recent publications demonstrate growing interest in computational linguistics and the development of specialized software tools for linguistic research. Živanović maintains an active presence in both academic and open-source communities, with significant contributions to the LaTeX ecosystem through packages like Memoize, Forest, and SignDraw that address specific needs in linguistic research and publication. As an educator, he teaches courses including Phonetics and Phonology, Linguistic Typology, Modern Linguistic Theories, and LaTeX for Linguists, demonstrating his commitment to equipping students with both theoretical knowledge and practical technical skills essential for contemporary linguistic research.

Joanne M. Atleeمشاهده پروفایل

استاد

• Software Engineering
• Software Product Lines
• Domain-Specific Languages
• +۵ مورد دیگر

Joanne M. Atlee is a Professor in the Department of Computer Science at the University of Waterloo, Faculty of Mathematics. She has been an active member of the software engineering research community since at least 2015, with continuous involvement in major conferences through 2025. Her research focuses on software product lines, domain-specific languages, cyber-physical systems, and model-driven engineering. She has made significant contributions to variability management and formal methods in software engineering, with publications spanning industrial case studies, model analysis techniques, and language workbenches. Her recent publications demonstrate a strong emphasis on practical applications of software engineering theory, particularly in the areas of dynamic product lines, declarative analysis, and human-in-the-loop verification systems. Her work bridges theoretical foundations with industrial applicability. Dr. Atlee has held numerous leadership positions in the academic community, including serving as General Chair for ICSE 2019, one of the most prestigious conferences in software engineering. She has also been active as a committee member, session chair, and mentor across multiple conferences including ASE, ICSE, ESEC/FSE, and MODELS. In terms of academic service, she has contributed to doctoral symposia, new faculty development, and equity initiatives, demonstrating a commitment to mentoring the next generation of researchers and promoting diversity in computing.

Fritz Hengleinمشاهده پروفایل

استاد

• Programming Languages
• Functional Programming
• Domain-Specific Languages (DSLs)
• +۶ مورد دیگر

Fritz Henglein is a Professor at the Department of Computer Science, University of Copenhagen (DIKU), with affiliations also at Deon Digital. His career spans over three decades, with notable roles including Head of the Algorithms and Programming Languages (TOPPS) research group and Director of the HIPERFIT research center. Research interests include Programming languages and type systems Functional programming and DSLs High-performance computing Contracts and distributed ledger technology Algorithmic logic and formal semantics His work often bridges theoretical rigor with practical applications, particularly in financial information technology and compiler design. Collaborations include leadership in conferences like POPL, ICFP, and PEPM, with a focus on mentoring through academic events and community-building initiatives.