Find Academic Supervisors

• Quantitative Linguistics
• Computational Linguistics
• Psycholinguistics
• +4 more

Dr. Annett Jorschick is a Lecturer and Researcher in the Department of Linguistics at the Faculty of Linguistics and Literary Studies, Bielefeld University. She is actively involved in teaching, research, and academic service, with a focus on quantitative and computational approaches to language. Her institutional roles include leadership in research infrastructure development and service on key academic committees. Her research interests center on quantitative methods in linguistics, including statistical modeling of language data, psycholinguistics, and the development of user-oriented research infrastructure for collecting and reusing language data. She contributes significantly to methodological training within the linguistics programs. Dr. Jorschick serves as the project leader for the INF (User-Oriented Research Infrastructure to Support the Collection and (Re-)Use of Language Data) within the Collaborative Research Center SFB 1646: Linguistic Creativity in Communication. This role underscores her expertise in data management and methodological support for linguistic research. She is an ordinary member of the Examination Committee and a deputy member of the Ethics Commission at Bielefeld University, reflecting her active participation in academic governance. Dr. Jorschick is responsible for several key modules in the linguistics curriculum, including Quantitative Methods (23-LIN-BaLin4.3), Quantitative Methods of Linguistics (23-LIN-Ma2.1), Applied Statistics (23-LIN-Ma2.3), Linguistic Dynamics, Interaction and Cognition (23-LIN-MaDYK), Models of Language Processing (23-LIN-MaPL), and the Project Profile Psycholinguistics (23-LIN-MaPL-Proj). She also offers statistics consultation hours, bookable via the eKVV system. Affiliations: Faculty of Linguistics and Literary Studies, Bielefeld University Department of Linguistics, Bielefeld University Central Laboratory, Faculty of Linguistics and Literary Studies SFB 1646: Linguistic Creativity in Communication Commissions / Ethics Commission of Bielefeld University Examination Committee, Faculty of Linguistics and Literary Studies Contact: Office: UHG D6-120 Phone: +49 521 106-5321 Telephone Secretariat: +49 521 106-6928

Jan KretinskyView profile

Professor

• Verification
• Synthesis
• Probabilistic Model Checking
• +7 more

Jan Kretinsky is a full professor at the Faculty of Informatics, Masaryk University, Brno, Czech Republic, and holds an affiliated professorship at the Chair for Foundations of Software Reliability and Theoretical Computer Science at Technical University of Munich (TUM), Germany. He specializes in formal methods, focusing on verification and synthesis of probabilistic systems, applications of machine learning in verification, and explainable AI. His research bridges theoretical foundations with practical tools, including the Automata Tutor teaching platform and the Rabinizer tool for LTL-to-automata translation. Education: PhD from TU Munich (advisor: Javier Esparza) and Masaryk University (advisor: Antonín Kučera), both with distinction. Previously an IST Fellow at IST Austria and a tenure-track assistant professor at TUM. Research interests span verification of neural networks, probabilistic model checking, temporal logics, and automata theory. He leads the LiVe Lab and collaborates on EU projects like the ERC grant InOVationCS. Active in organizing workshops (LiVe series, Dagstuhl seminars) and serves on program committees for conferences like CONCUR, LICS, and TACAS. Teaching includes courses on complexity, automata theory, and quantitative verification at both institutions. Supervised numerous PhD and master's students, with notable projects in decision tree controllers, runtime monitoring, and attack-defense analysis. Key grants include DFG projects (e.g., GOPro, ConVeY) and EU initiatives. Tools developed: Automata Tutor, Rabinizer series, dtControl, SeQuaiA, and QUADTool. Research highlights include PAC guarantees for MDPs, semantic abstraction for motion planning, and formal methods for cybersecurity.

Don Edward WalicekView profile

Professor

• Historical Sociolinguistics
• Language Contact
• Creolization
• +7 more

Dr. Don Edward Walicek is a Professor of English and Linguistics at the University of Puerto Rico’s Río Piedras Campus. He holds a BA in Cultural Anthropology and MA in Latin American Studies from the University of Texas at Austin, and a PhD in English from the University of Puerto Rico. His research focuses on historical sociolinguistics, language contact, and creolization in Caribbean contexts such as Anguilla, Cuba, Haiti, and the Dominican Republic. He currently explores language ideologies and social cognition in multilingual contact scenarios, particularly regarding West Africans and the English on the Gold Coast during the Atlantic Slave Trade. Walicek serves as editor of the Sargasso journal and has directed the Graduate Program in Linguistics. He is a 2019 Fulbright Scholar and American Council of Learned Societies fellow, and delivered the 2023 Annual Emancipation Lecture at the University of the West Indies in Anguilla. His work bridges linguistics, cultural studies, and decolonial theory, with recent projects analyzing Royal African Company archives to understand linguistic dynamics in colonial trade networks. He also contributes as a poet and translator, enriching Caribbean literary discourse.

Ramón García AlarciaView profile

Researcher

• Space Mission Design
• Systems Engineering
• Generative AI Applications
• +3 more

Ramón García Alarcia is a Research Associate and Doctoral Candidate at the Chair of Spacecraft Systems, Technical University of Munich (TUM), under Prof. Alessandro Golkar. He holds dual Bachelor's degrees in Aerospace and Telecommunication Systems Engineering from the Polytechnic University of Catalonia (UPC), and a Master's in Aerospace Engineering (Space Systems specialization) from ISAE-SUPAERO. His research focuses on applying Large Language Models (LLMs) to streamline space mission design, particularly in requirements generation and high-level documentation. This work aims to reduce costs and democratize access to space. Key areas include generative AI for complex systems, autonomous space systems, and federated satellite networks. Ramón teaches courses on spacecraft systems, including 'Design and Simulation of Microsatellites' and 'Systems Engineering – Advanced.' He has authored/co-authored over a dozen peer-reviewed publications, covering topics like AI-driven mission design tools, event-based cameras for situational awareness, and telecommunication network analysis. His doctoral project involves developing a prototype AI-assisted mission design tool, leveraging generative models to enhance efficiency in early-stage spacecraft planning. Collaborations span institutions like ISAE-SUPAERO and UPC, with a focus on interdisciplinary aerospace challenges.

Miriam ObleitnerView profile

Lecturer

• Waldorf Pedagogy
• English Language Education
• Educational Didactics
• +3 more

Miriam Obleitner is a Lecturer in English and subject didactics at the Institute for Waldorf Education, Inclusion and Interculturality at Alanus University of Arts and Social Sciences (Mannheim campus). She holds multiple advanced degrees, including an MA in Waldorf Education (Free University of Stuttgart) and dual MFA and MA degrees in Creative Writing and English from Northern Michigan University, USA. Her academic career spans over two decades, combining teaching roles in Waldorf schools, university-level instruction, and international educational leadership. Key professional milestones include: Class Teacher (since 2025) at Freie Waldorfschule Chiemgau International Programs Specialist at Northern Michigan University (2012–2013) Journalism roles in Michigan focusing on environmental and social issues Research interests center on Waldorf pedagogy , creative writing in education , and intercultural didactics . Her work bridges artistic methodologies with practical classroom applications, particularly in English language teaching and inclusive education frameworks. She has authored/co-authored over 20 publications, including award-winning short stories and pedagogical essays. Award highlights include: 2015: Shortlisted for Fish Publishing Short Memoir Prize 2009: Multiple Michigan journalism awards for environmental reporting 2010: NAFSA Education Abroad Advising Certification She actively participates in Waldorf teacher trainings and international educational conferences, focusing on renewal through art and intercultural dialogue.

Sophie PannitschkaView profile

Lecturer

• Adult Education
• Waldorf Education
• Educational Science
• +3 more

Sophie Pannitschka is a Lecturer for special tasks at Alanus University's Institute for Waldorf Education, Inclusion and Interculturality, Department of Educational Science. She holds dual Master's degrees (MA) in German Studies/Educational Science and Waldorf Pedagogy. Currently based at the Mannheim Study Center, she serves as library officer and representative for university entrance qualification examinations. Education Background: 2003–2008: German Studies (Modern German Literature) & Educational Science (Adult Education) at Eberhard Karls University of Tübingen (MA) 2008–2011: Part-time MA in Education at Alanus University Trained as adult education trainer (2001) and biographical worker (1994–1997) Research focuses on biographical learning, adult education methodologies, and Waldorf pedagogy applications. Key areas include: Interplay between life experience and formal education Innovative teaching strategies for adult learners Integration of literary studies in educational practice Her edited volumes and monographs explore educational theory through literary analysis and biographical narratives. Recent work emphasizes pedagogical frameworks for lifelong learning in Waldorf contexts. She also leads the continuing education program for classroom teachers, integrating practical training with theoretical insights.

• Digital Piracy
• Information Security
• Computer Security
• +6 more

Rahul Telang is a Professor of Information Systems and Management at the H. John Heinz III School of Public Policy and Management at Carnegie Mellon University. His work spans digital piracy , computer security , and the economics of information systems , with a focus on policy implications of technology. His research examines the interplay between online piracy and cybersecurity , including how malware propagates through infringing sites. He also investigates privacy regulation (e.g., app privacy labels ), search engine advertising , and the economics of software vulnerabilities . Recent papers analyze artificial intelligence in copyright policy and workforce analytics using occupational skill embeddings . While Telang’s articles frequently use empirical methods and natural experiments , no formal scientific awards are listed in the available data. His collaboration network includes scholars from Carnegie Mellon, Emory, Chapman University, and Indian School of Business, covering topics like ride-hailing congestion and data breach impacts . No student advising or lab affiliation details are explicitly mentioned.

• Computer Science
• Pattern Recognition
• Machine Learning
• +3 more

N. Samsudin is a researcher with significant contributions to Computer Science and interdisciplinary applications in Medicine, Environmental Science, and Education. Active in publication from 2011 to 2021, their work spans pattern recognition, machine learning, medical diagnostics, and social behavior analysis. Key Research Areas: Pattern recognition, machine learning algorithms, medical image analysis, and data classification. Collaborations: Frequently collaborates with A. Mustapha, Riswan Efendi, M. M. Deris, and others across diverse fields. Notable Applications: Developed innovative systems for Arabic handwriting recognition, flu diagnosis, flood risk prediction, and restaurant technology. While no specific awards or formal academic rank are explicitly stated in the provided texts, their extensive publication record indicates active engagement in research and interdisciplinary innovation.

Dimitrios VytiniotisView profile

Researcher

• Machine Learning
• Functional Programming
• Array Programming
• +3 more

Dimitrios Vytiniotis is a researcher at Google DeepMind , with a strong focus on programming languages and machine learning. His work bridges the gap between functional programming and practical applications in differentiable programming and memory management. Active PC member in OOPSLA (SPLASH 2023), POPL (2025), and ICFP tracks Contributed to compiler optimization and type system design Research spans: Machine learning infrastructure with programming language integration Safer manual memory management in .NET environments Impredicative polymorphism and type inference techniques His recent publications reveal expertise in combining array programming with differentiable computation, while actively shaping academic discourse through committee participation.

Mahdi GhorbaniView profile

Researcher

• Compilers
• Programming Languages
• Database Systems
• +2 more

Mahdi Ghorbani is affiliated with the University of Edinburgh as a researcher. His work spans Compilers , Programming Languages , and Data Systems , with a focus on optimizing computational frameworks for data science and domain-specific languages. Recent contributions include advancements in tensor algebra compilation and functional data structure efficiency. His research aligns with the design and optimization of systems for complex data processing tasks.

Federico OlmedoView profile

Assistant Professor

• Program Verification
• Probabilistic Programming
• Language-Based Security
• +5 more

Federico Olmedo is an Assistant Professor at the Computer Science Department of the University of Chile, where he teaches courses like Program Analysis and Verification ( CC4101 ) and Discrete Mathematics for Computer Science ( CC3101 ). His research focuses on the semantics and verification of probabilistic programs , with applications in language-based security , differential privacy , and formal verification of cryptographic systems . Previously, he was a postdoctoral researcher at RWTH Aachen University and earned his PhD from the Technical University of Madrid in 2014. Research Interests : Program Verification Probabilistic Programming Language-Based Security Theorem Provers Quantum Computing Cryptographic Proofs Publications span formal methods for probabilistic programs, including weakest precondition calculi , runtime analysis of quantum programs , and machine-checked proofs for cryptographic protocols . Notable works include the Best Theory Paper Award at ECOOP 2016 and foundational research on conditioning in probabilistic programming . He co-developed the CertiCrypt and CertiPriv frameworks for verifying cryptographic proofs and differential privacy in Coq. Scientific Awards : ECOOP 2016 Best Theory Paper Award

• Computational Complexity
• Cryptography
• Zero-Knowledge Proofs
• +5 more

Boaz Barak is a Professor at the Weizmann Institute of Science in the Department of Computer Science, Faculty of Mathematics and Computer Science. With an h-index of 64 and over 17,301 citations, he is a leading researcher in theoretical computer science with significant contributions spanning computational complexity, cryptography, and machine learning theory. His research interests include: Computational Complexity Cryptography Zero-Knowledge Proofs Program Obfuscation Interactive Proofs Privacy-Preserving Computation Machine Learning Theory Barak's publication record reveals a trajectory from foundational work in theoretical computer science to contemporary research at the intersection of theory and practice. His early work established impossibility results for program obfuscation and advanced techniques for zero-knowledge proofs beyond black-box simulation. His influential textbook "Computational Complexity: A Modern Approach" has become a standard reference in the field. More recently, his research has expanded into machine learning phenomena like double descent and scaling laws for language models, demonstrating the evolving nature of his theoretical contributions. His work consistently bridges deep theoretical insights with practical implications for computing. His notable collaborations include extensive work with Sanjeev Arora (77 publications, 6,879 citations), David Steurer (95 publications, 4,945 citations), and Oded Goldreich, among others. Professor Barak leads a research group at the Weizmann Institute focused on theoretical aspects of computer security and complexity theory. His work has been consistently supported by major research funding, enabling significant contributions to the theoretical foundations of computer science. He maintains an active research program with publications spanning over two decades, demonstrating sustained impact in multiple subfields of theoretical computer science.

Jonas WiednerView profile

Research Fellow

• Migration Studies
• Social Stratification
• Labor Market Research
• +5 more

Dr. Jonas Wiedner is a Research Fellow at the WZB Berlin Social Science Center, working within the Research Department Migration, Integration, Transnationalization (Migration and Diversity Department). Based in Berlin at Reichpietschufer 50, room B 415, he leads the "Unequal Trajectories" project, a collaborative research initiative with LifBi Bamberg and IAB Nürnberg funded by the Leibnizgesellschaft under the SAW competition program. His work focuses on the intersection of spatial processes and social integration, particularly examining how residential mobility and neighborhood contexts shape immigrant integration trajectories. Wiedner's research interests span migration studies, social stratification, labor market dynamics, and spatial sociology. His work particularly investigates qualification mismatch in labor markets, the role of ethno-religious neighborhood infrastructures in immigrant well-being, and the economic adaptation of immigrant groups in changing labor markets. He employs mixed-method approaches combining quantitative analysis of large-scale datasets with spatial analysis techniques, often using innovative methodologies to address self-selection issues in neighborhood effects research. His comparative work between Germany and the United Kingdom provides important insights into how different institutional contexts shape educational and labor market outcomes. His publication record demonstrates consistent scholarly output in top-tier journals including Social Forces, Urban Studies, International Migration Review, and Social Science Research. Wiedner's research reveals important patterns about how refugees navigate residential choices with trade-offs between immediate needs and long-term integration prospects, how educational expansion affects qualification mismatch differently across national contexts, and how neighborhood characteristics differentially impact immigrants versus their descendants. His work on Turkish immigrants in Germany shows how structural economic changes have exacerbated labor market inequalities rather than facilitating economic assimilation. As principal investigator of the "Unequal Trajectories" project, Wiedner directs research examining how residential mobility and spatial context shape multidimensional integration trajectories of refugees, particularly comparing those who arrived around 2015 with Ukrainians arriving after February 2022. The project combines longitudinal and geocoded data from multiple sources to analyze integration across language acquisition, inter-ethnic contacts, sense of belonging, children's learning, labor market outcomes, health, and subjective well-being. This research provides evidence necessary for designing effective refugee accommodation policies that balance immediate humanitarian needs with long-term integration outcomes.

• Formal Methods
• Graph Databases
• Property Graph Schema
• +5 more

Ştefania-Gabriela Dumbravă is an Associate Professor at Institut Polytechnique de Paris (ENSIIE/Samovar Laboratory). Her research focuses on formal methods for graph database algorithms , including schema design, query processing, and verification. She contributes to international standards through co-chairing VLDB 2026 Demonstration Track and organizing workshops like VLDB Summer School 2025 . Dumbravă serves on editorial boards (e.g., ACM Transactions on Database Systems ) and program committees for top-tier conferences ( SIGMOD , ICDE ). Research Interests include formal verification of graph databases , property graph schema constraints , certified inference engines , and distributed graph systems . She integrates proof assistants (Coq, Isabelle) with practical database development, emphasizing reliability and mechanical correctness . Her work spans theoretical foundations (e.g., category theory , type theory ) and real-world applications (e.g., transit accessibility analysis , SDN controllers ). Selected Scientific Awards : EASST Best Software Science Paper Award (ICGT 2025) SIGMOD Best Paper Award (2023) VLDB Best Regular Paper Runner-Up (2022) D4Gen Hackathon 3rd Prize Teaching includes Graph Databases , Functional Programming , and Formal Languages at ENSIIE, with additional roles at Université Paris-Saclay, ENS Lyon, and Université Rennes 1. She supervises research internships and participates in gender parity initiatives (e.g., Paris-Saclay Women & Science Mentorship Program).

Hassan HusseinView profile

Researcher

• Semantic and Web Technologies
• Human-Computer Interaction
• Web Accessibility
• +5 more

Hassan Hussein is a PhD student at Leibniz University Hannover and a Researcher in the Data Science & Digital Libraries group at TIB (Leibniz Information Centre for Science and Technology). His academic journey includes a Master's in Human-Computer Interaction from Siegen University, a Fulbright Scholarship for computer science studies in the U.S., and specialized training in web development from an IBM-managed program funded by the Egyptian government. His research integrates Semantic Web Technologies, Human-Computer Interaction, and Augmented Reality , with emphasis on accessibility and user-centered design. Key domains include natural user interfaces, UX engineering, and the application of knowledge graphs in scholarly communication. Recent publications focus on advancing the Open Research Knowledge Graph (ORKG) , addressing reproducibility, FAIR data principles, and AI-augmented research workflows. Earlier work explores augmented reality for civic engagement in urban planning. Awards: Fulbright Scholarship Egyptian Ministry of Communications Scholarship He contributes to TIB's research infrastructure and collaborates on projects involving semantic technologies, though no specific labs, teams, or grants are detailed in the source.