Annabelle McIver

Last updated

Annabelle K. McIver is a computer scientist whose research involves the use of formal methods and information flow in computer security and the verification of probabilistic systems. [1] Educated in mathematics in the UK, she works in Australia as professor in the School of Computing at Macquarie University, [2] and as one of the founding leaders of Macquarie's Future Communications Research Centre. [3]

Contents

Education

McIver read mathematics at the University of Cambridge, where she was awarded a double first in 1985. She completed a doctorate (D.Phil.) at the University of Oxford in 1990. [2] Her dissertation, Non-Hopf modules for infinite soluble groups, concerned abstract algebra, and was jointly supervised by Peter M. Neumann and Martin B. Powell. [4]

Books

McIver is a co-author of The Science of Quantitative Information Flow (Springer, 2020, with M. S. Alvim, C. Palamidessi, K. Chatzikokolakis, C. Morgan, and G. Smith), and of Abstraction, Refinement and Proof for Probabilistic Systems (Springer, 2005, with C. Morgan).

Related Research Articles

Information retrieval (IR) in computing and information science is the process of obtaining information system resources that are relevant to an information need from a collection of those resources. Searches can be based on full-text or other content-based indexing. Information retrieval is the science of searching for information in a document, searching for documents themselves, and also searching for the metadata that describes data, and for databases of texts, images or sounds.

<span class="mw-page-title-main">Michael O. Rabin</span> Israeli mathematician and computer scientist

Michael Oser Rabin is an Israeli mathematician, computer scientist, and recipient of the Turing Award.

<span class="mw-page-title-main">Shafi Goldwasser</span> Israeli American computer scientist

Shafrira Goldwasser is an Israeli-American computer scientist and winner of the Turing Award in 2012. She is the RSA Professor of Electrical Engineering and Computer Science at Massachusetts Institute of Technology; a professor of mathematical sciences at the Weizmann Institute of Science, Israel; the director of the Simons Institute for the Theory of Computing at the University of California, Berkeley; and co-founder and chief scientist of Duality Technologies.

The International Federation for Information Processing (IFIP) is a global organisation for researchers and professionals working in the field of computing to conduct research, develop standards and promote information sharing.

<span class="mw-page-title-main">Dorothy E. Denning</span> American information security researcher

Dorothy Elizabeth Denning is a US-American information security researcher known for lattice-based access control (LBAC), intrusion detection systems (IDS), and other cyber security innovations. She published four books and over 200 articles. Inducted into the National Cyber Security Hall of Fame in 2012, she is now Emeritus Distinguished Professor of Defense Analysis, Naval Postgraduate School.

<span class="mw-page-title-main">Deborah McGuinness</span>

Deborah Louise McGuinness is an American computer scientist and researcher at Rensselaer Polytechnic Institute (RPI). She is a professor of Computer, Cognitive and Web Sciences, Industrial and Systems Engineering, and an endowed chair in the Tetherless World Constellation, a multidisciplinary research institution within RPI that focuses on the study of theories, methods and applications of the World Wide Web. Her fields of expertise include interdisciplinary data integration, artificial intelligence, specifically in knowledge representation and reasoning, description logics, the semantic web, explanation, and trust.

<span class="mw-page-title-main">Sebastian Thrun</span> German-American entrepreneur

Sebastian Thrun is a German-American entrepreneur, educator, and computer scientist. He is CEO of Kitty Hawk Corporation, and chairman and co-founder of Udacity. Before that, he was a Google VP and Fellow, a Professor of Computer Science at Stanford University, and before that at Carnegie Mellon University. At Google, he founded Google X and Google's self-driving car team. He is also an adjunct professor at Stanford University and at Georgia Tech.

<span class="mw-page-title-main">Noga Alon</span> Israeli mathematician

Noga Alon is an Israeli mathematician and a professor of mathematics at Princeton University noted for his contributions to combinatorics and theoretical computer science, having authored hundreds of papers.

<span class="mw-page-title-main">Command and control</span> Military exercise of authority by a commanding officer over assigned forces

Command and control is a "set of organizational and technical attributes and processes ... [that] employs human, physical, and information resources to solve problems and accomplish missions" to achieve the goals of an organization or enterprise, according to a 2015 definition by military scientists Marius Vassiliou, David S. Alberts, and Jonathan R. Agre. The term often refers to a military system.

<span class="mw-page-title-main">Erol Gelenbe</span>

Sami Erol Gelenbe, a Turkish and French computer scientist, electronic engineer and applied mathematician, pioneered the field of Computer System and Network Performance in Europe. Active in European Union research projects, he is Professor in the Institute of Theoretical and Applied Informatics of the Polish Academy of Sciences (2017-), Associate Researcher in the I3S Laboratory and Abraham de Moivre Laboratory. Previous Chaired professorships include the University of Liège (1974-1979), University Paris-Saclay (1979-1986), University Paris Descartes (1986-2005), ECE Chair at Duke University (1993-1998), University Chair Professor and Director of EECS, University of Central Florida (1998-2003), and Dennis Gabor Professor and Head of Intelligent Systems and Networks, Imperial College (2003-2019).

<span class="mw-page-title-main">Jeannette Wing</span> American computer scientist

Jeannette Marie Wing is Avanessians Director of the Data Science Institute at Columbia University, where she is also a professor of computer science. Until June 30, 2017, she was Corporate Vice President of Microsoft Research with oversight of its core research laboratories around the world and Microsoft Research Connections. Prior to 2013, she was the President's Professor of Computer Science at Carnegie Mellon University, Pittsburgh, Pennsylvania, United States. She also served as assistant director for Computer and Information Science and Engineering at the NSF from 2007 to 2010. She was appointed the Columbia University executive vice president for research in 2021.

Krishna V. Palem is a computer scientist and engineer of Indian origin and is the Kenneth and Audrey Kennedy Professor of Computing at Rice University and the director of Institute for Sustainable Nanoelectronics (ISNE) at Nanyang Technological University (NTU). He is recognized for his "pioneering contributions to the algorithmic, compilation, and architectural foundations of embedded computing", as stated in the citation of his 2009 Wallace McDowell Award, the "highest technical award made solely by the IEEE Computer Society".

<span class="mw-page-title-main">K. R. Parthasarathy (probabilist)</span> Indian statistician (1936–2023)

Kalyanapuram Rangachari Parthasarathy was an Indian statistician who was professor emeritus at the Indian Statistical Institute and a pioneer of quantum stochastic calculus. Parthasarathy was the recipient the Shanti Swarup Bhatnagar Prize for Science and Technology in Mathematical Science in 1977 and the TWAS Prize in 1996.

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.

Dr Ahmed K. Elmagarmid is a computer scientist, academic and executive. He is the founding executive director of Qatar Computing Research Institute, a national research institute under Hamad bin Khalifa University, a member of the Qatar Foundation for Education, Science and Community Development. Since his appointment in 2010, Elmagarmid has focused on large-scale computing challenges that address national priorities for growth and development of Qatar. The computer research community, especially the database research recognizes the important role he has played at international level by creating data-centric research institution like QCRI and building it into an internationally reputed research institute.

<span class="mw-page-title-main">Bill Buchanan (computer scientist)</span> Scottish computer scientist

William Johnston BuchananOBE FBCS CEng PFHEA is a Scottish computer scientist. Buchanan was born in Falkirk, Scotland in 1961. Buchanan is a professor in the School of Computing, Engineering and the Built Environment. He currently leads the Blockpass ID Lab and the Centre for Cybersecurity, IoT and Cyberphysical at Edinburgh Napier University.

<span class="mw-page-title-main">Prakash Panangaden</span>

Prakash Panangaden is an American/Canadian computer scientist noted for his research in programming language theory, concurrency theory, Markov processes and duality theory. Earlier he worked on quantum field theory in curved space-time and radiation from black holes. He is the founding Chair of the ACM Special Interest Group on Logic and Computation.

<span class="mw-page-title-main">Bruce Hajek</span> American electrical engineer

Bruce Edward Hajek is a Professor in the Coordinated Science Laboratory, the head of the Department of Electrical and Computer Engineering, and the Leonard C. and Mary Lou Hoeft Chair in Engineering at the University of Illinois at Urbana-Champaign. He does research in communication networking, auction theory, stochastic analysis, combinatorial optimization, machine learning, information theory, and bioinformatics.

Kristian Kersting is a German computer scientist. He is Professor of Artificial intelligence and Machine Learning at the Department of Computer Science at the Technische Universität Darmstadt, Head of the Artificial Intelligence and Machine Learning Lab (AIML) and Co-Director of hessian.AI, the Hessian Center of Artificial Intelligence.

<span class="mw-page-title-main">Sergiy Vilkomir</span> Ukrainian-born computer scientist (1956–2020)

Sergiy A. Vilkomir was a Ukrainian-born computer scientist.

References

  1. NSA Announces Winner of Annual Cybersecurity Research Paper Competition, US National Security Agency, 21 August 2015, retrieved 2023-07-24
  2. 1 2 "Annabelle McIver", Researcher profiles, Macquarie University, retrieved 2023-07-24
  3. "Discover our new research centres: Future Communications", This Week, Macquarie University, 2 June 2023, retrieved 2023-07-24
  4. Annabelle McIver at the Mathematics Genealogy Project