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

Sheila McIlraithمشاهده پروفایل

استاد

• Artificial Intelligence
• AI Safety
• AI Alignment
• +۹ مورد دیگر

Sheila McIlraith is a Professor in the Department of Computer Science at the University of Toronto, holding the Canada CIFAR AI Chair at the Vector Institute and serving as Associate Director and Research Lead at the Schwartz Reisman Institute for Technology and Society. Her research spans AI safety, ethics, reinforcement learning, and knowledge representation, with a focus on human-compatible AI and long-term societal impacts. Her career includes six years as a Research Scientist at Stanford University and a year at Xerox PARC. McIlraith’s work has been recognized through ACM and AAAI fellowships, as well as prestigious awards like the SWSA 10-Year Award (2011) and the CAIAC Lifetime Achievement Award (2024). Research Interests: AI Safety and Alignment Human-Compatible AI Reinforcement Learning with Ethical Constraints Semantic Web Services Cognitive Robotics and Diagnostic Systems Probabilistic and Logical Reasoning Recent Contributions: Her work emphasizes ethical AI integration, such as the Embedded Ethics Education Initiative (E3I), and addresses challenges in long-term AI risks, multi-agent systems, and interpretable decision-making frameworks. Awards and Honors: ACM Fellow AAAI Fellow 2023 IJCAI-JAIR Best Paper Prize 2024 CAIAC Lifetime Achievement Award Labs and Teams: McIlraith leads initiatives at the Schwartz Reisman Institute and contributes to the Vector Institute, focusing on societal and ethical dimensions of AI technology.

Kuldeep S. Meelمشاهده پروفایل

دانشیار

• Automated Reasoning
• Formal Methods
• Artificial Intelligence
• +۶ مورد دیگر

Kuldeep S. Meel is the Stephen Fleming Early-Career Associate Professor at the School of Computer Science, Georgia Institute of Technology, and an Associate Professor at the University of Toronto (on leave). He previously held a NUS Presidential Young Professorship at the National University of Singapore. His research focuses on automated reasoning, aiming to enable computing systems to handle uncertain real-world environments through scalable techniques integrating randomized algorithms, statistical inference, formal methods, distribution testing, and software engineering. Core research areas: Automated Reasoning, Formal Methods, Approximate Model Counting, Probabilistic Inference, Constraint Solving His research group has achieved significant recognition in both individual awards and publications. Key trends in his recent work include advancing model counting algorithms, developing frameworks for probabilistic explanations, and improving scalability in formal verification and constraint satisfaction. His tools have consistently ranked top in international competitions, demonstrating practical impact in automated reasoning. 2019 NRF Fellowship for AI 2022 ACP Early Career Researcher Award 2020 IEEE Intelligent Systems AI's 10 to Watch Top placements in Model Counting, SAT, and CAV competitions He mentors a diverse group of PhD and Master's students and collaborates with institutions worldwide. His group's publications span premier conferences in AI, formal methods, and design automation, reflecting interdisciplinary contributions to theoretical and applied computer science.

Linyi Liمشاهده پروفایل

استادیار

• Deep learning
• Trustworthy machine learning
• Computer security
• +۴ مورد دیگر

Linyi Li is an Assistant Professor in the School of Computing Science at Simon Fraser University (SFU), leading the Trustworthy Artificial Intelligence (TAI) Lab. His research focuses on certifiably trustworthy deep learning systems, combining machine learning and computer security. He holds a PhD from the University of Illinois Urbana-Champaign (UIUC) and a B.Eng. from Tsinghua University. Affiliations: Simon Fraser University, TAI Lab Education: PhD in Computer Science, UIUC, 2023 B.Eng (Cum Laude), Tsinghua University, 2018 His research interests include deep learning , trustworthy machine learning , large language models , and software engineering . He emphasizes rigorous certification of robustness, fairness, and numerical reliability in AI systems. Recent work includes the InfiBench benchmark for evaluating code LLMs and advancements in neural network verification. Recent Research Trends: His publications span certified robustness, fairness guarantees, and scalable verification techniques for deep learning models. He also explores scientific evaluation of foundation models and adversarial defense mechanisms. Awards: Rising Stars in Data Science AdvML Rising Star Award Wing Kai Cheng Fellowship Finalist: Qualcomm Innovation Fellowship (2022) Winner: VNN-COMP'23 Competition (Team α, β-CROWN) Advising & Grants: As a PI, he oversees the TAI Lab's research. Though no specific grants are listed, his work is funded through competitive awards and university resources. Labs/Teams: Leads the TAI Lab at SFU, focusing on foundational and applied research in trustworthy AI.

Qingguo Liمشاهده پروفایل

استاد

• Biomechanical system design
• Energy harvesting
• Wearable sensors
• +۴ مورد دیگر

Qingguo Li is a Professor and Associate Head at the Department of Mechanical and Materials Engineering , Queen's University , and a member of the Ingenuity Labs Research Institute . He specializes in biomechanical system design, energy harvesting, wearable sensors, gait analysis, and load carriage systems. His research integrates robotics, biomedical engineering, and sensor technology to develop human-centric devices and mobility aids. Current Roles : Professor, Associate Head, Queen's University Research Institute : Ingenuity Labs Research Institute Lab : Bio-Mechatronics and Robotics Laboratory His work focuses on biomechanical energy harvesting , IMU-based motion analysis , and assistive device development . Key applications include stroke rehabilitation, gait monitoring, and wearable power generation systems. Articles span cable-driven robots , smart walkers , and 3D printing mechanisms , emphasizing human-robot interaction and dynamic modeling . The lab explores sensor calibration , adaptive control algorithms , and human movement optimization . Areas of impact include rehabilitation engineering , load carriage stability , wearable sensor accuracy , and assistive robotics . His team develops solutions for gait asymmetry detection , post-stroke mobility , and low-cost energy systems , leveraging machine learning and kinetic modeling .

Caroline Lemieuxمشاهده پروفایل

استادیار

• Programming Languages
• Software Engineering
• Fuzz Testing
• +۶ مورد دیگر

Caroline Lemieux is an Assistant Professor at the Department of Computer Science, University of British Columbia (UBC), with research focused on advancing software correctness, security, and performance through innovative testing and synthesis techniques. Her work bridges Programming Languages and Software Engineering , particularly in fuzz testing, specification mining, and program synthesis. PhD from University of California, Berkeley (2021), advised by Koushik Sen Postdoctoral researcher at Microsoft Research, NYC (2021-2022) Key contributions: FuzzFactory , CodaMOSA , Arvada , and Gauss Her research integrates machine learning with traditional testing methods, exemplified by projects like RLCheck (reinforcement learning for test generation) and AutoPandas (neural synthesis for dataframes). Recent publications analyze generator-based fuzzing challenges and propose hybrid strategies combining coverage feedback with AI-driven insights. Scientific Awards : ACM/SIGSOFT Best Paper Award (ESEC/FSE 2019) ACM/SIGSOFT Tool Demonstration Award (ISSTA 2019) ACM/SIGSOFT Distinguished Artifact Award (ISSTA 2019) NSERC Postgraduate Scholarship-Doctoral (PGS D) UBC Governor General's Silver Medal (2016) Teaching roles include: 2025W2: CPSC 539L - Topics in Programming Languages 2024W2: CPSC 410 - Advanced Software Engineering 2023W2: CPSC 410 (with Alex Summers) She supervises graduate and undergraduate researchers working on projects like ExploTest (automated unit test generation) and GRIMOIRE (grammar extraction from pseudo-rules). Her research team collaborates with institutions including Microsoft Research, Google, and academic partners in systems security and AI-driven testing.

Florian Shkurtiمشاهده پروفایل

استادیار

• Robotics
• Machine Learning
• Computer Vision
• +۶ مورد دیگر

Florian Shkurti is an Assistant Professor in the Department of Computer Science at the University of Toronto Mississauga (UTM), affiliated with the UofT Robotics Institute, Vector Institute, and Acceleration Consortium. His research focuses on robotics, machine learning, and computer vision, emphasizing safe and effective autonomous systems in dynamic environments. He directs the Robot Vision and Learning (RVL) lab, exploring areas like environmental monitoring, autonomous navigation, and mobile manipulation. Research Interests: His work spans robotics, machine learning, and computer vision. Key areas include robot perception, planning under uncertainty, safe exploration, imitation learning, and applications in field robotics, autonomous vehicles, and chemistry lab automation. He develops methods enabling robots to perceive, reason, and act safely in collaboration with humans. Publications: Recent work includes advancements in safe multitask learning, interactive crowd navigation, and diffusion models for trajectory planning. His research bridges theoretical foundations with real-world applications in environmental science and autonomous systems. Affiliations: Faculty Member, UofT Robotics Institute; Faculty Affiliate, Vector Institute; Faculty Member, Acceleration Consortium. He also holds positions at UTM's Mathematical & Computational Sciences department. Teaching: Courses include Imitation Learning for Robotics, Neural Networks, and Mobile Robotics. He emphasizes hands-on experience with autonomous systems through projects involving RC cars and simulation tools. Labs & Teams: Leads the RVL lab, collaborating on projects like RoboCulture (automated biological experimentation) and SICNav (safe crowd navigation systems). The lab focuses on cross-disciplinary robotics solutions for real-world challenges.

Miao Zhengjieمشاهده پروفایل

استادیار

• Database Systems
• Data Management
• Data Curation and Integration
• +۳ مورد دیگر

Miao Zhengjie serves as an Assistant Professor in the School of Computing Science at Simon Fraser University (SFU), joining in October 2023 after a research scientist position at Megagon Labs. His work centers on enhancing data science pipelines through innovations in database systems and artificial intelligence. His academic foundation includes: Ph.D. in Computer Science from Duke University (2022) M.S. in Computer Science from Columbia University (2016) B.S. in Computer Science and Technology from Peking University (2015) Dr. Miao's research spans Database Systems , Data Management , Data Curation , and Data Provenance , with emphasis on AI-driven solutions for data pipeline efficiency. His methodology bridges theoretical database concepts with practical data science applications through novel algorithm development. Analysis of his 15 most recent publications reveals persistent focus areas: query explanation systems (35% of works), data augmentation frameworks (27%), and human-AI collaboration tools (20%). These contributions appear consistently in premier venues including SIGMOD, VLDB, and CHI, demonstrating methodological evolution from foundational query debugging (2019) to LLM-integrated annotation systems (2024). He actively participates in the SFU Data Science Research Group , contributing to interdisciplinary initiatives in large-scale data processing. Current information indicates no formal advisees or grant details are publicly documented in his institutional profile.

David Lieمشاهده پروفایل

استاد

• Computer Systems Security
• Trusted Execution Environments
• Mobile Platform Security
• +۷ مورد دیگر

David Lie is a Professor at the University of Toronto, jointly appointed in the Edward S. Rogers Department of Electrical and Computer Engineering, Department of Computer Science, and Faculty of Law. He directs the Schwartz Reisman Institute for Technology and Society, co-founded the IT3 Lab, and serves as Associate Director at the Data Sciences Institute. His research focuses on securing computer systems through operating systems, architecture, and formal verification approaches. B.A.Sc (University of Toronto, 1998) M.S. (Stanford, 2001) Ph.D. (Stanford, 2004) His research emphasizes building secure systems for mobile platforms and cloud computing, with significant contributions to trusted execution environments (XOM architecture precursor to Intel SGX/ARM TrustZone) and Android permission mapping (PScout tool). Recent work spans cryptographic side-channels, web tracking detection, and AI safety. Key honors include SOSP 2003 Best Paper, Ontario MRI Early Researcher Award (2008), Connaught Global Challenge Award (2017), and Canada Research Chairs (Tier 2 2013-2018, Tier 1 current). He has secured over $30M in research funding and served as General Chair for CCS 2018. Lie leads the IT3 Lab (Technology and Policy Integration), collaborates with industry leaders (Google, VMware, Telus), and mentors graduate students working on practical security implementations. He co-teaches ECE1724: Privacy Problems with Lisa Austin from the Faculty of Law, reflecting his technology-policy interests.

Karyn Moffattمشاهده پروفایل

دانشیار

• Human-Computer Interaction
• Accessibility
• Social Computing
• +۳ مورد دیگر

Karyn Moffatt is an Associate Professor in the School of Information Studies at McGill University and holds the Canada Research Chair in Inclusive Social Computing. As Graduate Program Director for the PhD program, she leads the Accessible Computing Technologies Research Group (ACT Lab), focusing on designing inclusive computing applications that support social engagement across diverse lifespans and abilities. Her work bridges human-computer interaction, accessibility research, and real-world community impact. Educational background: PhD in Computer Science, University of British Columbia MSc in Computer Science, University of British Columbia BASc in Computer Engineering, University of British Columbia Research Interests: Dr. Moffatt's work centers on inclusive social computing with emphases on aging populations , disability access , and intergenerational communication . She investigates how technology can overcome barriers to social participation through co-design methodologies, particularly for older adults and individuals with cognitive or physical disabilities. Current projects explore AI-enhanced aging support, dementia-friendly social platforms, accessible financial technology, and respite care coordination systems. Her approach integrates participatory design with rigorous usability testing to create solutions that address real-world challenges in healthcare, finance, and community engagement. Publication Trends: Analysis of her 15 most recent publications reveals consistent focus on aging and accessibility (60% of works), with growing emphasis on AI ethics (2025), dementia support systems (30% of 2023-2024 works), and accessible financial technology (2024). Methodologically, 75% employ co-design or participatory approaches, while 40% involve longitudinal field studies. Key venues include CHI (33%), ASSETS (20%), and ACM Transactions on Accessible Computing (27%), demonstrating leadership in top-tier HCI and accessibility forums. Scientific Awards: Multiple Best Paper Awards from ASSETS, CHI, and CSCW conferences Canada Research Chair in Inclusive Social Computing Advising and Grants: Dr. Moffatt currently supervises PhD candidates Chong Hu and Muhe Yang, having graduated four students since 2022 including Maurício Fontana De Vargas (2023) and Carrie Dai (2023). Her active grants include: NSERC Discovery Grant (2024-2029) as PI: Ethical AI for active aging Canada Research Chair renewal (2022-2027) as PI McGill Nursing Collaborative grant (2023-2025) as Co-I: iRespite mHealth app for palliative care Labs and Teams: She directs the ACT Lab, which partners with healthcare providers, public libraries, and community organizations to develop and deploy inclusive technologies. Current initiatives include the QuickPic AAC system for speech therapy, dementia-focused social programs with Montreal libraries, and Quebec-wide respite care coordination tools, all developed through interdisciplinary collaboration with clinicians, caregivers, and end-users.

Marin Litoiuمشاهده پروفایل

استاد

• Cloud Computing
• Self-Adaptive Systems
• DevOps
• +۶ مورد دیگر

About Marin Litoiu is a Professor at York University, holding dual affiliations in the Department of Electrical Engineering and Computer Science at the Lassonde School of Engineering and the School of Information Technology in the Faculty of Liberal Arts and Professional Studies. He is a Fellow of the Canadian Academy of Engineering and a recipient of the 2020 IBM Faculty of the Year Award. His research focuses on cloud computing, self-adaptive systems, DevOps, IoT, and machine learning-driven performance engineering. Research & Awards Litoiu leads the Dependable Internet-of-Things Applications (DITA) program, funded by NSERC, and co-founded Bitnobi Inc., acquired by Myant. His notable awards include the CASCON 2019 Most Influential Paper Award and Best Paper Awards at multiple conferences. His work emphasizes practical applications of adaptive systems, cybersecurity, and smart infrastructure integration. Grants & Projects NSERC CREATE Program: $1.65M for the DITA program (2018) York Innovation, TIAP, NSERC, and OCI-funded Bitnobi incubation Leadership in multiple CASCON workshops on cloud computing and AIOps Labs & Teams Litoiu’s lab has produced impactful startups like Bitnobi and pioneered research in self-driving systems, edge computing, and AI-driven operations. His team collaborates with industry partners like IBM and explores cutting-edge topics such as LLMs in performance optimization and fault detection.

Amin Hammadمشاهده پروفایل

استاد

• BIM and Digital Twins
• Construction Automation & Robotics
• Sustainable Infrastructure Management
• +۴ مورد دیگر

Amin Hammad is a Professor at the Concordia Institute for Information Systems Engineering, with an additional appointment as Affiliate Professor in Building, Civil, and Environmental Engineering at Concordia University. His research focuses on advancing construction technology through digital transformation, automation, and AI integration. He leads work in BIM applications, 4D simulation, robotic systems, and sustainable infrastructure management. His interdisciplinary approach bridges civil engineering with computer science and data analytics. Key research areas include: Automation and robotics in construction (Construction 4.0) BIM and digital twin lifecycle management AI-driven defect detection and inspection systems Occupational safety through exoskeleton performance evaluation Multi-purpose utility tunnel optimization Energy-efficient building systems Recent work emphasizes applying machine learning to construction equipment activity recognition, UAV path optimization for infrastructure inspection, and ontology development for integrated systems. His research addresses industry challenges in productivity, safety, and sustainability through data-driven solutions.

• Data Systems for AI
• Retrieval-Augmented Generation (RAG)
• Database Systems
• +۴ مورد دیگر

Yongjoo Park is an Assistant Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC), affiliated with the Grainger College of Engineering. He leads research in data-intensive AI systems as a member of the Data and Information Systems (DAIS) lab, focusing on novel data systems that bridge database theory and practical AI applications. His work emphasizes open-source contributions through GitHub and direct societal impact. Research interests center on systems for data-intensive AI , particularly efficient Retrieval-Augmented Generation (RAG) systems for exploratory AI, data science versioning, and in-storage computing. Key projects include Kishu (the world's first undoable Jupyter notebook with time-travel capabilities), CARE (a causal-relational system for structured/unstructured data), and AirDB/AirIndex (serverless transactions and automatic index optimization). His group develops tools enabling scalable, optimized AI workflows from storage layers to LLM inference. Recent publications reveal a strong focus on interactive data systems (85% of recent work), with significant contributions to notebook environments (Kishu), vector databases (ISCA'25), and RAG optimization. Awards highlight technical innovation, including SIGMOD 2025 Best Demo Award and NSF CAREER funding. His open-source philosophy drives GitHub releases of all major systems. SIGMOD 2025 Best Demo Award (Kishu) NSF CAREER Award (Novel data science systems) SIGMOD'23 Best Artifact Award Honorable Mention (DeepOLA) IBM-Illinois Project Selection (VectorDB/RAG) Mentorship spans 12 current PhD/MS students and 6 graduated advisees, including Supawit Chockchowwat (now Postdoc at Google, future Assistant Professor at CMKL University). He teaches advanced courses like CS511 (Advanced Data Management) and recruits 1-2 new PhD students annually, prioritizing data systems research. His lab emphasizes diversity, individual respect, and concrete outcomes in a collaborative workspace.

Shiva Nejatiمشاهده پروفایل

استاد

• Software Engineering
• Cyber-Physical Systems
• Autonomous Vehicles
• +۷ مورد دیگر

Shiva Nejati is a Professor at the University of Ottawa 's School of Electrical Engineering and Computer Science . He holds a PhD in Computer Science from the University of Toronto and previously worked as a Senior Scientist (2012-2019) and Scientist (2009-2012) at the SnT Centre (University of Luxembourg) and Simula Research Laboratory. Research focus: Software engineering for cyber-physical systems (autonomous vehicles, IoT), blending formal verification, machine learning, and search-based testing Key tools developed: ARIsTEO, SOCRaTEs, SimCoTest, EPIcuRus Editorial roles: Associate Editor for EMSE Journal (2025–), ASE Journal (2025–), IEEE Transactions on Software Engineering (2020–2024) His work combines formal methods , empirical software engineering , and AI/ML to address verification challenges in complex systems, particularly through evolutionary algorithms and surrogate modeling . Notable collaborations include industry partners in telecommunications, automotive, and aerospace sectors. Recent publications emphasize large language models for requirements analysis, adversarial testing of vision systems, and multi-objective optimization for test generation. His Sedna Research Lab actively trains graduate students in these cutting-edge methodologies.

Juergen Dingelمشاهده پروفایل

استاد

• Software Engineering
• Model-Driven Engineering
• Formal Methods
• +۷ مورد دیگر

Juergen Dingel is a Professor in the School of Computing at Queen's University, Canada. He joined the faculty in 2000 and holds a PhD in Computer Science from Carnegie Mellon University (1999). His research focuses on software modeling, model-driven engineering, formal methods, and formal verification, with applications in real-time systems and embedded systems. He leads the Modeling and Analysis in Software Engineering (MASE) research group. Education: PhD in Computer Science, Carnegie Mellon University (1999) M.Sc. in Pure and Applied Logic, Berlin University of Technology (1994) M.Sc. in Computer Science, Berlin University of Technology (1992) Research Interests: Model-driven engineering and transformation Formal specification and verification Automated testing and debugging Real-time and embedded systems Service composition and distributed systems His work emphasizes practical tools like Papyrus-RT and MDebugger , integrating formal methods into software development. Grants & Collaborations: Funded by NSERC, OCE, and industry partners (IBM, GM, Ericsson) Focus on automotive systems, IoT, and safety-critical applications Service: Editorial board member for SoSyM , STTT , and JOT Former chair of the MODELS Steering Committee (2016–2018) PC co-chair for MODELS 2014 and FMOODS/FORTE 2011 Labs & Teams: Leads the MASE group, which develops open-source tools for model-driven engineering. Collaborates with industry on automotive and IoT projects.

• Computer Networks
• Data Center Networking
• Software Defined Networking (SDN)
• +۵ مورد دیگر

Yashar Ganjali is a Professor in the Department of Computer Science at the University of Toronto , leading the Systems and Networking Group . His research spans computer networks , with a focus on data center networking , software-defined networking (SDN) , and congestion control . Education : Not explicitly detailed, but inferred from academic rank as a Professor. His work on flow consolidation , load migration in SDN controllers , and machine learning for network management has been influential. Recent projects include FORESIGHT (2025) for ML-driven scheduling and Meta-Migration (2023) to reduce switch migration latency. Scientific Awards include the IFIP Networking 2025 Best Paper Award . Collaborations with institutions like Google (2024) and Facebook (2019) highlight his industry impact. Advisees include Sepehr Abbasi Zadeh (PhD, 2024). Current projects integrate optical packet switching and eBPF-based network augmentation , aiming to address scalability, micro-bursts, and resource allocation efficiency in cloud environments.