Find Academic Supervisors

Seamus RossView profile

Professor

• Digital Preservation
• Digital Curation
• Digital Humanities
• +13 more

Seamus Ross is a Professor at the Faculty of Information, University of Toronto, where he served as Dean from 2009 to 2015 and currently directs the Bachelor of Information Program. He is also a Senior Fellow at Massey College and a Fellow at St Michael’s College. Previously, he was Professor of Humanities Informatics and Founding Director of HATII at the University of Glasgow (1997–2009), where he is now Professor Emeritus. He has held visiting roles at institutions such as IMIS-Athena Research Centre and has been active in numerous international research initiatives. His educational background includes a DPhil from the University of Oxford, an MA from the University of Pennsylvania, and a BA from Vassar College. Seamus Ross’s research centers on digital preservation, curation, digital humanities, and cultural heritage informatics. His work explores semantic extraction, genre classification, emulation, digital archaeology, and knowledge representation. He has contributed significantly to the development of digital curation frameworks and post-custodial models for archives and libraries. His recent publications reflect a sustained engagement with FAIR principles, open access, and the ethical dimensions of digital cultural heritage. The trends in his scholarly output highlight a strong focus on the intersection of technology and cultural memory, with an emphasis on practical frameworks for long-term access, digital stewardship, and interdisciplinary collaboration in digital humanities. Elected Corresponding Fellow, Royal Society of Edinburgh (2016) He has supervised multiple graduate students, including Cassandra D’Amico-Mazza and Hassan Asif, and has led numerous funded research projects, such as BlogForever, PLANETS, SHAMAN, and DL.ORG, supported by the European Commission, JISC, EPSRC, and others. He has also developed academic programs including the MSc in eDiscovery and Computer Forensics and the MA in Arts and Media Informatics. Ross has been actively involved in leadership and service, chairing committees such as the BI Admissions and Curriculum Committees, and serving on the Scientific Committee for international symposia and editorial boards including IFLA Journal , KULA , and Studies in Digital Heritage . He has organized key events like the Semantic Digital Archives workshops and the ALISE/ASIST accreditation panel, shaping discourse in LIS education and digital curation.

Jürgen GieslView profile

Professor

• Program Verification
• Automated Deduction
• Termination Analysis
• +12 more

Jürgen Giesl is a Professor at the Teaching and Research Area Computer Science 2 within the Department of Computer Science at RWTH Aachen University , Germany. He leads research in programming languages, formal verification, automated deduction, and term rewriting systems. Research Interests: Automated Termination and Complexity Analysis of Programs Dependency Pairs and Term Rewriting Systems Verification of Probabilistic and Integer Programs Static Analysis and Symbolic Execution Model Checking and Constrained Horn Clauses Development of Automated Tools (AProVE, LoAT) His recent research, reflected in the latest publications, focuses on termination and complexity analysis for probabilistic programs, polynomial loops, and integer programs, using advanced techniques such as dependency pairs, loop acceleration, and semiring semantics. He also contributes to SMT solving and transitive relation learning for infinite-state model checking. Scientific Awards: Best Tool Paper Award at iFM 2017 Silver Medal (Second Best Paper) at SEFM '16 Best Paper Honourable Mention at IJCAR 2024 Best Student Paper Honourable Mention at IJCAR 2024 Advising and Grants: Giesl has supervised numerous PhD and Master’s students, including prominent researchers such as Fabian Frohn, Jens Hensel, Nils Lommen, and Marcel Hark. He leads a large research group focused on automated verification and has contributed extensively to international verification competitions. His work is supported by ongoing research grants and collaborations with leading institutions in formal methods. Labs and Teams: He leads the Programming Languages and Verification research group at RWTH Aachen, which develops and maintains the AProVE and LoAT tools. These tools are central to automated termination and complexity analysis and are regularly submitted to international competitions such as TERMCOMP and VBS.

Magdalini EirinakiView profile

Professor

• Recommender Systems
• Machine Learning
• Data Mining
• +5 more

Magdalini Eirinaki is a Professor and Academic Program Coordinator for the MS in Artificial Intelligence at San José State University's Charles W. Davidson College of Engineering. With a career spanning two decades, her work bridges recommender systems , machine learning , and smart city applications . PhD in Computer Science (2006), Athens University of Economics and Business MSc in Advanced Computing (2000), Imperial College London BSc in Computer Science (1998), University of Piraeus Her research focuses on machine learning and recommender systems with extensions to generative AI , privacy-sensitive algorithms , and social network analysis . Recent publications explore federated learning , multi-resolution diffusion models , and autonomous network defense using reinforcement learning. Current projects include NSF-funded CollaborAIte (2024) EU Horizon/Marie Sklodowska-Curie's MUSIT (2024) IBM SkillsBuild Cloud Credits for Sustainability (2024) She has received multiple teaching and mentorship awards including: Newnan Brothers Award (2019) Applied Materials Award (2017) 5-time SJSU Distinguished Faculty Mentor Award Dr. Eirinaki advises students in AI , ML , and smart city projects, with recent graduates presenting at IEEE CAI (2025) and CSU Conference (2025).

Antonio ToscanoView profile

Lecturer

• Italian Literature
• Renaissance Studies
• Dante Studies
• +2 more

Antonio Toscano serves as a Lecturer in the Department of European Languages at Stony Brook University since 2018. His extensive academic career includes prior positions as Assistant Professor of Italian and Coordinator of the Graduate Program at Stony Brook (1986-1993), Adjunct Associate Professor at Suffolk County Community College (2013-2014), and Adjunct Professor of Italian at Nassau Community College (1994-2013), with additional appointments at Gonzaga University, University of Iowa, and other institutions. His educational background features a Dottorato from the University of Messina, Italy, complemented by both an MA and Ph.D. from Rutgers University. Toscano's research centers on Italian literary traditions spanning medieval to 19th-century works, with concentrated expertise in Dante's political philosophy, Machiavelli's political thought, Boccaccio's narrative techniques, and Verga's verismo. His scholarship examines intersections between literature and political theory, particularly within Renaissance humanism and its medieval foundations, while also analyzing linguistic structures and poetic imagery across historical periods. His publication timeline (1976-1991) reveals evolving focus from Machiavellian studies and Renaissance poetry to Dantean analysis and Verga's realism, consistently emphasizing textual interpretation through philosophical and historical lenses. Key thematic threads include political mythmaking, narrative transformation, and semantic complexity in canonical Italian works. During his Stony Brook tenure (1986-1993), Toscano coordinated the Graduate Program in Italian and supervised graduate students, demonstrating sustained commitment to academic mentorship alongside his research activities.

Xiusi ChenView profile

Research Fellow

• Large Language Models
• Natural Language Processing
• AI for Science
• +5 more

Xiusi Chen is a Postdoctoral Research Fellow in the Blender Lab at the University of Illinois Urbana-Champaign (UIUC), working under Prof. Heng Ji. His research focuses on improving reasoning, alignment, and decision-making capabilities of Large Language Models (LLMs). Previously, he completed his Ph.D. in Computer Science at UCLA under Prof. Wei Wang, and earned M.S. and B.S. degrees in Computer Science from Peking University under Prof. Jun Gao. His educational background includes: Ph.D. in Computer Science, University of California, Los Angeles (UCLA), advised by Prof. Wei Wang M.S. in Computer Science, Peking University, advised by Prof. Jun Gao B.S. in Computer Science, Peking University, advised by Prof. Jun Gao Dr. Chen's research program targets three interconnected areas: advancing Large Language Models (particularly in low-resource reasoning and alignment), developing NLP applications for AI in Science and recommendation systems, and modeling complex decision-making processes in sports domains. His work bridges theoretical foundations with practical implementations, resulting in numerous publications in top-tier conferences including ACL, ICML, ICLR, and KDD. Analysis of his recent publications reveals a strong focus on making LLMs more efficient, reliable, and capable of complex reasoning tasks across diverse domains. His significant academic contributions include: 2023 Best Poster Award (Honorable Mention) at SDM 2023 2023 SIAM Student Travel Award 2021 and 2022 SIGIR Student Travel Grants from ACM SIGIR Multiple academic scholarships from Peking University Co-creation of the widely adopted Amazon Reviews'23 dataset (500k+ HuggingFace downloads) Dr. Chen actively serves the research community as Workshop Organizer for KDD 2025, Program Committee member for major conferences (KDD, WSDM, ICML, NeurIPS, ICLR, AAAI), and journal reviewer. He maintains a strong commitment to mentoring, offering dedicated time for students (especially from underrepresented groups) to discuss research and career development. Starting Fall 2025, he will be seeking academic positions to continue his research on language agents and decision-making systems. Currently based in the Siebel Center for Computer Science, Dr. Chen collaborates with the Blender Lab team on advancing NLP and LLM capabilities. His work has practical impact through widely adopted resources like the Amazon Reviews'23 dataset and theoretical contributions through his publications on reasoning frameworks and alignment techniques.

Christoph SchroederView profile

Professor

• Linguistics
• Language Contact
• Contrastive Linguistics
• +6 more

Christoph Schroeder is a Professor for German as a Second and Foreign Language at the Institute for Germanistics, University of Potsdam. He serves as a corresponding member of the Institute for Migration Research and Intercultural Studies (IMIS) and has held visiting professorships at the University of Cyprus (2004) and Istanbul Bilgi University (2005). His work bridges linguistics, migration studies, and multilingual education. Education: Habilitation in Linguistics (University of Osnabrück, 2004); Promotion (PhD) in Germanistics (University of Bremen, 1995). Key Affiliations: IMIS, Center of Migration Studies (Istanbul Bilgi University), Arbeitsgebiet DaZ/DaF (University of Potsdam). Research Interests focus on language contact, contrastive linguistics, and multilingualism in schools. His work examines orthographic challenges in German-Turkish language contact, secondary predication in Turkish, and strategies for supporting students with non-German native languages through multilingual education frameworks. Notable Projects include leading the Volkswagen Foundation-funded project "Schriftspracherwerb in der Organisation Schule unter den Bedingungen von Migration und Mehrsprachigkeit" (2007-2012), which explored literacy acquisition in multilingual schools across Germany, Turkey, and Cyprus. His editorial roles include co-editing Essener Linguistische Skripte and serving on the editorial board of Language Typology and Universals (STUF) . Publications span contrastive linguistics, language typology, and migration-related educational challenges. Recent work analyzes orthographic systems in language contact scenarios, adverbial modification in Turkish, and article systems across European languages. His research often integrates sociolinguistic and typological perspectives. Professional Memberships: Association of Linguistic Typology (ALT) Deutsche Gesellschaft für Sprachwissenschaft (DGfS) Deutsche Gesellschaft für Fremdsprachenforschung (DGFF)

• Industry 4.0
• Internet of Things (IoT)
• OT/IT Integration
• +4 more

Prof. Dennis Kolberg serves as Professor of Industrial Engineering at Lübeck University of Applied Sciences, holding dual leadership roles as Head of Industrial Engineering Bachelor/Master programs and Head of the Institute for Entrepreneurship and Business Development (IEBD). His career uniquely bridges academic research and industry implementation, with recent executive experience as Chief Product Officer at DIGIMONDO (2020-2023) and co-founding SPARETECH (2019). M.Sc. Industrial Engineering, University of Bremen (2007-2014) Ph.D. in Industrial Engineering, Technical University of Kaiserslautern (2014-2018) focusing on Industry 4.0 and Lean Management Vocational Training as Industrial Clerk, RK Rose+Krieger (2004-2007) His research pioneers the integration of lean production methodologies with digital technologies , specializing in Industry 4.0 implementation and OT/IT convergence for manufacturing environments. Key contributions include developing reference architectures for cyber-physical production systems and optimizing human-machine interfaces through lean automation principles. Current work emphasizes digital transformation in B2B contexts , particularly for software startups in industrial settings. Publications from 2015-2022 reveal a consistent trajectory from foundational CPS architectures toward applied IoT solutions, with recent focus on digital twins for production optimization. His work consistently bridges theoretical frameworks and practical implementation , demonstrating how lean principles enhance digital transformation outcomes in manufacturing. Kolberg actively supervises bachelor's and master's theses at Lübeck University of Applied Sciences, with students registering via email for thesis topics. His industry background informs practical research directions, though specific grant funding isn't detailed in available sources. As IEBD Director, he drives academic-industry partnerships focused on digital entrepreneurship. Leading the Institute for Entrepreneurship and Business Development, Kolberg oversees initiatives connecting academic research with business development in digital manufacturing. Previously at DFKI's SmartFactory KL, he directed research on changeable cyber-physical production systems, establishing methodologies now applied in his current industry collaborations.

• Learning Analytics
• Educational Technology
• Open Source Educational Tools
• +3 more

Dr. Arham Muslim serves as a Professor in the Department of Computer Science at the School of Electrical Engineering and Computer Science (SEECs), National University of Sciences and Technology (NUST), Pakistan. He leads the Learning Technologies research group (Informatik 9), directing development of open-source learning analytics infrastructure with emphasis on user-centered design and academic ecosystem integration. His research program focuses on Learning Analytics and Educational Technology , specializing in open learning analytics platforms like OpenLAP. Key contributions include modular framework architectures, rule-based indicator systems, and data modeling standards that enable personalized learning experiences through academic network visualization and adaptive feedback mechanisms. His work bridges software engineering principles with pedagogical requirements in higher education contexts. Publications from 2013-2018 reveal consistent advancement in learning analytics ecosystems, with increasing emphasis on interoperability standards, open-source sustainability, and ethical implementation frameworks. The research trajectory demonstrates progression from foundational data modeling to sophisticated user-centered platform development, addressing critical gaps in educational data utilization. As head of the Learning Technologies research group at SEECs, he drives innovation in educational data systems through collaborative development of OpenLAP and related tools, positioning NUST as a significant contributor to global learning analytics research infrastructure.

Valerie San JuanView profile

Assistant Professor

• Developmental Psychology
• Child Language Development
• Social Cognition
• +4 more

Valerie San Juan is an Assistant Professor in the Psychology Department at Bradley University's College of Liberal Arts & Sciences. With a Ph.D. in Developmental Psychology and Education from the University of Toronto, she completed postdoctoral research at both the University of Toronto (under Dr. Patricia Ganea) and the University of Calgary (with Drs. Susan Graham and Suzanne Curtin), supported by the Eyes High Fellowship and SSHRC grants. Education: Ph.D. in Developmental Psychology and Education, University of Toronto Her research focuses on children's social cognitive development and language acquisition, particularly how children understand others' mental states and integrate this knowledge into social interactions. Using innovative methods like computer-based games and eye-tracking technology, she investigates perspective taking, desire reasoning, and false-belief understanding in children aged 2-6 years. Recent publications demonstrate her expertise in referential communication, epistemic verb development, and social category inference. Her work appears in top journals including Journal of Experimental Child Psychology , Cognitive Development , and Journal of Child Language . These studies consistently examine how children's cognitive control, language development, and social understanding interact. Scientific Awards: Eyes High Fellowship program (University of Calgary) Social Sciences and Humanities Research Council of Canada (SSHRC) grant As director of the Social Minds and Language Lab (S.M.A.L.L.), she mentors undergraduate researchers and collaborates with local families to conduct community-based developmental studies. Her teaching portfolio includes Principles of Psychology, Experimental Psychology, and Developmental Psychology courses.

• Computational Intelligence
• Agent-Based Simulation Systems
• Neuroscience
• +4 more

Darius Plikynas is a Senior Researcher at the Smart Technologies Research Group within the Institute of Data Science and Digital Technologies at Vilnius University . His research integrates computational intelligence methods with agent-based simulation to model cognitive and social processes. Position: Senior Researcher, Chief Researcher in the Project Address: Akademijos St. 4, room 224, Vilnius Contact: +370 5 210 9333, +370 620 95101 Email: darius.plikynas@mif.vu.lt Personal page: http://www.dariusplikynas.eu Dr. Plikynas' research spans interdisciplinary domains including neuroscience, physics methods, complexity theory, and distributed cognitive systems. He led the 2017–2019 project "Development of a metric, conceptual and simulation model of the social impact of cultural processes" under the LMT Research Group Funding Program. His recent publications (2016–2025) reflect trends in combining machine learning with social science questions (fake news analysis, propaganda detection) and agent-based modeling of cultural/social capital dynamics. Key collaborations include Leonidas Sakalauskas, Rimvydas Laužikas, and Arunas Miliauskas. Scientific supervision includes doctoral students: Andrius Budrionis (University of Tromsø, Norway) Ieva Rizgelienė (PhD topic: "Propaganda detection and classification in social media using hybrid deep learning") He also serves as an expert at Vilnius University and has contributed to projects involving: 2D financial market visualization Neural oscillation-based cognitive modeling Indoor navigation for blind individuals Cultural participation impact on social capital

Robert Y. LewisView profile

Lecturer

• Formal Methods
• Logic
• Theoretical Computer Science
• +3 more

Robert Y. Lewis is a Lecturer in the Department of Computer Science at Brown University, specializing in formal methods, logic, and interactive theorem proving. His work bridges computer science and mathematics, focusing on the verification of mathematical proofs and program correctness. Education: PhD in Pure and Applied Logic (2018), Carnegie Mellon University MS in Pure and Applied Logic (2015), Carnegie Mellon University BA in Mathematics (2010), Rice University Research Interests: Lewis’s research spans formal verification, logic, type theory, and automated reasoning. He explores the application of logical tools like the Lean proof assistant in mathematics education and software verification. Teaching: At Brown, he teaches courses such as Introduction to Discrete Structures and Probability and Formal Proof and Verification . Prior to Brown, he taught Logic and Modeling at Vrije Universiteit Amsterdam and served as a teaching assistant at Carnegie Mellon University. Publications: His recent work includes advancements in formalizing mathematical structures (e.g., Witt vectors, Cap Set Problem), integrating proof assistants with computational tools (Lean-Mathematica interface), and developing educational resources for logic and formal methods. Contact: Email: robert_lewis@brown.edu Office: Center for Information Technology 203, Brown University

• Mathematical Logic
• Computer Science
• Proof Theory
• +5 more

Kazushige Terui is an Associate Professor at the Research Institute for Mathematical Sciences (RIMS), Kyoto University. His research focuses on mathematical logic and its applications to computer science, particularly proof theory, computational complexity, and nonclassical logics. He investigates proof normalization complexity, algebraic reformulations of proof-theoretic techniques, and logical foundations of computation. Terui maintains an active research group at RIMS and teaches courses including Mathematical Logic and Computer Science Fundamentals. Research Interests: Terui's work spans: Proof-theoretic aspects of nonclassical logics (linear logic, substructural logics) Computational complexity of proof normalization in lambda calculus Algebraic reformulation of logical techniques (cut-elimination, interpolation) Denotational semantics approaches to complexity characterization Effective proof discovery methods based on programming language theory Publications: His recent articles primarily explore proof theory, computational complexity, and logical foundations, with frequent focus on lambda calculus, linear logic, and type systems. Works frequently bridge theoretical computer science and mathematical logic. Education & Outreach: Authored the book Can Computers Become Mathematicians? (2015) for general audiences and maintains extensive lecture materials on mathematical logic and computer science foundations.

Violetta LonatiView profile

Assistant Professor

• Formal Languages and Automata
• Computer Science Education
• Theoretical Computer Science
• +2 more

Violetta Lonati is an Assistant Professor at the University of Milan 's Department of Computer Science since 2005. Her research spans Formal Languages and Automata (operator precedence languages, Wang automata, tiling systems) and Computer Science Education . She co-authored over 15 publications in theoretical computer science and education, focusing on 2D language recognition, logic characterization of automata, and pattern statistics in stochastic models. Education : PhD in Computer Science (2005) and Laurea in Mathematics (2001) from University of Milan Research Groups : ALaDDIn Lab for Didactics and Dissemination of Informatics, Bebras International Initiative Her work on Wang automata established their equivalence to tiling systems while introducing deterministic variants. In education, she designed workshops for schools and contributed to Italy's national computing curriculum proposal (2019). She held leadership roles at ACM ITiCSE (WG5 leader 2022), served as Associate Program Chair (2019-2022), and reviewed for top venues like ICER and SIGCSE TS. She received Google CS[4]HS and Informatics Europe awards for her educational contributions. Key Publications (2017-2001): Input-driven locally parsable languages (TCS 2017) Operator precedence logic characterization (SICOMP 2015) Snake-deterministic tiling systems (MFCS 2009) Graph fibrations and PageRank (RAIRO 2006) Pattern statistics in rational models (STACS 2005) Scientific awards include Google CS[4]HS (2011, 2017, 2019) and the Informatics Europe Best Practices in Education (2016). As part of ALaDDIn, she developed teacher training programs and graduate courses on computing education. Her teaching experience covers Algorithms & Data Structures (2013-2023), Computer Science Teaching (2014-2023), and courses for Biotechnology and Geological Sciences programs (2005-2007).

Elena AnagnostopoulouView profile

Professor

• Theoretical syntax
• Comparative syntax
• Formal linguistic typology
• +7 more

Elena Anagnostopoulou is a Professor of Theoretical Linguistics at the Department of Philology, University of Crete, where she has been a faculty member since 1998. Her academic career spans theoretical linguistics with a focus on syntax, morphology, and historical linguistics, particularly in the context of Greek language. Dr. Anagnostopoulou earned her PhD from the University of Salzburg in 1994, followed by postdoctoral research at the MIT Institute of Linguistics (1997-1998). She served as Assistant Professor (1998-2005), Associate Professor (2005-2009), and has been Professor of Linguistics at the University of Crete since 2009. She was a Visiting Professor at MIT in 2007 and received the prestigious Friedrich Wilhelm Bessel Research Award from the Alexander von Humboldt Foundation in 2013. Her research focuses on theoretical and comparative syntax, formal linguistic typology, morphology and historical morphosyntax, with particular emphasis on the interface of syntax, morphology and lexicon. She has made significant contributions to understanding argument alternation, declension, agreement, person, gender, inflections, control and autopathic structures. Her work often centers on Greek language but extends to cross-linguistic comparisons. Anagnostopoulou's recent publications demonstrate her ongoing research in gender features, case theory, argument structure, and the historical development of Greek syntax. Her work bridges theoretical linguistics with historical and comparative approaches, examining how linguistic features evolve across time and space. She has increasingly incorporated evolutionary biology methods into linguistic research. Friedrich Wilhelm Bessel Research Award (2013) Elected member of Academia Europaea (since 2019) As scientific director of multiple research projects funded by the Hellenic Research Foundation, including 'Using tools from Evolutionary Biology to reveal relationships among languages' (2019-2023) and 'Modeling language genesis,' she has secured significant research funding. She co-directs the 'Open Generative Syntax' series and serves on the editorial boards of the Journal of Greek Linguistics, Linguistic Inquiry and Syntax. Her work extends to educational applications, with research on learning disabilities, remedial intervention programs, and language acquisition in socioeconomically diverse populations in Greece.

Gérard BerryView profile

Professor

• Computer Science
• Lambda Calculus
• Functional Programming
• +5 more

Gérard Berry (born December 25, 1948) is a distinguished French computer scientist currently serving as Professor at the Collège de France, holding the permanent chair Algorithmes, machines et langages (Algorithms, Machines, and Languages) since 2012. He previously held the Informatique et sciences numériques chair (2009-2010) and the Technological Innovation Liliane Bettencourt chair (2007-2008) at the same institution. Before joining Collège de France full-time, he served as Director of Research at INRIA Sophia Antipolis (2009-2012) and at École des Mines de Paris (1977-2001). His research spans over 30 years in three main fields: lambda calculus and functional programming, parallel and real-time programming languages, and design automation for synchronous digital circuits. He is particularly renowned for developing the Esterel programming language. His work bridges theoretical computer science with practical industrial applications. Berry's research has evolved to include current work in Hop and HipHop for Web programming, formal verification of compilers, and languages for computer music. His publications demonstrate consistent contributions to programming language theory, formal methods, and their applications in hardware and software systems. Gold Medal of CNRS (2014) Chevalier de l'Ordre de la Légion d'Honneur (2012) Member of French Academy of Sciences (2002) Member of Academia Europaea (1993) Monpetit Prize of Académie des sciences (1990) Berry has advised 17 PhD students and reviewed numerous theses. His industrial experience includes serving as Chief Scientist Officer of Esterel Technologies (2000-2009), where he directed the implementation of the Esterel v7 compiler. He has also held significant leadership roles including President of the Scientific Council of IRCAM and membership on the Scientific Council of the National Education. His teaching at Collège de France has covered topics ranging from the foundations of computation to the societal impact of digital technology, with courses including The Informatics of Time and Events and Proving Programs: Why? When? How? His laboratory work has focused on developing practical applications of theoretical computer science concepts.