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

Andriy Miranskyyمشاهده پروفایل

دانشیار

• Applied Machine Learning
• Big Data
• Blockchain
• +۴ مورد دیگر

Dr. Andriy Miranskyy is an Associate Professor in the Department of Computer Science at Toronto Metropolitan University. His research focuses on applied machine learning, quantum computing, cloud computing, and software engineering, with notable contributions to anomaly detection in cloud systems and quantum software engineering. He leads the AMiR Lab, exploring risk mitigation and software development challenges in emerging technologies. Education: Ph.D. in Computer Science from The University of Western Ontario (2011). Research Interests: He investigates quantum software engineering methodologies, cloud-native systems governance, and big data applications. His work bridges theoretical advancements with industrial-scale implementations, such as IBM Db2 quantum safety case studies and cloud monitoring tools like CloudHeatMap. He emphasizes practical solutions for flakiness detection in quantum programs and sustainable software development practices. Awards: Recognitions include the Rogers Cybersecure Catalyst Fellowship (2023-2024), IBM CAS Best Project (2021), and a Guinness World Record for pioneering a 3Pb data warehouse (IBM DB2 team). Teaching: Teaches courses like CPS 840 (Quantum Computing), CPS 847 (Software Tools for Startups), and CPS 731 (Software Engineering). Labs/Teams: Directs the AMiR Lab, focusing on risk-aware software engineering in quantum and cloud domains.

Jacques Caretteمشاهده پروفایل

دانشیار

• Mechanized Mathematics
• Correct-by-Construction Software
• Metaprogramming
• +۷ مورد دیگر

Jacques Carette is an Associate Professor at McMaster University , affiliated with the Department of Computing and Software . His research bridges formal and applied domains, including Mechanized Mathematics , Correct-by-Construction Software , and Game Design , with a focus on User Experience and Visual Scaling in games. He actively explores Reversible Computing , Quantum Programming , and DSLs for software generation. Research Interests: Mechanized Mathematics : Formalizing mathematical theories for software correctness. Game Design : Visual scale impact on user experience and cognitive components in gaming. Reversible & Quantum Computing : Reversible program transformations and quantum algorithm design. Software Engineering : Metaprogramming, code generation, and productivity analysis. Trends in Articles : His work spans Quantum Computing , Game Design , Formal Methods , and Software Sustainability . Recent publications emphasize DSLs , reversible models , and emotional computational models in games. Contact Information: Email: c@rtte@mcmaster.ca

• Reversible computation
• Quantum computing
• Functional programming
• +۵ مورد دیگر

Amr Sabry is an Adjunct Lecturer in the Department of Computing and Software at McMaster University's Faculty of Engineering. His academic work bridges theoretical computer science with practical quantum computing applications, focusing on programming language foundations for emerging computational paradigms. Dr. Sabry's research spans several interconnected domains: Reversible computation and its theoretical foundations Quantum programming languages and algorithms Functional programming and continuation-passing styles Programming language semantics and type systems Applications of category theory to computation His recent publications reveal a strong trend toward quantum computing applications in chemistry and physics, particularly in molecular dynamics simulations and quantum algorithm design. Dr. Sabry has developed novel approaches to quantum programming that incorporate principles from reversible computing, creating more efficient implementations of quantum algorithms. His work connects deep theoretical concepts with practical computational challenges in quantum information science. Dr. Sabry has taught courses including: Functional Programming (COMPSCI 3FP3) in 2022 Quantum Computing (COMPSCI 4QP3) in 2021 His scholarly impact is evident through extensive citation metrics, with publications referenced in Wikipedia pages, patents, and social media platforms. His work has attracted readership across multiple academic platforms including Mendeley and CiteULike.

• Quantum Computing
• Bayesian Statistics
• Bioinformatics
• +۳ مورد دیگر

Kevin Chern is a researcher in the Department of Statistics at the University of British Columbia’s Faculty of Science. His work bridges quantum computing, Bayesian statistics, and computational biology. Key research interests include quantum simulation optimization, probabilistic programming frameworks (e.g., Blang), and bioinformatics applications such as spatial proteomics and cancer phylogenetics. His recent publications (2019–2025) focus on advancing quantum annealing calibration, Bayesian clustering methods for spatial data, and scalable inference of phylogenetic trees from single-cell genomic data. He has contributed to foundational work in quantum supremacy and probabilistic modeling of combinatorial spaces. While no explicit awards or grants are listed here, his involvement with the Applied Statistics and Data Science Group (ASDa) and participation in seminar series suggest active engagement with interdisciplinary research and education initiatives.

Mel Lefebvreمشاهده پروفایل

استاد

• Artistic Practices
• Ancestral Skin Marking
• Traditional Tattooing
• +۸ مورد دیگر

Dr. Mel Lefebvre (they/them) is a Two-Spirit (2S) Michif, Nehiyaw, French, and Irish scholar and practitioner at Concordia University. As a member of the School of Community and Public Affairs , their work bridges academia, artistry, and community advocacy, focusing on Indigenous sovereignty, cultural revival, and social justice. They integrate traditional tattooing as a healing practice for urban Indigenous communities, particularly 2SLGBTQIA+ individuals and Indigenous women. Research Areas : Artistic practices, ancestral skin marking, Indigenous futurisms, quantum cosmology, environmental justice, and sovereignty. Community Roles : Vice-president of the Native Women's Shelter of Montreal (NWSM), co-creator of Kanekó:ta Indigenous Adult Education School, and advisor to the Montreal Indigenous Community NETWORK. Teaching includes courses on First Peoples & Education, Indigenous Futurisms, and Indigenous Research Methods. Their publications address Indigenous child welfare reforms, cultural preservation, and community-led solutions for Indigenous health.

Dorothea Olkowskiمشاهده پروفایل

استاد

• Phenomenology
• Science
• Language
• +۴ مورد دیگر

Dorothea Olkowski is a Professor in the Department of Philosophy at the University of Colorado, Colorado Springs (UCCS). She serves as Director of the Interdisciplinary Cognitive Studies Program and is a member of the Rotman Institute and the UNESCO International Network of Women Philosophers’ Steering Committee. Her work bridges phenomenology, postmodern philosophy, and analytic philosophy of language, with a focus on ethics, cognitive science, and quantum models of personhood. Her research critiques classical models of human nature, advocating for affective reasoning and network-based understandings of individuals. She explores how intuitionistic logic and quantum frameworks can address ethical and political challenges. Key interests include feminist ethics, the philosophy of science, and interdisciplinary methodologies. Publications span journals like PhanEx and Rizomes , as well as edited volumes addressing Deleuze, Merleau-Ponty, and feminist phenomenology. Her authored books include Postmodern Philosophy and the Scientific Turn (2012) and co-edited Feminist Phenomenology Futures (2017). Dr. Olkowski’s affiliations include leadership roles in cognitive studies and global philosophy networks, reflecting her commitment to interdisciplinary collaboration and feminist philosophy advocacy.

Rajibul Islamمشاهده پروفایل

دانشیار

• Quantum Computing
• Quantum Simulation
• Trapped Ion Physics
• +۳ مورد دیگر

Rajibul Islam is an Associate Professor at the University of Waterloo, affiliated with the Institute for Quantum Computing (IQC) and the Department of Physics and Astronomy. His research focuses on quantum computing and quantum simulation using trapped ions, with contributions to quantum control, spin systems, and optical engineering. He leads the Quantum Information Technology and Ion Trapping (QITI) group. His work bridges theoretical models with experimental implementations in ion trap systems. Key areas of research include programmable spin simulations, qubit preservation, and quantum error correction. He has developed novel techniques for ion trap fabrication and optical addressing systems to enhance scalability. His experimental setups often involve hybrid optical cavities and advanced laser systems to achieve precise quantum control. Rajibul's recent work emphasizes scalable quantum architectures, leveraging machine learning for system optimization and holographic methods for high-precision control. His contributions span both foundational quantum physics and applied technologies for quantum information processing.

Georgiy Krylovمشاهده پروفایل

استادیار

• High Performance Computing
• Compilers and Runtime Environments
• FPGA CAD
• +۲ مورد دیگر

Georgiy Krylov is an Assistant Professor at the Faculty of Computer Science, University of New Brunswick. He holds a PhD from UNB (2024), and master's and bachelor's degrees from Nazarbayev University (2018 and 2016). His research focuses on high-performance computing, compilers/runtime environments, FPGA CAD, and quantum/reversible computing. Education: PhD in Computer Science, University of New Brunswick (2024) MSc in Computer Science, Nazarbayev University (2018) BSc in Computer Science, Nazarbayev University (2016) Research Interests: His work spans compiler optimization, quantum circuit design, FPGA applications, and ahead-of-time (AOT) compilation techniques. He explores geometric refactoring for quantum circuits, heterogeneous logic implementations, and GPU acceleration in genetic algorithms. Publications Trends: Recent work emphasizes AOT compilation frameworks (e.g., Eclipse OMR), quantum computing optimizations, and FPGA-based CAD tools. Earlier studies focused on GPU-accelerated algorithms for quantum circuit synthesis. Grants/Advising: No specific grants or advisees listed. Active in open-source compiler toolchains and hardware-software co-design projects.

Banani Royمشاهده پروفایل

استادیار

• Software Maintenance and Renovation
• Software Analytics
• Empirical Software Engineering
• +۴ مورد دیگر

Dr. Banani Roy is an Assistant Professor in the Department of Computer Science at the University of Saskatchewan. Her research focuses on software maintenance, empirical software engineering, program comprehension, and scientific workflow management systems. She explores challenges in quantum computing applications for software engineering, AI-driven code tools, and reproducibility in computational experiments. Her work includes developing frameworks like VizSciFlow for scientific workflow visualization and Nutrient App for environmental monitoring via smartphone applications. Her research interests span topics such as code quality analysis, gender disparities in software systems, and XAI (Explainable AI) challenges. She has contributed to tools like CloneCognition for code clone validation and FSECAM for feature-to-architecture linkage. Her recent studies address developer challenges with large language models and federated learning approaches for real-time bug prediction. Dr. Roy's publications emphasize interdisciplinary applications of software engineering principles in scientific computing, quantum algorithms, and community-driven problem-solving platforms. She advocates for reproducible workflows and FAIR (Findable, Accessible, Interoperable, Reusable) data practices in collaborative scientific research. While no awards are explicitly listed, her extensive contributions to open-source tool development and empirical studies highlight her impact in advancing software engineering methodologies. She collaborates on projects involving legacy system reengineering, cloud-based code clone validation, and asynchronous collaboration frameworks for scientific teams.

Aziz Oukairaمشاهده پروفایل

استاد

• Quantum Science & Technology
• Microelectronics
• Thermal Modeling of Microsystems
• +۱۱ مورد دیگر

Aziz Oukaira is a Part-Time Professor in the School of Electrical Engineering and Computer Science at the University of Ottawa’s Faculty of Engineering. He obtained his Ph.D. in Electrical Engineering with excellent distinction from the Université du Québec en Outaouais in 2020, followed by an NSERC-THALES postdoctoral fellowship at École polytechnique de Montréal. He currently holds an Associate Professor position in the Department of Computer Science and Engineering at the Université du Québec en Outaouais, while simultaneously teaching at uOttawa. Education: Ph.D. in Information Sciences and Technologies (Electrical Engineering), Université du Québec en Outaouais, 2020 Research Focus: Dr. Oukaira’s research spans emerging quantum technologies, microelectronic system design, and thermal management of advanced microsystems including VLSI, SoC, SoP and SiP. He actively investigates embedded systems, FPGA-based rapid prototyping, MEMS fabrication, semiconductor device modeling, and the intersection of machine learning with hardware design. His work also covers theoretical computer science, programming language theory, process control, and fluid-dynamics-informed thermal modeling. Scientific Distinctions: NSERC-THALES Postdoctoral Researcher, PolySTIM Neurotech Lab, 2020–2022 IEEE Senior Member (CSS, RAS) Member, Ordre des ingénieurs du Québec Teaching & Service: At uOttawa he currently delivers senior undergraduate courses in computer architecture and random signals & systems. Office hours are held weekly on Wednesday mornings in room 139 Louis-Pasteur.

• Computer Science Education
• Software Engineering
• Cloud Computing
• +۳ مورد دیگر

Andreas (Andi) Bergen is an Assistant Professor in the Department of Computer Science at the University of Toronto's Mathematical and Computational Sciences School. His work focuses on computer science education, software engineering, and energy-efficient computing. He is actively involved in the Computer Science Student Community (CSSC) and teaches courses that emphasize writing instruction and practical programming skills. His research spans topics like integrating AI tools into education, optimizing software energy consumption in cloud environments, and leveraging visualization tools for complex data analysis. He has contributed to projects such as Galyleo, an extensible visualization solution, and explored methods for documenting software knowledge via screencasts. While no scientific awards are listed, Bergen's articles reflect a commitment to advancing pedagogical strategies and sustainable computing practices. He advises no listed students and no grants are mentioned, though his involvement with CSSC highlights his dedication to student engagement. He is based in DH-3084 and reachable at andi.bergen@utoronto.ca.

Nathaniel Johnstonمشاهده پروفایل

دانشیار

• Quantum Information Theory
• Linear Algebra
• Matrix Analysis
• +۳ مورد دیگر

Nathaniel Johnston is an Associate Professor in the Department of Mathematics and Computer Science at Mount Allison University. His research focuses on quantum information theory, linear algebra, matrix analysis, and cellular automata. He is known for contributions to quantum entanglement, operator theory, and the development of the QETLAB toolbox for quantum entanglement research. Education details are not explicitly listed in the provided information. Johnston's research interests span quantum entanglement, matrix analysis, and the mathematical foundations of quantum computing. He has published extensively on topics such as quantum state characterization, tensor analysis, and cellular automata dynamics. His work often bridges abstract mathematical concepts with computational applications, as seen in his development of algorithms for quantum information processing. In his recent publications, he explores advanced techniques in quantum entanglement certification, spectral graph theory, and the application of linear algebra to quantum systems. His contributions include studies on matrix factorizations, operator norms, and the theoretical underpinnings of quantum coherence. No scientific awards are listed in the provided materials. Johnston has advised no students listed here, and no grants are mentioned. His work is primarily theoretical, with a focus on advancing mathematical frameworks in quantum information science. He is associated with the Department of Mathematics and Computer Science at Mount Allison University, contributing to both research and teaching in these fields.

Denis Therienمشاهده پروفایل

استاد

• Complexity Theory
• Algebraic Characterizations of Complexity Classes
• Logical Tools
• +۵ مورد دیگر

Prof. Denis Therien is a Professor at the School of Computer Science, McGill University. His research focuses on complexity theory , particularly on algebraic characterizations of complexity classes, logical tools, combinatorics, and probabilistic methods. Research Interests Thérien's work bridges algebra and computational complexity , with significant contributions to the understanding of finite semigroups, quantum automata, and temporal logic hierarchies. He has explored connections between algebraic structures and computational models, including circuits and communication complexity. Notable Publications Recent publications (2005-2006) include studies on the Crane Beach Conjecture, quantum automata, equation solvability in semigroups, and logical characterizations of computational models. Scientific Awards Humboldt-Forschungsstipendien (2000-01) James McGill Professor (2002-09)

Erik Schnetterمشاهده پروفایل

استاد مدعو

• Computational Science
• High-Performance Computing (HPC)
• Scientific Software Development
• +۳ مورد دیگر

Erik Schnetter is the Research Technologies Group Lead at the Perimeter Institute for Theoretical Physics in Waterloo, Canada, and holds adjunct professorships at the University of Waterloo's Department of Physics & Astronomy, the University of Guelph's Department of Physics, and Louisiana State University's Center for Computation & Technology. His research focuses on computational science, high-performance computing (HPC), and developing tools for scientific collaboration and application development. His expertise includes numerical relativity, gravitational physics, and quantum field theory in curved spacetime. He has contributed to major projects like the Einstein Toolkit and AsterX, advancing GPU-accelerated simulations for astrophysical phenomena such as black hole mergers and core-collapse supernovae. Schnetter’s work emphasizes bridging HPC communities and improving accessibility to computational infrastructure. Key Awards: 1st place in the 2009 IEEE International Scalable Computing Challenge. Teaching: Regularly teaches Numerical Methods (PHYS 777) at the University of Waterloo, covering topics like computational physics and relativity. Software Contributions: Leads development of open-source tools for HPC and relativistic simulations. His recent work explores GPU-accelerated algorithms, quantum field localization, and black hole echo modeling, reflecting his dual focus on foundational physics and computational innovation.

Margarita F. Kondratievaمشاهده پروفایل

دانشیار

• Mathematics Education
• Quantum Mechanics
• Discrete Mathematics
• +۳ مورد دیگر

Roles & Affiliations: Associate Professor of Mathematics with a joint appointment in the Faculty of Education and Department of Mathematics and Statistics at Memorial University of Newfoundland. Specializes in mathematics education and quantum mechanics. Holder of the 2008 Motivational Teaching Award in the Department of Mathematics and Statistics. Education: PhD in Mathematics from Tomsk State University. Extensive postdoctoral and academic experience across institutions including the University of Minnesota and Moscow Institute of Electronics and Mathematics. Research Interests: Dr. Kondratieva focuses on the intersection of quantum mechanics and education, particularly asymptotical methods in quantum mechanics and optimization in discrete structures. She advocates for innovative teaching methods in mathematics, emphasizing dynamic geometry software and interactive learning environments. Her work bridges advanced mathematical concepts with practical pedagogical strategies, including geometric proof techniques and problem-solving paradigms. Grants & Awards: 2008 Motivational Teaching Award Contributions to national and international mathematics competitions such as the Virtual Marathon Involvement in educational outreach programs like Math Kangaroo and Blundon seminar Labs & Collaborations: Active in curriculum development for mathematics education, particularly in designing interconnecting problems to enhance student engagement. Collaborates with institutions on teacher training initiatives and technological integration in education.