|
Alexandra Silva
Alexandra Silva (born 1984) is a Portuguese computer scientist and Professor at Cornell University. She was previously Professor of Algebra, Semantics, and Computation at University College London. Awards and honours Silva won a Philip Leverhulme Prize The Philip Leverhulme Prize is awarded by the Leverhulme Trust to recognise the achievement of outstanding researchers whose work has already attracted international recognition and whose future career is exceptionally promising. The prize sche ... in engineering in 2016. She won the Presburger Award, awarded each year to "a young scientist for outstanding contributions in theoretical computer science, documented by a published paper or a series of published papers", in 2017, and the Roger Needham Award in 2018. References 1984 births Living people Portuguese computer scientists Portuguese women computer scientists Women logicians University of Minho alumni Radboud University Nijmegen alumni {{Portugal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chaves, Portugal
Chaves (), officially the City of Chaves (), is a city and a concelho, municipality in the north of Portugal. It is 10 km south of the Portugal-Spain border, Spanish border and 22 km south of Verín (Spain). The population of the entire municipality in 2011 was 41,243, in an area of 591.23 km2. The municipality is the second most populous of the district of Vila Real (district), Vila Real (the district capital, Vila Real Municipality, Vila Real, is 60 km south on the A24 motorway). With origins in the Ancient Rome, Roman civitas Aquae Flaviae, Aquæ Flaviæ, Chaves has developed into a regional center. The urban area or city proper has 17,535 residents (2001). History Artefacts discovered in the region of Chaves identify the earliest settlement of humans dating back to the Paleolithic. Remnants discovered in Mairos, Pastoria and São Lourenço, those associated with transient proto-historic settlements and Castro culture, castros, show a human presence in t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Roger Needham Award
The Roger Needham award is a prize given scientists who are recognised for important contributions made to computer science research The British Computer Society established an annual Roger Needham Award in honour of Roger Needham in 2004. It is a £5000 prize is presented to an individual for making "a distinguished research contribution in computer science by a UK-based researcher within ten years of their PhD." The award is funded by Microsoft Research. The winner of the prize has an opportunity to give a public lecture. Laureates Since 2004, laureates have included: * 2004 Jane Hillston on ''Tuning Systems: From Composition to Performance'' * 2005 Ian Horrocks on ''Ontologies and the Semantic Web'' * 2006 Andrew Fitzgibbon on ''Computer Vision & the Geometry of Nature'' * 2007 Mark Handley on ''Evolving the Internet: Challenges, Opportunities and Consequences'' * 2008 Wenfei Fan on ''A Revival of Data Dependencies for Improving Data Quality'' * 2009 Byron Cook on ''Proving th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Women Logicians
A woman is an adult female human. Before adulthood, a female child or adolescent is referred to as a girl. Typically, women are of the female sex and inherit a pair of X chromosomes, one from each parent, and women with functional uteruses are capable of pregnancy and giving birth from puberty until menopause. More generally, sex differentiation of the female fetus is governed by the lack of a present, or functioning, '' SRY'' gene on either one of the respective sex chromosomes. Female anatomy is distinguished from male anatomy by the female reproductive system, which includes the ovaries, fallopian tubes, uterus, vagina, and vulva. An adult woman generally has a wider pelvis, broader hips, and larger breasts than an adult man. These characteristics facilitate childbirth and breastfeeding. Women typically have less facial and other body hair, have a higher body fat composition, and are on average shorter and less muscular than men. Throughout human history, traditional g ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Portuguese Women Computer Scientists
Portuguese may refer to: * anything of, from, or related to the country and nation of Portugal ** Portuguese cuisine, traditional foods ** Portuguese language, a Romance language *** Portuguese dialects, variants of the Portuguese language ** Portuguese man o' war, a dangerous marine animal ** Portuguese people, an ethnic group See also * * ''Sonnets from the Portuguese'' * "A Portuguesa", the national anthem of Portugal * Lusofonia * Lusitania Lusitania (; ) was an ancient Iberian Roman province encompassing most of modern-day Portugal (south of the Douro River) and a large portion of western Spain (the present Extremadura and Province of Salamanca). Romans named the region after th ... * {{disambiguation Language and nationality disambiguation pages ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Living People
Purpose: Because living persons may suffer personal harm from inappropriate information, we should watch their articles carefully. By adding an article to this category, it marks them with a notice about sources whenever someone tries to edit them, to remind them of WP:BLP (biographies of living persons) policy that these articles must maintain a neutral point of view, maintain factual accuracy, and be properly sourced. Recent changes to these articles are listed on Special:RecentChangesLinked/Living people. Organization: This category should not be sub-categorized. Entries are generally sorted by family name In many societies, a surname, family name, or last name is the mostly hereditary portion of one's personal name that indicates one's family. It is typically combined with a given name to form the full name of a person, although several give .... Maintenance: Individuals of advanced age (over 90), for whom there has been no new documentation in the last ten ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1984 Births
Events January * January 1 – The Bornean Sultanate of Brunei gains full independence from the United Kingdom, having become a British protectorate in 1888. * January 7 – Brunei becomes the sixth member of the Association of Southeast Asian Nations (ASEAN). * January 9 – Van Halen releases their sixth studio album ''1984 (Van Halen album), 1984'' (''MCMLXXXIV''), which debuts at number 2 on the Billboard 200 albums chart, and will go to sell over 10 million copies in the United States. * January 10 ** The United States and the Vatican City, Vatican (Holy See) restore full diplomatic relations. ** The Victoria, Seychelles, Victoria Agreement is signed, institutionalising the Indian Ocean Commission. *January 24 – Steve Jobs launches the Macintosh 128K, Macintosh personal computer in the United States. *January 27 – American singer Michael Jackson's hair caught on fire during the making of the Pepsi commercial. February * February 3 ** John Buster and the research ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University College London
University College London (Trade name, branded as UCL) is a Public university, public research university in London, England. It is a Member institutions of the University of London, member institution of the Federal university, federal University of London, and is the second-largest list of universities in the United Kingdom by enrolment, university in the United Kingdom by total enrolment and the largest by postgraduate enrolment. Established in 1826 as London University (though without university degree-awarding powers) by founders who were inspired by the radical ideas of Jeremy Bentham, UCL was the first university institution to be established in London, and the first in England to be entirely secular and to admit students regardless of their religion. It was also, in 1878, among the first university colleges to admit women alongside men, two years after University College, Bristol, had done so. Intended by its founders to be Third-oldest university in England debate ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Scientist
A computer scientist is a scientist who specializes in the academic study of computer science. Computer scientists typically work on the theoretical side of computation. Although computer scientists can also focus their work and research on specific areas (such as algorithm and data structure development and design, software engineering, information theory, database theory, theoretical computer science, numerical analysis, programming language theory, compiler, computer graphics, computer vision, robotics, computer architecture, operating system), their foundation is the theoretical study of computing from which these other fields derive. A primary goal of computer scientists is to develop or validate models, often mathematical, to describe the properties of computational systems (Processor (computing), processors, programs, computers interacting with people, computers interacting with other computers, etc.) with an overall objective of discovering designs that yield useful ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Royal Society Wolfson Fellowship
The Royal Society Wolfson Fellowship, known as the Royal Society Wolfson Research Merit Award until 2020, is a 5 years fellowship awarded by the Royal Society since 2000. The scheme is described by the Royal Society as providing ''long-term flexible funding for senior career researchers recruited or retained to a UK university or research institution in fields identified as a strategic priority for the host department or organisation.'' It is administered by the Royal Society and jointly funded by the Wolfson Foundation and the UK Office of Science and Technology, to provide universities "with additional financial support to attract key researchers to this country or to retain those who might seek to gain higher salaries elsewhere." to tackle the brain drain. They are given in four annual rounds, with up to seven awards per round. Since 2021, the Royal Society Wolfson Fellowships program has expanded to include a Visiting Fellowship strand. Recipients Winners of this award (see ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Presburger Award
The Presburger Award, started in 2010, is awarded each year by the European Association for Theoretical Computer Science (EATCS) to "a young scientist for outstanding contributions in theoretical computer science, documented by a published paper or a series of published papers." The award is named after Mojżesz Presburger, who accomplished his path-breaking work on decidability of the theory of addition (which today is called Presburger arithmetic) as a student in 1929. Past recipients of the award are: * Mikołaj Bojańczyk (2010) * Patricia Bouyer-Decitre (2011) * Venkatesan Guruswami and Mihai Pătraşcu (2012) * Erik Demaine (2013) * David Woodruff (2014) * Xi Chen (2015) * Mark Braverman (2016) * Alexandra Silva (2017) * (2018) * Karl Bringmann and Kasper Green Larsen (2019) * Dmitriy Zhuk (2020) * Shayan Oveis Gharan (2021) * Dor Minzer (2022) * Aaron Bernstein and Thatchaphol Saranurak (2023) * Justin Hsu and Pravesh Kothari (2024) See also * List of compu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Science
Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied science, applied disciplines (including the design and implementation of Computer architecture, hardware and Software engineering, software). Algorithms and data structures are central to computer science. The theory of computation concerns abstract models of computation and general classes of computational problem, problems that can be solved using them. The fields of cryptography and computer security involve studying the means for secure communication and preventing security vulnerabilities. Computer graphics (computer science), Computer graphics and computational geometry address the generation of images. Programming language theory considers different ways to describe computational processes, and database theory concerns the management of re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
