Programming Languages and Semantics Professors and Supervisors | ApplySharif

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

استاد راهنما، استاد دانشگاه یا پژوهشگر مناسب برای مسیر پژوهشی‌تان را پیدا کنید و با او ارتباط بگیرید.

نمایش ۷۳۶-۷۵۰ از ۵٬۰۷۵ استاد راهنما

اطلاعات این پروفایل‌ها از صفحات عمومی دانشگاه‌ها جمع‌آوری شده و ممکن است به‌روز نباشد.

Zhi Jinمشاهده پروفایل

استاد

Max Planck Institute for Security and PrivacyGermany

Zhi Jin is a Professor in the Department of Computer Science and Technology at Peking University, where he has been employed since 2009. Previously, he served as a professor at the Academy of Mathematics and System Sciences, Chinese Academy of Sciences from 1994-2009. He received his BS from Zhejiang University in 1984 and MS/PhD from National University of Defense Technology in 1984 and 1992 respectively. He progressed from assistant professor (1992) to associate professor (1995) to full professor (2001). His research focuses on knowledge engineering and software engineering, with special interests in knowledge graphs, self-adaptive systems, and deep learning applications. Current research directions include Self-Adaptive Software in Human-Cyber-Physical Systems, Crowd-based Requirements Engineering, and Learning from both Natural Language and Programming Language. His work bridges theoretical knowledge engineering with practical software development challenges. His recent publications demonstrate a strong trend toward applying large language models and AI techniques to traditional software engineering problems, particularly in requirements engineering, code generation, and vulnerability detection. The articles span multiple high-impact venues including ASE, ICSE, and RE, with significant focus on aerospace applications and multi-agent collaboration approaches. Scientific honors include: Winner of National Science Fund for Distinguished Young Scholars (2006) Project 973 project lead scientist (2014) Member of Discipline Appraisal Group of the Academic Degree Commission (2015) Multiple ACM Distinguished Paper Awards He serves in numerous editorial roles including Associate Editor for IEEE Transactions on Software Engineering (2018-present) and IEEE Transactions on Reliability (2019-present). He is also an Editorial Board Member for Empirical Software Engineering and Requirements Engineering Journal, and holds leadership positions in the China Computer Federation. His extensive conference service includes PC membership for ICSE, FSE, RE, and other major software engineering venues.

پروفایل رسمی دانشگاه

Reyhaneh Jabbarvandمشاهده پروفایل

استادیار

Max Planck Institute for Security and PrivacyGermany

Reyhaneh Jabbarvand is an Assistant Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign, where she leads the Intelligent CAT Lab. Her research focuses on improving software quality, reliability, and maintenance through neuro-symbolic approaches that combine AI techniques with formal methods. Her research interests span Neural Program Analysis, Software Testing (with emphasis on mobile apps and autonomous software), Bug Localization, and Applied Optimization for Software Analysis. She has made significant contributions to the fields of energy testing for Android applications, neuro-symbolic approaches for code analysis, and large language models for software engineering tasks. Dr. Jabbarvand's recent publications reveal strong trends in applying machine learning to software engineering problems, particularly using neuro-symbolic methods to bridge the gap between deep learning and formal program analysis. Her work on code translation, test flakiness, and test oracle generation demonstrates her focus on practical applications of AI in software development workflows. Google PhD Fellowship in Programming Technology and Software Engineering Rising Star in EECS NSF CAREER Award Dr. Jabbarvand has received research funding from multiple sources including NSF, IBM Research, and C3.ai. She actively mentors students through her Intelligent CAT Lab and has served on numerous program committees for major software engineering conferences including ICSE, FSE, and ISSTA. She teaches courses on Advanced Topics in Software Engineering, ML for Code, and Software Engineering I. Her lab focuses on neuro-symbolic approaches to software engineering problems, bringing together PhD, undergraduate, and high school students to tackle challenges in AI-assisted software development and testing.

پروفایل رسمی دانشگاه

Selcen Erten Johanssonمشاهده پروفایل

پژوهشگر

University of TurkuFinland

Selcen Erten Johansson is a Doctoral Researcher in Digital Language Studies at the University of Turku, focusing on corpus linguistics and media discourse analysis. Her research examines Turkish web registers in the context of political events, such as Finland's NATO membership process in Turkish media. Supported by the Eino Jutikkala Fund (2024–2026), her work bridges computational methods with sociolinguistic inquiry. She holds a Master's in Linguistics from Mersin University (2019) and has been a Fulbright scholar in the U.S. Her teaching spans corpus linguistics, language technology, and Turkish as a foreign language at institutions including Turun Suomenkielinen Työväenopisto and Toros University. Education: PhD Candidate in Digital Linguistics, University of Turku (2021–present) Master's in Linguistics, Mersin University, Türkiye (2019) Fulbright Scholarship, Michigan State University (2015–2016) Research Interests: Selcen explores language variation in digital contexts, particularly Turkish web-based discourse. She combines corpus linguistics with computational tools to analyze political media narratives and multilingual web registers. Her work emphasizes the intersection of technology and sociolinguistics, including projects like TurCORE and collaborations with the TurkuNLP research team. She also investigates pedagogical approaches for teaching Turkish and Finnish as foreign languages. Grants & Support: Eino Jutikkala Fund Grant (2024–2026), Finnish Academy of Science and Letters Teaching & Outreach: She has taught courses on corpus linguistics, automatic text processing, and Turkish language instruction across multiple institutions. Her teaching philosophy integrates digital tools with traditional language pedagogy. Labs & Teams: Active member of the TurkuNLP research team, focusing on NLP applications in digital humanities and multilingual corpora analysis.

پروفایل رسمی دانشگاه

Shaked Flurمشاهده پروفایل

پژوهشگر

University of CambridgeUnited Kingdom

Shaked Flur is a Researcher at the Department of Computer Science and Technology, University of Cambridge. His work focuses on formal methods, instruction-set semantics, and concurrency models in computer architectures. He contributes to the development of formal verification tools and specifications for ISA standards like ARMv8-A, RISC-V, and CHERI-MIPS. His research bridges academic formal models with practical software and hardware design, emphasizing the adoption of rigorous methods in real-world systems. Flur collaborates on projects such as the Sail specification language, enhancing clarity and precision in ISA documentation. His publications address challenges in memory models, concurrency semantics, and automated verification techniques.

پروفایل رسمی دانشگاه

Mariano Ricoمشاهده پروفایل

دانشیار

Polytechnic University of Madrid (UPM)Spain

Mariano Rico is an Associate Professor at the Polytechnic University of Madrid (UPM), affiliated with the OEG research group in the Artificial Intelligence Department. Previously, he served as a Senior Researcher at OEG (2016-2020) and held teaching roles at the Autonomous University of Madrid (UAM). His primary affiliations include the UPM's Faculty of Computer Science and the UAM's Computer Engineering Department. Education: PhD in Computer Science (UAM, 2009), MSc in Physics (UAM, 1992), and postgraduate studies in Telecommunications Engineering. He conducted research stays at DERI (Ireland) and Freie Universität Berlin, focusing on Semantic Web and Linked Data. Research interests center on Linked Open Data, Natural Language Processing (NLP), and Semantic Web technologies, with contributions to DBpedia's Spanish branch and projects like Wf4Ever and LIDER. He actively collaborates with institutions in Leipzig, Bielefeld, and Berlin on Linked Data and linguistic applications. Teaching: Coordinates courses in NLP, Linguistic Engineering, and Big Data Visualization at UPM and online programs. Has instructed over 300 UAM faculty through teacher training programs on LaTeX, bibliographic management, and digital scholarly practices. Projects: Lead roles in European and national initiatives including SlideWiki, UpGrid, and Neptune. Current work focuses on NLP applications like text summarization (esT5s) and terminology tools (TermInteract). Labs/Teams: Core member of the OEG group, contributing to semantic web infrastructure and NLP tool development. Maintains international collaborations through AKSW and CITEC groups.

پروفایل رسمی دانشگاه

Brae Webbمشاهده پروفایل

مدرس

University of QueenslandAustralia

Brae Webb is an Associate Lecturer in the Faculty of Engineering, Architecture and Information Technology at The University of Queensland. His email is b.webb@uq.edu.au . His research focuses on formal methods, compiler optimizations, and software verification, with contributions to verification frameworks for compiler optimizations and formal semantics of programming language implementations. He has co-authored multiple publications at conferences such as FormaliSE, CPP, and ICFEM, and contributed to editions of the textbook Software Architecture . His work spans theoretical and applied aspects of software engineering, including the use of proof assistants like Isabelle/HOL for verifying term graph optimizations. Recent projects include analyzing GraalVM's intermediate representation and differential testing methodologies for compiler verification frameworks. Brae Webb's publications reflect a commitment to advancing formal verification techniques in compiler design and software systems. His textbook series on software architecture emphasizes practical design principles for scalable software systems.

پروفایل رسمی دانشگاه

Ezer Rasinمشاهده پروفایل

مدرس ارشد

Massachusetts Institute of TechnologyUnited States

Ezer Rasin is a Senior Lecturer in the Department of Linguistics at Tel Aviv University (TAU), where he also leads the TAU Phonological Computation Lab. He holds a PhD in Linguistics from MIT (2018), an MA and BSc in Linguistics and Mathematics from TAU (both prior to his PhD). Before joining TAU, he was a postdoctoral researcher in Leipzig University's IGRA program. His research focuses on theoretical and computational phonology, learnability, and formal linguistics. Key areas include phonological opacity, optimality theory, and the interaction between phonology and morphosyntax. His work bridges empirical phonology with computational modeling, addressing questions about language acquisition and formal grammatical architecture. Recent publications examine challenges to size-based parallel analyses in Hebrew vowel deletion, opacity phenomena in Gua and Akan, and computational approaches to phonological learning. He has contributed to journals like Linguistic Inquiry and Journal of Language Modelling , and co-edited proceedings for NELS and other conferences. Rasin teaches courses on phonological opacity, computational phonology, and the phonology-morphology interface at TAU. His research also involves developing audio databases for endangered languages like Judeo-Baghdadi Arabic, reflecting his commitment to computational methods in linguistic documentation.

پروفایل رسمی دانشگاه

David M. Bleiمشاهده پروفایل

استاد

Columbia UniversityUnited States

David M. Blei is the William B. Ransford Professor of Statistics and Computer Science at Columbia University. He is a leading researcher in machine learning, with a focus on probabilistic modeling and Bayesian statistics. His work bridges theoretical foundations with practical applications across various domains. Professor Blei's research spans several key areas in modern machine learning: Development and analysis of probabilistic models for complex data Bayesian inference methods, particularly variational inference Topic modeling and mixed-membership models Causal inference and model criticism Deep generative models and representation learning Applications in natural language processing and recommendation systems His recent publications demonstrate continued advancement in variational inference theory while exploring applications in deep learning and causality. Blei's work on posterior collapse in variational autoencoders, black box variational inference, and scalable recommendation systems has been particularly influential in the machine learning community. Professor Blei mentors PhD students and postdoctoral researchers, fostering the next generation of machine learning researchers. He actively teaches graduate courses on probabilistic models, machine learning, and causal inference at Columbia University, including STCS 6701: Probabilistic Models and Machine Learning (scheduled for Fall 2025). He leads a research group focused on probabilistic modeling, contributing significantly to both theoretical advancements and practical applications of statistical methods in artificial intelligence. The group is part of Columbia's thriving machine learning community, which spans multiple departments and research centers.

پروفایل رسمی دانشگاه

Kate Russellمشاهده پروفایل

دانشیار

University of East AngliaUnited Kingdom

Dr. Kate Russell is an Associate Professor in Physical Education at the University of East Anglia (UEA), based in the School of Education & Lifelong Learning. She holds dual roles as Chair of the University Research Ethics Committee and Chair of the Gender and Sexually Diverse Relationships Section at the British Psychological Society. Her expertise spans LGBTQIA+ inclusion, mental health, mindfulness, and gender/sexuality studies in educational and sport contexts. She earned an MA in Teaching Mindfulness from Bangor University and is a Chartered Sport and Exercise Psychologist. Her research explores intersections of gender, sexuality, and wellbeing in sport, education, and professional environments. Current projects include ESRC-funded work on mindfulness in schools and Joyce Morris Legacy-funded studies on early-years wellbeing programs. She leads the Mental Health Trainee Teacher Project examining wellbeing support for education trainees. Key research themes include LGBTQ+ identities in sport/exercise, mindfulness-based interventions, and qualitative research methodologies. She supervises PhD students focusing on gender/sexuality, mental health, and mindfulness applications in educational/sport settings. Her teaching includes modules on sport advocacy and mindfulness pedagogy, with upcoming roles as Course Director for the MSc Professional Practice in Sport (2025). Media engagement includes BBC contributions on football culture and sexual abuse prevention. Collaborations span international projects on digital education and pandemic impacts on youth wellbeing. Russell’s work aligns with UN SDGs for quality education (SDG4) and gender equality (SDG5).

پروفایل رسمی دانشگاه

Micah Corumمشاهده پروفایل

استادیار

University of North GeorgiaUnited States

Dr. Micah Corum is an Assistant Professor in the Department of English at the University of North Georgia (UNG), part of the College of Arts & Letters. He holds a Ph.D. in Linguistics from the University of Hamburg (2013) and a Ph.D. in English from the University of Puerto Rico (2017), along with a B.A. in Spanish from Oklahoma State University (2005). His primary research focuses on sociolinguistics, construction grammar, and the study of pidgins and Creoles, particularly in the Caribbean and West African contexts. Dr. Corum advises UNG's linguistics minor program and serves on the editorial board of Odisseia , while also acting as an external reviewer for the Journal of African Languages and Linguistics since 2015. His teaching portfolio includes courses such as Standard English Grammar, Advanced English Grammar, and Introduction to English Linguistics, delivered both online and in-person. Dr. Corum's research explores themes like the historical development of pidgins and Creoles, discourse strategies in Caribbean Creoles, and typological analyses of contact languages. His recent work examines metaphorical frameworks in Creole lexicons and geopolitical metaphors in colonial discourse. Key contributions include his 2015 monograph on spatial semantics in West African Pidgincreoles and a 2021 analysis of Caribbean postcolonial linguistic discourses. Dr. Corum has presented at international conferences including the International Bakhtin Conference and the Society for Pidgin and Creole Linguistics, showcasing his expertise in cognitive linguistics applications to Creole studies.

پروفایل رسمی دانشگاه

Sergio Maffeisمشاهده پروفایل

دانشیار

Imperial College LondonUnited Kingdom

Dr. Sergio Maffeis is an Associate Professor and Senior Lecturer in Computer Security at the Department of Computing, Imperial College London, within the Faculty of Engineering. He leads the Security & Machine Learning Lab and holds affiliations with the Engineering Secure Software Systems and Programming Languages research groups. His research focuses on cyber security, machine learning, formal methods, and programming languages. Maffeis earned his Ph.D. from Imperial College London and an MSc from the University of Pisa, Italy. Research interests include adversarial machine learning, intrusion detection systems, and secure software development. His work bridges theoretical foundations with practical applications, such as detecting Advanced Persistent Threats (APTs) and improving ML model robustness against adversarial attacks. Recent publications highlight advancements in combining machine learning with security, including KnowML for knowledge graph-enhanced ML-NIDS and APIRL for REST API fuzzing. He has supervised numerous PhD students, including Abdullah Aldaihan (Large Language Models for Cyber Threat Detection) and Fahad Alotaibi (Concept Drift in ML-based Security). Grants include EPSRC/GCHQ funding for certified verification of client-side web programs and GCHQ grants for web security and lab infrastructure. His lab collaborates on projects like the Security & Machine Learning Lab, exploring cutting-edge topics in secure AI and network defense.

پروفایل رسمی دانشگاه

Stace Constantinouمشاهده پروفایل

مدرس ارشد

The University of NorthamptonUnited Kingdom

Dr Stace Constantinou is a Senior Lecturer in Popular Music and Programme Leader for the Popular Music course at the University of Northampton, affiliated with the Centre for Cultural and Literary Studies within the Culture school. He holds a PhD from Kingston University and is actively engaged in creative research, supervision, and public engagement. PhD, Processes of creative patterning: a compositional approach, Kingston University (2015) His research centers on the intersection of music, technology, and artificial intelligence. He explores AI through programmatic electronic music, develops analytical tools for popular song, and investigates the adaptation of mathematical symmetry into digital signal processing. His creative work emphasizes spatial sound, immersive performance, and the materiality of the audio-object within DAW environments. Key themes include musical creativity, novelty, patterns, and the philosophical implications of AI in music. His recent creative outputs form a thematic arc exploring AI, rebellion, and human identity, most notably through The SAPIAN Trilogy and Rebel-Misfit . These works blend electronic composition with narrative depth, often inspired by thinkers like Zylinska, Bostrom, and Kurzweil. His publications and compositions reflect a consistent focus on sound as a medium for knowledge exchange and conceptual exploration. His scientific recognition includes the Ricordi Prize for Best Composition and the Schillinger Composition Prize. Ricordi Prize for Best Composition Schillinger Composition Prize He supervises two practice-based PhD students: Gemma Boaden, exploring hybrid voice practices for actors, and Michael W. Bell, researching experiential soundtracks using spatial audio technologies. He has secured internal funding for the LIPSY: Live Immersive Performance Soundscape project (2024–2025), demonstrating active grant involvement. His work extends to public engagement through podcasts, radio programs, and exhibitions with the Royal Society of Arts. Dr Constantinou is actively involved in a creative research lab focused on immersive and spatial sound, leading the LIPSY project. His work is inherently collaborative, involving partnerships with artists, film directors, and institutions like Resonance FM, Angel Studios, and The Podcast Company.

پروفایل رسمی دانشگاه

Jorge Fandinnoمشاهده پروفایل

استادیار

University of Nebraska at OmahaUnited States

Dr. Jorge Fandinno is an Assistant Professor of Computer Science at the University of Nebraska at Omaha since 2020. His academic journey includes an Alexander von Humboldt Fellowship at the University of Potsdam (Germany) and a Postdoctoral Fellowship at the Toulouse Institute of Computer Science Research (France). He earned his Ph.D. in Computer Science from the University of Corunna (Spain) in 2015. Current Role: Assistant Professor, Computer Science Department, University of Nebraska at Omaha (2020–present) Previous Roles: Alexander von Humboldt Fellow (University of Potsdam, Germany), Postdoctoral Fellow (Toulouse Institute of Computer Science Research, France) Dr. Fandinno’s research focuses on Artificial Intelligence , particularly in Knowledge Representation and Reasoning , Answer Set Programming , and Epistemic Logic . His work bridges theoretical and practical aspects, including the development of formal semantics, deductive systems, and applications in causal reasoning and constraint handling. Recent publications emphasize automated reasoning, strong equivalence verification, and integrating quantitative information into logic programming frameworks. His scholarly output includes over 60 publications in prestigious venues such as Artificial Intelligence , Journal of Artificial Intelligence Research , and conferences like AAAI, IJCAI, and LPNMR. He has received three best technical paper awards at LPNMR (2015, 2017, 2019) and mentored students who won best student papers at JELIA and ICLP. Notably, he secured a NSF CAREER award (2024) for his project on Answer Set Programming for Quantitative Information. Scientific Awards: NSF CAREER award (2024) Best technical paper, LPNMR 2015 Best technical paper, LPNMR 2017 Best technical paper, LPNMR 2019 Best student paper, JELIA 2019 (supervised student) Best student paper, ICLP 2020 (supervised student) Dr. Fandinno’s publications span theoretical advancements in logic programming, epistemic reasoning, and practical applications in causal analysis and constraint satisfaction. His recent work explores automated reasoning tools (e.g., Anthem 2.0 ), recursive aggregates, and complexity assessments in ASP.

پروفایل رسمی دانشگاه

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

پژوهشگر

University of MarburgGermany

Dr. Anna Rosenkranz is a researcher at the Institute for German Linguistics, specializing in Clinical Linguistics at Philipps-Universität Marburg. She holds a visiting professorship at the Department of Educational and Rehabilitation Sciences, University of Cologne (2024-2025), focusing on language disorders in neurologically impaired populations. Her career spans institutions including Ruhr-Universität Bochum and University of Reading, with a PhD in Linguistics (2015). Current affiliations: Philipps-Universität Marburg (since 2019), University of Cologne (2024-2025) Education: PhD Linguistics (Bochum), MA Speech Science (Marburg), BA Linguistics (Bochum) Rosenkranz's research bridges clinical linguistics and neuropsychology, focusing on: Executive function contributions to word retrieval in aphasia Complex semantic processing in cognitive communication disorders Diagnostic tools for subtle post-brain-injury communication deficits Psycholinguistic models of verbal fluency in psychiatric and neurological conditions Digital participation barriers for speech-language impaired individuals Her work emphasizes practical applications in speech therapy, including the development of the KomplexSem test and FAVRES-D assessment. Recent publications analyze digital accessibility challenges, semantic processing, and cognitive-linguistic interactions across conditions like schizophrenia and dementia. Professional activities include: Co-developer of cognitive-communication screening tools (CCCABI-DE, KomplexSem) Coordinator of continuing education programs (2022-2024) Keynote speaker at international workshops on language production and neurorehabilitation Contributor to BMBF-funded projects on 'small disciplines with high potential'

پروفایل رسمی دانشگاه

Sylvain Conchonمشاهده پروفایل

استاد

InriaFrance

Sylvain Conchon is a Professor at Université Paris-Saclay, affiliated with the Laboratoire Méthodes Formelles (LMF, UMR 9021) and the Toccata research team, a joint project with INRIA Saclay – Île-de-France. His work lies at the intersection of formal methods, automated reasoning, and software verification. Research Interests: His primary research areas include SMT solving, automated deduction, program verification, model checking for parameterized systems, and information flow analysis. He develops theoretical foundations and practical tools to ensure software correctness, particularly in safety-critical and concurrent systems. Publications and Tools: His recent work centers on projects like BPI IDemo ARGOS (2024) and PEPR Secureval (2022), focusing on industrial software verification and cybersecurity. He is the main developer of Alt-Ergo , an SMT-based theorem prover, and Cubicle , a model checker for parameterized systems. His publications span formal methods, logic in computer science, and static analysis, with a strong emphasis on tool building and application. Scientific Awards: Advising and Grants: He has advised several PhD students including Guillaume Girol, Alain Mebsout, and Mohamed Iguernelala. He has led and participated in numerous research projects funded by ANR, FUI, PEPR, and industrial partners, demonstrating sustained grant success in formal methods and verification. Labs and Teams: He is a core member of the Toccata team at INRIA Saclay and the LMF laboratory, where he collaborates on advancing the state-of-the-art in deductive program verification and automated reasoning.

پروفایل رسمی دانشگاه