Yanhong Annie Liu | |
---|---|
Born | [1] | May 20, 1965
Alma mater | Cornell University Tsinghua University Peking University |
Scientific career | |
Fields | Languages and algorithms Design and optimization [2] |
Institutions | Cornell University Stony Brook University |
Thesis | Incremental Computation: A Semantics-Based Systematic Transformational Approach (1995) |
Doctoral advisor | Tim Teitelbaum [3] |
Website | www3 |
Yanhong Annie Liu (born May 20, 1965) [1] is a computer scientist and professor of computer science at Stony Brook University where she works on new programming languages, software systems, algorithms, program design, optimizing, analysis, and transformations, intelligent systems, distributed computing systems, and computer security. [4]
Liu studied computer science at Peking University earning a Bachelor of Science (B.Sc.). She moved to Tsinghua University for her graduate studies, earning a Master of Engineering (M.Eng.) in computer science in 1988. Liu was a graduate student at Cornell University, where she earned a Doctor of Philosophy (Ph.D.) in 1996. [3] [4]
As a postdoctoral researcher, Liu worked on language processing at Cornell University. Liu joined Indiana University in 1996 as an assistant professor. She moved to Stony Brook University in 2000, where she was made professor in 2008. Liu was awarded the State University of New York Chancellor's Award for Excellence in 2010. [4]
Liu leads the Design and Analysis Research Laboratory at Stony Brook University. [4] She works on programming languages, algorithms, and distributed systems. [2] [5]
She is a member of the International Federation for Information Processing (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi, [6] which specified, supports, and maintains the languages ALGOL 60 and ALGOL 68. [7]
Her publications [2] [8] include:
Niklaus Emil Wirth is a Swiss computer scientist. He has designed several programming languages, including Pascal, and pioneered several classic topics in software engineering. In 1984, he won the Turing Award, generally recognized as the highest distinction in computer science, for developing a sequence of innovative computer languages.
Nobuo Yoneda was a Japanese mathematician and computer scientist.
Friedrich Ludwig "Fritz" Bauer was a German pioneer of computer science and professor at the Technical University of Munich. He coined the term Software engineering
Eric "Rick" C. R. Hehner is a Canadian computer scientist. He was born in Ottawa. He studied mathematics and physics at Carleton University, graduating with a Bachelor of Science (B.Sc.) in 1969. He studied computer science at the University of Toronto, graduating with a Master of Science (M.Sc.) in 1970, and a Doctor of Philosophy (Ph.D.) in 1974. He then joined the faculty there, becoming a full professor in 1983. He became the Bell University Chair in software engineering in 2001, and retired in 2012.
John Edward Lancelot Peck was the first permanent Head of Department of Computer Science at the University of British Columbia (UBC). He remained the Head of Department from 1969 to 1977.
Barry James Mailloux obtained his Master of Science (M.Sc.) in numerical analysis in 1963. From 1966, he studied at Amsterdam's Mathematisch Centrum under Adriaan van Wijngaarden, earning a Doctor of Philosophy (Ph.D.) in 1968.
Cornelis Hermanus Antonius "Kees" Koster was a Dutch computer scientist who was a professor in the Department of Informatics at the Radboud University Nijmegen in the Netherlands.
Richard Simpson Bird was an English computer scientist.
Lambert Guillaume Louis Théodore Meertens or L.G.L.T. Meertens is a Dutch computer scientist and professor. As of 2020, he is a researcher at the Kestrel Institute, a nonprofit computer science research center in Palo Alto's Stanford Research Park.
Thomas Stephen Edward Maibaum Fellow of the Royal Society of Arts (FRSA) is a computer scientist.
Micha Sharir is an Israeli mathematician and computer scientist. He is a professor at Tel Aviv University, notable for his contributions to computational geometry and combinatorial geometry, having authored hundreds of papers.
Charles Hodgson Lindsey was a British computer scientist, most known for his involvement with the programming language ALGOL 68.
Maurice Paul Nivat was a French computer scientist. His research in computer science spanned the areas of formal languages, programming language semantics, and discrete geometry. A 2006 citation for an honorary doctorate (Ph.D.) called Nivat one of the fathers of theoretical computer science. He was a professor at the University Paris Diderot until 2001.
Charles Carroll Morgan is an American computer scientist who moved to Australia in his early teens. He completed his education there, including a Doctor of Philosophy (Ph.D.) degree from the University of Sydney, and then moved to the United Kingdom in the early 1980s. In 2000, he returned to Australia.
Jeremy Gibbons is a computer scientist and professor of computing at the University of Oxford. He serves as Deputy Director of the Software Engineering Programme in the Department of Computer Science, Governing Body Fellow at Kellogg College and Pro-Proctor of the University of Oxford.
Eiiti Wada is a computer scientist and emeritus professor at the University of Tokyo and the Research Director of Internet Initiative Japan (IIJ), a computer network technology company. He is one of the creators of the Happy Hacking Keyboard.
IFIP Working Group 2.1 on Algorithmic Languages and Calculi is a working group of the International Federation for Information Processing (IFIP).
Charles Abraham Katz was an American mathematician and computer scientist known for his contributions to early compiler development in the 1950s.
Michel Sintzoff was a Belgian mathematician and computer scientist.
Joseph Henry Wegstein was an American computer scientist.