Elaine J. Weyuker | |
---|---|
Alma mater | Rutgers University |
Known for | Software Engineer |
Awards | Harlan D. Mills Award ACM SIGSOFT Outstanding Research Award ACM 2010 Presidential Award |
Elaine Jessica Weyuker is an ACM Fellow, [1] an IEEE Fellow (since 2003), [2] [3] 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. [3] She is the author of over 130 papers in journals and refereed conference proceedings.
Weyuker received a Ph.D. in Computer Science from Rutgers University, and an M.S.E. from the University of Pennsylvania.
Prior to moving to AT&T Labs, she was on the faculty of the Courant Institute of Mathematical Sciences of New York University, was a faculty member at the City University of New York, a Systems' Engineer at IBM, and a programmer at Texaco. [4]
She was the chair of the ACM-W Council, a member of the executive committee of the Coalition to Diversify Computing, a member of the Rutgers University Graduate School Advisory Board, and was a member of the board of directors of the Computing Research Association. She is or was a member of the editorial boards of IEEE Transactions on Software Engineering , IEEE Transactions on Dependable and Secure Computing, IEEE Spectrum , the Empirical Software Engineering Journal, and the Journal of Systems and Software , and was a founding editor of the ACM Transactions of Software Engineering and Methodology. She was the Secretary/Treasurer of ACM SIGSOFT and was an ACM National Lecturer.
In 2002, Weyuker was elected a member of the National Academy of Engineering for "contributions to software testing, reliability, and measurement, and for the development of mathematical foundations for software testing". [5]
In 2004, she was given the Harlan D. Mills Award from the IEEE Computer Society, [3] "for leading research on rigorous software testing including industrial evaluations of the comparative effectiveness and costs of such testing methods." [6]
In 2007, Weyuker received the ACM SIGSOFT Outstanding Research Award for "deep and lasting contributions and impact to software engineering as a discipline", [7] and in 2008 she won the Anita Borg Institute, Technical Leadership Award for "outstanding research and technical leadership." [8]
She was awarded the ACM 2010 Presidential Award for "her tireless efforts in the development and growth of the ACM Women's Council". [9]
The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional membership group, reporting nearly 110,000 student and professional members as of 2022. Its headquarters are in New York City.
Gerard J. Holzmann is a Dutch-American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker.
Harlan D. Mills was Professor of Computer Science at the Florida Institute of Technology and founder of Software Engineering Technology, Inc. of Vero Beach, Florida. Mills' contributions to software engineering have had a profound and enduring effect on education and industrial practice. Since earning his Ph.D. in Mathematics at Iowa State University in 1952, Mills led a distinguished career.
David Harel is a computer scientist, currently serving as President of the Israel Academy of Sciences and Humanities. He has been on the faculty of the Weizmann Institute of Science in Israel since 1980, and holds the William Sussman Professorial Chair of Mathematics. Born in London, England, he was Dean of the Faculty of Mathematics and Computer Science at the institute for seven years.
Prof. Mark Harman is a British computer scientist. Since 2010, he has been a professor at University College London (UCL) and since 2017 he has been at Facebook London. He was founder of the Centre for Research on Evolution Search and Testing (CREST) initially at King's College London in 2006, latterly at UCL, and was the Director until 2017. Harman has received both of the major research awards for software engineering : the IEEE Harlan D. Mills Award, for "fundamental contributions throughout software engineering, including seminal contributions in establishing search-based software engineering, reigniting research in slicing and testing, and founding genetic improvement"; and the ACM SIGSOFT Outstanding Research Award
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.
Lydia E. Kavraki is a Greek-American computer scientist, the Noah Harding Professor of Computer Science, a professor of bioengineering, electrical and computer engineering, and mechanical engineering at Rice University. She is also the director of the Ken Kennedy Institute at Rice University. She is known for her work on robotics/AI and bioinformatics/computational biology and in particular for the probabilistic roadmap method for robot motion planning and biomolecular configuration analysis.
Mary Jane Irwin is an Emerita Evan Pugh Professor in the Department of Computer Science and Engineering at Pennsylvania State University. She has been on the faculty at Penn State since 1977. She is an international expert in computer architecture. Her research and teaching interests include computer architecture, embedded and mobile computing systems design, power and reliability aware design, and emerging technologies in computing systems.
Mary Lou Ehnot Soffa is an American computer scientist noted for her research on compilers, program optimization, system software and system engineering.
Lori A. Clarke is an American computer scientist noted for her research on software engineering.
Leon Joel Osterweil is an American computer scientist noted for his research on software engineering.
Alexander L. Wolf is an American computer scientist known for his research in software engineering, distributed systems, and computer networking. He is credited, along with his collaborators, with introducing the modern study of software architecture, content-based publish/subscribe messaging, content-based networking, automated process discovery, and the software deployment lifecycle. Wolf's 1985 Ph.D. dissertation developed language features for expressing a module's import/export specifications and the notion of multiple interfaces for a type, both of which are now common in modern computer programming languages.
T.H. Tse is a Hong Kong academic who is a professor and researcher in program testing and debugging. He is ranked internationally as the second most prolific author in metamorphic testing. According to Bruel et al., "Research on integrated formal and informal techniques can trace its roots to the work of T.H. Tse in the mid-eighties." The application areas of his research include object-oriented software, services computing, pervasive computing, concurrent systems, imaging software, and numerical programs. In addition, he creates graphic designs for non-government organizations.
Axel van Lamsweerde is a Belgian computer scientist and Professor of Computing Science at the Universite catholique de Louvain, known for his work on requirements engineering and the development of the KAOS goal-oriented modeling language.
Pamela Zave is an American computer scientist now working at Princeton University. She is known for her work on requirements engineering, telecommunication services, and protocol modeling and verification, and is now working on network architecture. She was named a Fellow of the Association for Computing Machinery in 2001, and was the 2017 recipient of the Harlan D. Mills Award from the IEEE Computer Society.
Gail C. Murphy is a Canadian computer scientist who specializes in software engineering and knowledge worker productivity. Murphy is a full professor in the Department of Computer Science at the University of British Columbia, Vancouver. In 2016, she was named Associate Vice President Research pro tem and assumed the role of Vice-President, Research & Innovation on August 14, 2017. Murphy is co-founder and was Chief Scientist at Tasktop Technologies Incorporated.
Valerie Barr is an American computer scientist, and is the Margaret Hamilton Distinguished Professor of Computer Science at Bard College. She formerly held the Jean Sammet endowed chair in the department of Computer Science at Mount Holyoke College in South Hadley, Massachusetts. She is known for her work with women in computing.
Lionel Claude Briand, born in Paris, France, on November 21, 1965, is a software engineer, and professor at the University of Ottawa and University of Luxembourg. He is an IEEE Fellow, a Canada Research Chair in Intelligent Software Dependability and Compliance and a European Research Council Advanced grantee. His research foci are testing, verification, and validation of software systems; applying machine learning and evolutionary computation to software engineering; and software quality assurance, among others. He was vice-director of the University of Luxembourg's SnT - Interdisciplinary Centre for Security, Reliability and Trust from 2014 to 2019, and editor in chief of Empirical Software Engineering (Springer) from 2003 to 2016. In 2012, he was the recipient of the Harlan D. Mills Award. In 2022, he was the recipient of the ACM SIGSOFT Outstanding Research Award
David Notkin was an American software engineer and professor of computer science.
Tsong Yueh Chen is an Australian academic at the Swinburne University of Technology who is a professor and researcher in program testing and debugging. He is ranked internationally as the most prolific author in metamorphic testing.