Marsha Chechik

Last updated

Maria Marsha A. Chechik is a computer scientist who works in Canada as Bell University Chair in Software Engineering in the Department of Computer Science at the University of Toronto. Her research concerns software engineering, and particularly the use of formal methods to assure the safety and reliability of software in industrial and health applications. [1]

Contents

Education and career

Chechik is originally from the Soviet Union. [2] She completed a Ph.D. in computer science from the University of Maryland, College Park in 1996, with the dissertation Automatic Analysis of Consistency Between Requirements and Designs supervised by John D. Gannon. [3]

She joined the Department of Computer Science at the University of Toronto in 1996, and added a cross appointment with the Department of Electrical and Computer Engineering in 2000. She was chair of computer science from 2019 to 2022, and acting dean of the Faculty of Information in 2022. [1]

Recognition

Chechik was named as an ACM Fellow, in the 2024 class of fellows, "for contributions to formal reasoning for quality software development at scale". [4]

Related Research Articles

<span class="mw-page-title-main">Stuart Feldman</span> American computer scientist

Stuart Feldman is an American computer scientist. He is best known as the creator of the computer software program Make. He was also an author of the first Fortran 77 compiler, was part of the original group at Bell Labs that created the Unix operating system, and participated in development of the ALTRAN and EFL programming languages.

Ronald Baecker is an Emeritus Professor of Computer Science and Bell Chair in Human-Computer Interaction at the University of Toronto (UofT), and Adjunct Professor of Computer Science at Columbia University. He was the co-founder of the Dynamic Graphics Project (DGP), and the founder of the Knowledge Media Design Institute (KMDI) and the Technologies for Aging Gracefully Lab (TAGlab) at UofT. He was the founder of Canada's research network on collaboration technologies (NECTAR), a founding researcher of AGE-WELL, Canada's Technology and Agine research network, the founder of Springer Nature's Synthesis Lectures on Technology and Health, and the founder of computers-society.org. He also started five software companies between 1976 and 2015. He is currently an ACM Distinguished Speaker.

Elaine Jessica Weyuker is an ACM Fellow, an IEEE Fellow, and an AT&T Fellow at Bell Labs for research in software metrics and testing as well as elected to the National Academy of Engineering. She is the author of over 130 papers in journals and refereed conference proceedings.

Ming C. Lin is an American computer scientist and a Barry Mersky and Capital One Endowed Professor at the University of Maryland, College Park, where she is also the former chair of the Department of Computer Science. Prior to moving to Maryland in 2018, Lin was the John R. & Louise S. Parker Distinguished Professor of Computer Science at the University of North Carolina at Chapel Hill.

Carlo Ghezzi is an emeritus professor and former chair of software engineering at the Politecnico di Milano, Italy, and an adjunct professor at the Università della Svizzera italiana (USI), Switzerland. At the Politecnico, he has been the Rector's Delegate for research, department chair, head of the PhD program, and member of the academic senate and of the board of governors of Politecnico.

<span class="mw-page-title-main">Peter O'Hearn</span> Research scientist (born 1963)

Peter William O'Hearn, is a researcher at Meta AI (FAIR), and a Professor of Computer science at University College London (UCL). He has made significant contributions to formal methods for program correctness. In recent years these advances have been employed in developing industrial software tools that conduct automated analysis of large industrial codebases.

<span class="mw-page-title-main">Toniann Pitassi</span> Canadian-American computer scientist

Toniann Pitassi is a Canadian-American mathematician and computer scientist specializing in computational complexity theory. She is currently Jeffrey L. and Brenda Bleustein Professor of Engineering at Columbia University and was Bell Research Chair at the University of Toronto.

<span class="mw-page-title-main">Tandy Warnow</span> American computer scientist

Tandy Warnow is an American computer scientist and Grainger Distinguished Chair in Engineering at the University of Illinois at Urbana–Champaign. She is known for her work on the reconstruction of evolutionary trees, both in biology and in historical linguistics, and also for multiple sequence alignment methods.

Lori A. Clarke is an American computer scientist noted for her research on software engineering.

<span class="mw-page-title-main">Mary Jean Harrold</span> American computer scientist

Mary Jean Harrold was an American computer scientist noted for her research on software engineering. She was also noted for her leadership in broadening participation in computing. She was on the boards of both CRA and CRA-W and was Co-Chair of CRA-W from 2003 to 2006.

<span class="mw-page-title-main">Kathleen Fisher</span> American computer scientist

Kathleen Shanahan Fisher is an American computer scientist who specializes in programming languages and their implementation.

Cherri M. Pancake is an ethnographer and computer scientist who works as a professor of electrical engineering and computer science and Intel Faculty Fellow at Oregon State University, and as the director of the Northwest Alliance for Computational Science & Engineering. She is known for her pioneering work on usability engineering for high performance computing. In 2018 she was elected for a two-year term as president of the Association for Computing Machinery.

Yuanyuan (YY) Zhou is a Chinese and American computer scientist and entrepreneur. She is a professor of computer science and engineering at the University of California, San Diego, where she holds the Qualcomm Endowed Chair in Mobile Computing. Her research concerns software reliability, including the use of data mining to automatically detect software bugs and flexible system designs that can adapt to hardware platform variations. She is also the founder of three start-up companies, Emphora, Pattern Insight, and Whova.

<span class="mw-page-title-main">Diana Marculescu</span> Romanian scientist

Diana Marculescu is the Department Chair and Motorola Regents Chair in Electrical and Computer Engineering #2 at the University of Texas at Austin. She was formerly the David Edward Schramm Professor of Electrical and Computer Engineering at Carnegie Mellon University. She is the first female chair in the department's history.

Natalie Dana Enright Jerger is an American computer scientist known for research in computer science including computer architecture and interconnection networks.

Laurie Williams is an American software engineer known for her writings on pair programming and agile software development. She is Goodnight Distinguished University Professor in Security Sciences in the Department of Computer Science at North Carolina State University, and a co-director of the North Carolina Secure Computing Institute.

Mira Mezini is a German computer scientist and Professor of Computer Science at the Department of Computer Science of the Technische Universität Darmstadt. She heads the software engineering group.

<span class="mw-page-title-main">David Notkin</span> American professor and software engineer

David Notkin was an American software engineer and professor of computer science.

Diane Joyce Cook is an American computer scientist whose research interests include artificial intelligence, data mining, machine learning, home automation, and smart environments. She is Regents Professor and Huie-Rogers Chair Professor of Electrical Engineering and Computer Science at Washington State University.

Xiaobo Sharon Hu is a Chinese-American computer scientist and engineer known for her work on hardware-software integration, power usage, and reliability of embedded systems design, including work on power- and temperature-aware scheduling algorithms. She has also published highly cited work on deep neural networks, the CORDIC algorithm for trigonometric calculations, and clocking of unconventional computer architectures. She is a professor in the Department of Computer Science and Engineering at the University of Notre Dame.

References

  1. 1 2 "Marsha Chechik", All experts, University of Toronto, retrieved 2025-01-22
  2. Department of Computer Science to welcome students from Ukrainian universities amid ongoing war, Toronto Department of Computer Science, 13 May 2022, retrieved 2025-01-22
  3. Marsha Chechik at the Mathematics Genealogy Project
  4. 2024 ACM Fellows Honored for Contributions to Computing That Are Transforming Science and Society, Association for Computing Machinery, 22 January 2025, retrieved 2025-01-22