programming language semantics Professors and Supervisors in Canada | ApplySharif

فیلترهای فعال:

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

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

نمایش ۱۸۱-۱۹۵ از ۲۰۷ استاد راهنما

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

Blair Armstrongمشاهده پروفایل

استادیار

University of TorontoCanada

Blair Armstrong is an Assistant Professor at the University of Toronto Scarborough (undergraduate appointment) and the University of Toronto (graduate appointment), affiliated with the Department of Psychology. He is also an Affiliated Researcher at the Basque Center on Cognition, Brain, and Language (BCBL). Holding a PhD from Carnegie Mellon University, his research focuses on cognitive and neural mechanisms underlying word comprehension, semantic memory, and lexical processing. His work integrates computational modeling, electrophysiological techniques, and behavioral experiments to explore ambiguity resolution, cross-linguistic differences, and decision systems. Education: PhD in Cognitive Science, Carnegie Mellon University. Research Interests: Cognitive and neural representations of word comprehension, semantic memory dynamics, ambiguity resolution, and computational methodologies for experimental design. He develops tools like Chronset for speech onset detection and SOS for optimizing stimuli, contributing to the broader field of psycholinguistics and cognitive neuroscience. Service and Grants: He has served on program committees for conferences such as the Cognitive Science Society and the Implicit Learning Seminar. He reviews grants for NSERC, SSHRC, ERC, and others. His editorial work includes guest editing a theme issue on statistical learning for Philosophical Transactions of the Royal Society. Labs/Teams: Collaborates with BCBL researchers and contributes to interdisciplinary projects on statistical learning and language processing.

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

Mark C. Jeffreyمشاهده پروفایل

استادیار

University of TorontoCanada

Mark C. Jeffrey is an Assistant Professor in the Edward S. Rogers Sr. Department of Electrical and Computer Engineering at the University of Toronto, cross-appointed to the Department of Computer Science. His research focuses on computer architecture and systems, aiming to simplify parallel programming for software engineers through novel compilers and large-scale multicore architectures. Previously, he was a Research Scientist at Facebook AI Research and earned his PhD from MIT under Daniel Sanchez. He holds a MASc and BASc from the University of Toronto. Education: PhD in Computer Science, MIT (2019) MASc in Computer Engineering, University of Toronto (2011) BASc in Engineering Science, University of Toronto (2009) Research interests include parallel computing, compilers, multicore architectures, and energy-efficient systems. His work bridges hardware-software co-design to enable scalable parallelism in modern systems. Notable awards include the George M. Sprowls PhD Thesis Award (2nd place, 2019), Best Paper at NoCArc 2023, and a Best Paper Award at ARC 2010. He teaches advanced courses in computer architecture and parallel programming (ECE1755, ECE552). His GitHub repository bf-intersect explores Bloom filter configurations for address-set disambiguation, tied to his SPAA 2011 and MASc thesis work.

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

Chrystopher Nehanivمشاهده پروفایل

استاد

University of WaterlooCanada

Chrystopher Nehaniv is a full-time Professor in the Department of Biomedical Engineering at the University of Waterloo, actively contributing to research groups including Intelligent and Autonomous Systems, Physical Systems and Mechatronics, and Human Factors and Interfaces. His work bridges mathematical theory with practical applications in robotics and complex systems, reflecting a strong interdisciplinary approach across engineering and cognitive sciences. His research spans algebraic structures in transformation semigroups, complex adaptive systems, and human-robot interaction. Key interests include cellular automata, autopoiesis, dynamical systems theory, and EEG microstate analysis, with significant theoretical contributions to semigroup complexity and practical implementations in domestic service robotics. Recent work emphasizes biologically inspired imitation learning, continual adaptation in human-robot teams, and mathematical modeling of social dynamics in games and neural systems. Analysis of his 15 most recent publications (2024-2025) reveals three dominant trajectories: (1) foundational algebraic work on transformation semigroups and finite groups applied to sandpile models, traffic systems, and game theory; (2) robotics innovations in social referencing, mental imagery, and continual learning for domestic service robots; and (3) neuroscience applications through EEG microstate syntax analysis and neural dynamics modeling. These threads consistently integrate rigorous mathematical frameworks with real-world complex systems challenges. No scientific awards or fellowships were mentioned in the provided materials. While specific student advisees and grant details were absent from the source text, his extensive publication record in human-robot interaction and complex systems suggests active supervision in interdisciplinary robotics projects. The absence of explicit grant mentions contrasts with his high-output research profile across multiple domains. Nehaniv operates within Waterloo's Intelligent and Autonomous Systems research ecosystem, collaborating across physical robotics (mechatronics, human factors) and theoretical frameworks (BIOMICS interaction computing). His work with the iCub robot platform and domestic service robot implementations indicates hands-on laboratory engagement, particularly in social interaction validation and object disambiguation systems.

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

Xiaodan Zhuمشاهده پروفایل

دانشیار

University of OttawaCanada

Xiaodan Zhu is an Associate Professor in the Department of Electrical and Computer Engineering at Queen's University, holding the Mitchell Professorship at the Ingenuity Labs Research Institute and serving as a Faculty Affiliate at the Vector Institute for Artificial Intelligence. He earned his Ph.D. in Computer Science from the University of Toronto (2010) and a Master's from Tsinghua University (2000). His research focuses on Natural Language Processing (NLP), Machine Learning, and AI, with notable contributions to sentiment analysis, adversarial attacks, legal decision-making, and medical text mining. Key research interests include semantic compositionality, calibration attacks on models, and robust reasoning in financial text. He has led projects funded by NSERC (Discovery Accelerator Supplement, Discovery Grants), JP Morgan, and the New Frontiers in Research Fund. Notable awards include the Adam Kilgarriff *SEM Best Paper Award (2015) and the Best Long Paper Award at the NAACL-2024 TrustNLP Workshop. Zhu supervises a dynamic team of graduate and undergraduate students, contributing to over 150 publications. His work spans adversarial machine learning, legal judgment prediction, and healthcare applications, with collaborations extending to industry partners like IBM, Amazon, and Samsung. He actively contributes to the academic community through editorial roles (e.g., Co-Editor-in-Chief of ACL Rolling Review) and organizing major conferences (e.g., SEMEVAL, EMNLP). Current research includes exploring robust reasoning models for financial text, legal AI applications, and advancing ensemble methods for NLP tasks. His lab’s innovations in calibration attacks and spatial reasoning with large language models reflect cutting-edge advancements in AI safety and capability.

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

Jessie Galasso-Carbonnelمشاهده پروفایل

استادیار

McGill UniversityCanada

Jessie Galasso-Carbonnel is an Assistant Professor in the Department of Electrical and Computer Engineering at McGill University's Faculty of Engineering. Her research focuses on software reverse engineering, knowledge extraction, variability management, and software repository mining. She holds a Ph.D. in Computer Science from the University of Montpellier (2018) and completed postdoctoral research at the French National Institute for Sustainable Development (IRD) and the University of Montréal's Geodes group. She is currently co-chairing several international conferences and workshops, including the Poster Track at MODELS’24 and the Doctoral Symposium at SPLC’24. Her academic background includes: Ph.D. in Computer Science, University of Montpellier (2018) Postdoctoral Researcher at IRD (2019–2020) and University of Montréal (2020–2023) Recipient of IVADO Postdoctoral Research Funding (2020) Research interests span: Software product line engineering Formal concept analysis AI-driven code recommendation systems Domain-specific language design Reproducible software development practices Recent contributions include advancements in: Automated repair of semantic errors in model transformations Social diversity metrics for collaborative problem-solving Low-code development frameworks for AI pipelines She actively contributes to the academic community through roles such as PC member for SANER’25 and co-chair of multiple international workshops. Her work intersects software engineering, AI, and formal methods to advance scalable and accessible software development practices.

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

Steve Nicolleمشاهده پروفایل

استاد

Trinity Western UniversityCanada

Dr. Steve Nicolle is a Professor at Trinity Western University (TWU) and Director of the MA in Linguistics & Translation (MALT) program. He has been actively involved in linguistic research and Bible translation since 1999, with a focus on Bantu languages, discourse analysis, and pragmatics. Prior to joining TWU in 2013, he worked for 15 years with SIL International in East and Central Africa, contributing to language development, Bible translation, and linguistic training. Education: D.Phil. in Linguistics, University of York, UK (1993–1996) Postgraduate Certificate in Education (ESL), University College of North Wales, Bangor, UK (1992–1993) B.A. in Linguistics with Philosophy, University of York, UK (1988–1992) His research spans semantics and pragmatics, grammatical analysis, African languages, language change, and Bible translation. He has authored over 70 academic publications and led linguistic training initiatives across Africa. His recent articles highlight trends in grammaticalization, conditional constructions, and discourse analysis in African languages. Scientific Awards: Guest Editor, SIL Journal of Translation (2022) Invited Speaker at "Conditionals 2" Summer School (2022) Guest Editor, Studies in African Linguistics (2017) Keynote Speaker at 6th International Conference on Bantu Languages (2016) Steve is also a passionate cyclist and brewer, reflecting his dynamic approach to both personal and professional endeavors.

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

Sean Allisonمشاهده پروفایل

استاد

Trinity Western UniversityCanada

Dr. Sean Allison is a Professor and co-chair of the Linguistics and World Languages department at Trinity Western University's Faculty of Humanities & Social Sciences. He has taught French since 2015 and served as French Program coordinator since 2020. His research focuses on Chadic languages (e.g., Makary Kotoko), functional/typological linguistics, and French linguistics. He co-leads Bible translation projects in French-speaking Africa with Wycliffe Bible Translators since 1998, combining academic work with applied linguistic fieldwork. Education: PhD in Linguistics (University of Colorado, 2012), DEA and Master's in Linguistics (Université Marc Bloch, Strasbourg, 1996-1993), and certifications in French language studies. Awards include TWU's Davis Distinguished Teaching Award (2023-24) and a teaching excellence award from CU Boulder (2011). Research spans Makary Kotoko grammar, language contact in West Africa, and sociolinguistic impacts of Bible translation. Recent work includes a 2023 paper linking Bible translation to church health, a major 2020 grammar publication, and 2017 studies on conditional clauses and language contact dynamics. Teaching includes FREN 101-380 courses, emphasizing practical language skills and advanced grammar. His work integrates field linguistics with pedagogical innovation, supported by affiliations with SIL International and Wycliffe. Ongoing projects focus on Chadic language documentation and African language policy.

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

Joseph Eremondiمشاهده پروفایل

استادیار

University of ReginaCanada

Joseph Eremondi is an Assistant Professor in the Department of Computer Science at the University of Regina, specializing in programming language theory and design. His research develops tools to enhance usability of dependently typed programming languages, which enable mathematical specification and verification of code behavior. Current projects include gradual dependent types, semantics for pattern matching, termination proof techniques, and compiler error diagnosis. Eremondi's publications advance formal foundations for programming language design while addressing practical usability concerns. Recent work establishes theoretical foundations for gradual dependent typing and develops ordinal notations for termination verification. He teaches courses in programming language concepts and formal verification, including courses on Agda-based program verification.

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

William M. Farmerمشاهده پروفایل

استاد

McMaster UniversityCanada

William M. Farmer is a Professor in the Department of Computing and Software at McMaster University's Faculty of Engineering. His expertise spans logic, mechanized mathematics, mathematical knowledge management, and formal methods. He specializes in the Theory of Computation and contributes to the Digital & Smart Systems research cluster. Dr. Farmer teaches CAS 760: Logic for Practical Use (Theory), focusing on practical logic design and implementation. His research emphasizes formal systems, automated reasoning, and the integration of mathematical software with theory representation. He is affiliated with the IMPS (Interactive Mathematical Proof System) project and maintains a research website at imps.mcmaster.ca/wmfarmer. His work bridges theoretical foundations and practical applications, including formalizing mathematical knowledge, developing biform theories, and advancing tools like Chiron and Alonzo. Despite no listed awards or grants in the provided text, his contributions to formal methods have influenced computational logic and mathematical software systems.

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

Ben Pin-Yun Wangمشاهده پروفایل

استاد آموزشی

University of VictoriaCanada

Teaching Chinese as an additional language
Chinese linguistics
Language pedagogy
+۶ مورد دیگر

Ben Pin-Yun Wang is an Associate Teaching Professor and Chinese Language Coordinator in the Pacific and Asian Studies department at the University of Victoria. He holds a dual-title PhD in Applied Linguistics and Asian Studies from Pennsylvania State University (PSU). His expertise lies in teaching Chinese as an additional language, Chinese linguistics, and pedagogical approaches informed by cognitive-functional and corpus-based methodologies. Education: BA and MA from National Taiwan University, PhD from Pennsylvania State University. Research interests include language pedagogy, curriculum development, cognitive linguistics, corpus linguistics, and Taiwan studies. His work emphasizes data-driven learning activities and metaphor analysis in Mandarin Chinese. Publications focus on applied linguistics, corpus linguistics, and cognitive approaches to language teaching, contributing to methodologies in Chinese second language acquisition and curriculum design. As coordinator, he oversees Chinese program administration, student advising, curriculum planning, and instructor training. He has taught at UVic since joining and previously held roles at PSU and National Taiwan University. Teaching responsibilities span all Chinese language levels, cultural courses on Taiwan, and content-based instruction in linguistics and translation.

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

Arie Gurfinkelمشاهده پروفایل

استاد

University of WaterlooCanada

Arie Gurfinkel is a Professor at the University of Waterloo, holding a joint appointment in the Department of Electrical and Computer Engineering and the Cheriton School of Computer Science. His research focuses on automated program analysis, software model checking, automated reasoning, and abstract interpretation. He develops tools like SeaHorn, Avy, and others to enhance the verification and testing of complex computer systems. His work emphasizes formal methods, machine learning integration, and hardware/software verification. Recent publications highlight advancements in interpolation-based model checking, constrained Horn clauses, and algorithm selection for hardware verification. Gurfinkel's contributions include open-source tools and frameworks widely used in academic and industrial verification efforts. He actively seeks motivated graduate students interested in logic, automated reasoning, and formal methods. His research has been presented in top-tier conferences and journals, reflecting his expertise in formal verification and software engineering.

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

Michael Godfreyمشاهده پروفایل

استاد

University of WaterlooCanada

Michael Godfrey is a Professor at the University of Waterloo's David R. Cheriton School of Computer Science, affiliated with the Department of Electrical and Computer Engineering. His work focuses on software engineering, empirical studies of software systems, code review practices, and open-source software ecosystems. He holds a Ph.D., M.Sc., and B.Sc. from the University of Toronto (1997, 1988, 1986). Research interests include software evolution, mining software repositories, provenance tracking, code duplication analysis, and program comprehension. He actively explores how developers interact with code reviews, documentation systems, and modern CI/CD pipelines. Recent work investigates app store software ecosystems, Bash scripting vulnerabilities, and deep learning API testing. Publications span empirical studies of developer communities (e.g., Stack Overflow analysis), architectural teaching methods, and automated testing techniques like documentation-guided fuzzing. His work bridges theory and practice, addressing challenges in large-scale systems maintenance and developer productivity. Leverages tools like Elasticsearch for repository mining and explores anomaly detection in software development. Engaged in curriculum development for software architecture education and has contributed to conferences like MSR and ICSE.

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

Prabhakar Ragdeمشاهده پروفایل

استاد

University of WaterlooCanada

Prabhakar Ragde is a Professor at the University of Waterloo's Department of Computer Science, located in DC 2633. His academic background includes a Ph.D. from the University of California, Berkeley (1986) and a B.Math from the University of Waterloo (1982). He is affiliated with the Faculty of Mathematics and holds roles in the Professors group. His research focuses on functional programming languages, operational semantics, and dependent types, with applications in proof assistants for verified computations. Though no specific articles are listed here, his work aligns with theoretical computer science and formal methods. No scientific awards, grants, or advising details are explicitly mentioned in the provided text. For further details, visit his personal webpage .

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

Adèle Mercierمشاهده پروفایل

دانشیار

Queen's University at KingstonCanada

Adèle Mercier is an Associate Professor in the Department of Philosophy at Queen's University, cross-appointed with the Linguistics Program. She holds degrees from the University of Ottawa (B.A., M.A.) and the University of California, Los Angeles (M.A., Ph.D. in Philosophy; M.A., C.Phil in Linguistics). She completed postdoctoral work at Stanford University’s Center for Study of Language and Information and Paris’s Institut Jean Nicod. She has served as a Visiting Professor at UCLA and the University of Barcelona, where she is affiliated with the LOGOS Research Group. She was elected President of the Canadian Philosophical Association in 2012. Her research focuses on philosophy of language, logic, philosophy of cognition, natural language semantics, legal philosophy, and feminism. Notably, she authored a paper scrutinizing the use of masculine language as sex-neutral, which earned the American Philosophical Association’s Best Paper award. She has acted as an expert witness in legal cases involving semantics and gender/racial language, including Supreme Court of Canada proceedings on marriage equality. She advocates for women in philosophy and is developing a user-friendly logic textbook and a philosophical novel about her career at Queen’s University. Her expertise spans interdisciplinary areas, including applied legal philosophy, feminist critiques of language, and foundational issues in linguistics. She remains active in academic leadership and public engagement, emphasizing clear communication of complex philosophical ideas.

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

Susan Brownمشاهده پروفایل

استاد

University of GuelphCanada

Susan Brown is a Professor at the University of Guelph, holding a Canada Research Chair (Tier 1) in Collaborative Digital Scholarship. She is affiliated with the College of Arts and the School of Theatre, English, and Creative Writing. Her research focuses on digital humanities, critical infrastructure studies, Victorian literature, and feminist theory, particularly through her leadership of the Orlando Project, a pioneering interdisciplinary initiative. She has received significant grants from the Social Sciences and Humanities Research Council of Canada and the Canadian Foundation for Innovation. Her work bridges feminist literary history with digital innovation, emphasizing collaborative knowledge production and inclusive digital infrastructure. Brown has contributed to university administration, including roles on the Senate Awards Committee, Board of Governors, and editorial boards of journals like Victorian Review and KULA . She has also served on national and international advisory boards, including Compute Canada and the Digital Research Alliance of Canada. Research interests include feminist digital methodologies, semantic technologies, and the intersection of technology with literary studies. Awards include the Society for Digital Humanities Outstanding Achievement Award (2006) and the T-REX Best New Tool Prize (2008). She has taught extensively in Victorian studies, gender theory, and digital humanities, receiving a teaching award in 1999 for integrating digital methods. Brown founded the DH@Guelph Summer Workshops and co-created the Culture and Technology Studies program. Grants and projects include funding for the Humanities Interdisciplinary Collaboration Lab (THINC Lab) and the Canadian Writing Research Collaboratory (CWRC). Her recent work explores metadata ontologies, linked open data, and the ethical dimensions of digital cultural heritage.

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