|
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 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 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 � ... in 2018. References 1984 births Living people Portuguese computer scientists Portuguese women computer scientists Women logicians University of Minho alumni {{Portugal-scientist-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chaves, Portugal
Chaves () is a city and a municipality in the north of Portugal. It is 10 km south of the Spanish border and 22 km south of Verín (Spain). The population 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 (the district capital, Vila Real, is 60 km south on the A24 motorway). With origins in the Roman civitas Aquæ Flaviæ, Chaves has developed into a regional center. The urban area 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 castros, show a human presence in the Alto Tâmega dating to the Chalcolithic. The region has seen persistent human settlement since Roman legions conquered and occupied the fertile valley of the Tâmega River, constructing a nasce ... [...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 t ... [...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 cnidarian that resembles an 18th-century armed sailing ship ** Portuguese people, an ethnic group See also * * ''Sonnets from the Portuguese'' * "A Portuguesa "" ("The Portuguese ong, ) is the national anthem of Portugal. The song was composed by Alfredo Keil and written by Henrique Lopes de Mendonça during the resurgent nationalist movement ignited by the 1890 British Ultimatum to Portugal concer ...", the national anthem of Portugal * Lusofonia * Lusitania * {{disambiguation Language and nationality disambiguation pages ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Portuguese 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 cnidarian that resembles an 18th-century armed sailing ship ** 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 located where modern Portugal (south of the Douro river) and a portion of western Spain (the present Extremadura and the province of Salamanca) lie. It was named after the Lusitani or Lusita ... * {{disambiguation Language and nationality disambiguation pages ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Living People
Related categories * :Year of birth missing (living people) / :Year of birth unknown * :Date of birth missing (living people) / :Date of birth unknown * :Place of birth missing (living people) / :Place of birth unknown * :Year of death missing / :Year of death unknown * :Date of death missing / :Date of death unknown * :Place of death missing / :Place of death unknown * :Missing middle or first names See also * :Dead people * :Template:L, which generates this category or death years, and birth year and sort keys. : {{DEFAULTSORT:Living people 21st-century people People by status ... [...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 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. February * February 3 ** Dr. John Buster and the research team at Harbor–UCLA Medical Center announce history's first embryo transfer from one woman to another, resulting in a live birth. ** STS-41-B: Space Shuttle Challenger, Space Shuttle ''Challenger'' is launched on the 10th Space Shuttle mission. * February 7 – Astronauts Bruce McCandless II and Robert L. Stewart make the first untethered spac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University College London
, mottoeng = Let all come who by merit deserve the most reward , established = , type = Public research university , endowment = £143 million (2020) , budget = £1.544 billion (2019/20) , chancellor = Anne, Princess Royal(as Chancellor of the University of London) , provost = Michael Spence , head_label = Chair of the council , head = Victor L. L. Chu , free_label = Visitor , free = Sir Geoffrey Vos , academic_staff = 9,100 (2020/21) , administrative_staff = 5,855 (2020/21) , students = () , undergrad = () , postgrad = () , coordinates = , campus = Urban , city = London, England , affiliations = , colours = Purple and blue celeste , nickname ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Scientist
A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (although there is overlap). 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, computational complexity theory, numerical analysis, programming language theory, computer graphics, and computer vision), 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 ( processors, programs, computers interacting with people, computers interacting with other computers, etc.) with an overall objective of discoverin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Royal Society Wolfson Fellowship
The Royal Society Wolfson Research Merit Award was an award made by the Royal Society from 2000 to 2020. It was 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 were given in four annual rounds, with up to seven awards per round. In 2020 the scheme was replaced by the Royal Society Wolfson Fellowship, 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.'' Recipients Winners of this award (see Royal Society Wolfson Research Merit Award holders) award included: * Sue Black * Samuel L. Braunstein * Martin Br ... [...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) See also * List of computer science awards This list of computer science awards is an index to articles on nota ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (including the design and implementation of hardware and software). Computer science is generally considered an area of academic research and distinct from computer programming. Algorithms and data structures are central to computer science. The theory of computation concerns abstract models of computation and general classes of problems that can be solved using them. The fields of cryptography and computer security involve studying the means for secure communication and for preventing security vulnerabilities. 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 repositories ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 scheme makes up to thirty awards of £100,000 a year, across a range of academic disciplines. History and criteria The award is named after Philip Leverhulme who died in 2000. He was the grandson of William Leverhulme, and was the third Viscount Leverhulme. The prizes are payable, in instalments, over a period of two to three years. Prizes can be used for any purpose which can advance the prize-holder’s research, with the exception of enhancing the prize-holder’s salary. Nominees must hold either a permanent post or a long-term fellowship in a UK institution of higher education or research that would extend beyond the duration of the Philip Leverhulme Prize. Those otherwise without salary are not eligible to be nominated. Nominees sho ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
