Yanhong Annie Liu

Last updated
Yanhong Annie Liu
Born (1965-05-20) May 20, 1965 (age 58) [1]
Beijing, China [1]
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.cs.stonybrook.edu/~liu

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]

Contents

Early life and education

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]

Research and career

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]

Publications

Her publications [2] [8] include:

Related Research Articles

<span class="mw-page-title-main">Niklaus Wirth</span> Swiss computer scientist (born 1934)

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.

<span class="mw-page-title-main">Nobuo Yoneda</span> Japanese mathematician and computer scientist

Nobuo Yoneda was a Japanese mathematician and computer scientist.

<span class="mw-page-title-main">Friedrich L. Bauer</span> German 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.

<span class="mw-page-title-main">Cornelis H. A. Koster</span> Dutch computer scientist (1943–2013)

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.

<span class="mw-page-title-main">Richard Bird (computer scientist)</span> English computer scientist (1943–2022)

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.

<span class="mw-page-title-main">Micha Sharir</span> Israeli mathematician and 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.

<span class="mw-page-title-main">Maurice Nivat</span> French computer scientist

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.

<span class="mw-page-title-main">Jeremy Gibbons</span> British computer scientist

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.

<span class="mw-page-title-main">Michel Sintzoff</span>

Michel Sintzoff was a Belgian mathematician and computer scientist.

Joseph Henry Wegstein was an American computer scientist.

References

  1. 1 2 3 See the Biographical Sketch section (near the intro) in Y. Annie Liu's thesis: "Incremental Computation: A Semantics-Based Systematic Transformational Approach" (PDF). Cornell. Retrieved 2019-08-09.
  2. 1 2 3 Yanhong Annie Liu publications indexed by Google Scholar OOjs UI icon edit-ltr-progressive.svg
  3. 1 2 Yanhong Annie Liu at the Mathematics Genealogy Project OOjs UI icon edit-ltr-progressive.svg
  4. 1 2 3 4 "Y. Annie Liu". Computer Science Department. Stony Brook University . Retrieved 2019-08-05.
  5. "Annie Liu Women's History Month". YouTube . Retrieved 2019-08-05.
  6. Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (2016-08-17). "Profile of IFIP Working Group 2.1". Foswiki. Retrieved 2021-06-04.
  7. Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2011-03-02). "ScopeEtc: IFIP21: Foswiki". Foswiki. Retrieved 2021-06-04.
  8. Yanhong Annie Liu at DBLP Bibliography Server OOjs UI icon edit-ltr-progressive.svg