|
Ilya Sergey
Ilya Sergey (born 1986) is a Russian computer scientist and an Associate Professor at the School of Computing of National University of Singapore, where he leads the Verified Systems Engineering lab. Sergey does research in programming language design and implementation, software verification, distributed systems, program synthesis, and program repair. He is known for designing the Scilla programming language for smart contracts. He is the author of the free online book, ''Programs and Proofs: Mechanizing Mathematics with Dependent Types, Lecture notes with exercises'', which provides an introduction to the basic concepts of mechanized reasoning and interactive theorem proving using Coq. Sergey holds a joint appointment at Yale-NUS College and is a lead language designer at Zilliqa. He received his MSc in 2008 at Saint Petersburg State University and his PhD in 2012 at KU Leuven. Before joining NUS, he was a postdoctoral researcher at IMDEA Software Institute IMDEA () is a ... [...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] |
Smart Contract
A smart contract is a computer program or a transaction protocol that is intended to automatically execute, control or document events and actions according to the terms of a contract or an agreement. The objectives of smart contracts are the reduction of need for trusted intermediators, arbitration costs, and fraud losses, as well as the reduction of malicious and accidental exceptions. Smart contracts are commonly associated with cryptocurrencies, and the smart contracts introduced by Ethereum are generally considered a fundamental building block for decentralized finance (DeFi) and NFT applications. Vending machines are mentioned as the oldest piece of technology equivalent to smart contract implementation. The original Ethereum white paper by Vitalik Buterin in 2014 describes the Bitcoin protocol as a weak version of the smart contract concept as originally defined by Nick Szabo, and proposed a stronger version based on the Solidity language, which is Turing complete. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
KU Leuven Alumni
Ku, KU, or Kū may refer to: Arts and entertainment * Ku (fictional language), a constructed language created for the 2005 film The Interpreter * Esther Ku, a Korean-American comedian * Kumi Koda, Japanese pop star nicknamed Ku or Kuu * In an alien language in the movie '' Kin-dza-dza!'', "ku" replaces most conventional words, with its meaning guessed from context * In the Discworld, ''Ku'' or ''The Lost Continent of Ku'' is a satirical parody of Atlantis Businesses and organizations Political * ''Kommunistisk Ungdom'' (Communist Youth), the former name of the Young Left (Sweden) * Young Conservatives (Denmark) (''Konservativ Ungdom''), the Young Conservatives (Denmark) * ''Konstitutionsutskottet'', the Committee on the Constitution (Parliament of Sweden) * Ku Klux Klan, a white supremacy group in the US Universities Africa * Kampala University in Kampala, Uganda * Kismayo University in Kismayo, Somalia Japan * Kyoto University, a national research university * Kyushu Univ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Saint Petersburg State University Alumni
In religious belief, a saint is a person who is recognized as having an exceptional degree of holiness, likeness, or closeness to God. However, the use of the term ''saint'' depends on the context and denomination. In Catholic, Eastern Orthodox, Anglican, Oriental Orthodox, and Lutheran doctrine, all of their faithful deceased in Heaven are considered to be saints, but some are considered worthy of greater honor or emulation. Official ecclesiastical recognition, and consequently a public cult of veneration, is conferred on some denominational saints through the process of canonization in the Catholic Church or glorification in the Eastern Orthodox Church after their approval. While the English word ''saint'' originated in Christianity, historians of religion tend to use the appellation "in a more general way to refer to the state of special holiness that many religions attribute to certain people", referring to the Jewish tzadik, the Islamic walī, the Hindu rishi o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Engineers From Saint Petersburg
Engineers, as practitioners of engineering, are professionals who invent, design, analyze, build and test machines, complex systems, structures, gadgets and materials to fulfill functional objectives and requirements while considering the limitations imposed by practicality, regulation, safety and cost. "Science is knowledge based on our observed facts and tested truths arranged in an orderly system that can be validated and communicated to other people. Engineering is the creative application of scientific principles used to plan, build, direct, guide, manage, or work on systems to maintain and improve our daily lives." The word ''engineer'' (Latin ) is derived from the Latin words ("to contrive, devise") and ("cleverness"). The foundational qualifications of an engineer typically include a four-year bachelor's degree in an engineering discipline, or in some jurisdictions, a master's degree in an engineering discipline plus four to six years of peer-reviewed professional ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Russian Computer Scientists
This list of Russian IT developers includes the hardware engineers, computer scientists and programmers from the Russian Empire, the Soviet Union and the Russian Federation. See also :Russian computer scientists and :Russian computer programmers. Alphabetical list __NOTOC__ A * Georgy Adelson-Velsky, inventor of AVL tree algorithm, developer of Kaissa (the first World Computer Chess Champion) * Andrey Andreev, creator of Badoo, one of the world's largest dating sites, and the 10th largest social network in the world *Vladimir Arlazarov, DBS Ines, developer of Kaissa (the first World Computer Chess Champion) B *Boris Babayan, developer of the Elbrus-series supercomputers, founder of Moscow Center of SPARC Technologies (MCST) *Alexander Brudno, described the alpha-beta (α-β) search algorithm * Nikolay Brusentsov, inventor of ternary computer (Setun) C *Andrei Chernov, one of the founders of the Russian Internet and the creator of the KOI8-R character encoding ... [...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] |
1986 Births
The year 1986 was designated as the International Year of Peace by the United Nations. Events January * January 1 **Aruba gains increased autonomy from the Netherlands by separating from the Netherlands Antilles. **Spain and Portugal enter the European Community, which becomes the European Union in 1993. *January 11 – The Sir Leo Hielscher Bridges, Gateway Bridge in Brisbane, Australia, at this time the world's longest prestressed concrete free-cantilever bridge, is opened. *January 13–January 24, 24 – South Yemen Civil War. *January 20 – The United Kingdom and France announce plans to construct the Channel Tunnel. *January 24 – The Voyager 2 space probe makes its first encounter with Uranus. *January 25 – Yoweri Museveni's National Resistance Army Rebel group takes over Uganda after leading a five-year guerrilla war in which up to half a million people are believed to have been killed. They will later use January 26 as the official date to avoid a coincidence of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
JetBrains
JetBrains s.r.o. (formerly IntelliJ Software s.r.o.) is a Czech software development company which makes tools for software developers and project managers. , the company has offices in Prague; Munich; Berlin; Boston, Massachusetts; Amsterdam; Foster City, California; Marlton, New Jersey; and Shanghai. The company offers integrated development environments (IDEs) for the programming languages Java, Groovy, Kotlin, Ruby, Python, PHP, C, Objective-C, C++, C#, F#, Go, JavaScript, and the domain-specific language SQL. The company created the Kotlin programming language, which can run in a Java virtual machine (JVM), in 2011. ''InfoWorld'' magazine awarded the firm "Technology of the Year Award" in 2011 and 2015. History JetBrains, initially called IntelliJ Software, was founded in 2000 in Prague by three Russian software developers: Sergey Dmitriev, Valentin Kipyatkov and Eugene Belyaev. The company's first product was IntelliJ Renamer, a tool for code refactoring ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
IMDEA Software Institute
IMDEA () is a project founded by the Madrid Regional Government, included in the ''IV Regional Plan of Scientific Research and Technological Innovation 2005-2008 (PRICIT)'', for the purpose of setting up advanced research centers and higher education and training in the Community of Madrid. Between 2006 and 2008 the project created nine IMDEA Institutes of which two (Mathematics and Social Sciences) were closed. Organization Each of the IMDEA Institutes is managed by an independent foundation. There are currently seven, each specializing in an area of knowledge, as indicated by their names: * IMDEA Water Institute combines knowledge from experimental, legal and social sciences as well as engineering, to address a variety of water management concerns in the 21st century. Its research includes scientific and social aspects of water, including supply and demand; quality and quantity; physical, chemical and biological characteristics; time and space variability; watershed processes; ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Association For Computing Machinery
The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional membership group, claiming nearly 110,000 student and professional members . Its headquarters are in New York City. The ACM is an umbrella organization for academic and scholarly interests in computer science ( informatics). Its motto is "Advancing Computing as a Science & Profession". History In 1947, a notice was sent to various people: On January 10, 1947, at the Symposium on Large-Scale Digital Calculating Machinery at the Harvard computation Laboratory, Professor Samuel H. Caldwell of Massachusetts Institute of Technology spoke of the need for an association of those interested in computing machinery, and of the need for communication between them. ..After making some inquiries during May and June, we believe there is ample interest to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Program Synthesis
In computer science, program synthesis is the task to construct a program that provably satisfies a given high-level formal specification. In contrast to program verification, the program is to be constructed rather than given; however, both fields make use of formal proof techniques, and both comprise approaches of different degrees of automatization. In contrast to automatic programming techniques, specifications in program synthesis are usually non-algorithmic statements in an appropriate logical calculus. Origin During the Summer Institute of Symbolic Logic at Cornell University in 1957, Alonzo Church defined the problem to synthesize a circuit from mathematical requirements. Even though the work only refers to circuits and not programs, the work is considered to be one of the earliest descriptions of program synthesis and some researchers refer to program synthesis as "Church's Problem". In the 1960s, a similar idea for an "automatic programmer" was explored by researcher ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
