|
Martin Vechev
Martin Vechev (born 24 July 1977) is a full professor at the department of computer science at ETH Zurich, working in the fields of programming languages, machine learning and computer security. He leads the Secure, Reliable, and Intelligent Systems Lab (SRI), part of the Department of Computer Science. Vechev is the founder, architect and Scientific Director of INSAIT, a research center in computer science and artificial intelligence in Eastern Europe, created in partnership with ETH Zurich and EPFL. He is known for his works in machine learning for code (BigCode), where he introduced statistical programming engines trained on large codebases, reliable and trustworthy artificial intelligence, where he introduced abstract interpretation methods for reasoning about deep neural networks to enable the verification of large machine learning models, and quantum programming, introducing the first high-level programming language and system Silq. Vechev has received the ACM SIGPLAN Rob ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sofia
Sofia is the Capital city, capital and List of cities and towns in Bulgaria, largest city of Bulgaria. It is situated in the Sofia Valley at the foot of the Vitosha mountain, in the western part of the country. The city is built west of the Iskar (river), Iskar river and has many mineral springs, such as the Sofia Central Mineral Baths. It has a humid continental climate. Known as Serdica in Classical antiquity, antiquity, Sofia has been an area of human habitation since at least 7000 BC. The recorded history of the city begins with the attestation of the conquest of Serdica by the Roman Republic in 29 BC from the Celtic settlement of Southeast Europe, Celtic tribe Serdi. During the decline of the Roman Empire, the city was raided by Huns, Visigoths, Pannonian Avars, Avars, and Slavs. In 809, Serdica was incorporated into the First Bulgarian Empire by Khan (title), Khan Krum and became known as Sredets. In 1018, the Byzantine Empire, Byzantines ended Bulgarian rule until 1194, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
ERC Starting Grant
The European Research Council (ERC) is a public body for funding of scientific and technological research conducted within the European Union (EU). Established by the European Commission in 2007, the ERC is composed of an independent Scientific Council, its governing body consisting of distinguished researchers, and an Executive Agency, in charge of the implementation. It forms part of the framework programme of the union dedicated to research and innovation, Horizon 2020, preceded by the Seventh Research Framework Programme (FP7). The ERC budget is over €13 billion from 2014 – 2020 and comes from the Horizon 2020 programme, a part of the European Union's budget. Under Horizon 2020 it is estimated that around 7,000 ERC grantees will be funded and 42,000 team members supported, including 11,000 doctoral students and almost 16,000 post-doctoral researchers. The ERC awards to individuals are widely considered to be either among the most, or else the most prestigious grant for ac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Programming Language Researchers
Program (American English; also Commonwealth English in terms of computer programming and related activities) or programme (Commonwealth English in all other meanings), programmer, or programming may refer to: Business and management * Program management, the process of managing several related projects * Time management * Program, a part of planning Arts and entertainment Audio * Programming (music), generating music electronically * Radio programming, act of scheduling content for radio * Synthesizer programmer, a person who develops the instrumentation for a piece of music Video or television * Broadcast programming, scheduling content for television * Program music, a type of art music that attempts to render musically an extra-musical narrative * Synthesizer patch or program, a synthesizer setting stored in memory * "Program", an instrumental song by Linkin Park from '' LP Underground Eleven'' * Programmer, a film on the lower half of a double feature bill; see B-movie ... [...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] |
President Of Bulgaria
The president of the Republic of Bulgaria (, romanised: ''Prezident na Republika Bŭlgariya'') is the head of state of Bulgaria and the commander-in-chief of the Bulgarian Army. The official residence of the president is at Boyana Residence, Sofia. After the completion of the second round of voting, candidate Rumen Radev was elected President of Bulgaria on 13 November 2016. In Bulgaria, the president's role is primarily as a symbolic figure, with the main function being to be the ' arbitrator' of disputes between Bulgaria's different institutions. They are not considered head of government or part of the nation's executive power. However, in the absence of a prime minister, presidents are in charge of appointing an interim administration, giving them considerable influence over the government during such periods (Zhelyu Zhelev in 1994-95; Petar Stoyanov in 1997; Rosen Plevneliev in 2013 and 2014; and Rumen Radev in 2017, 2021, and since 2022). On some occasions, the preside ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Atanasoff
John Vincent Atanasoff (October 4, 1903 – June 15, 1995) was an American physicist and inventor credited with inventing the first electronic digital computer. Atanasoff invented the first electronic digital computer in the 1930s at Iowa State College (now known as Iowa State University). Challenges to his claim were resolved in 1973 when the '' Honeywell v. Sperry Rand'' lawsuit ruled that Atanasoff was the inventor of the computer. His special-purpose machine has come to be called the Atanasoff–Berry Computer. Early life and education Atanasoff was born on October 4, 1903, in Hamilton, New York to an electrical engineer and a school teacher. Atanasoff's father, Ivan Atanasov, was of Bulgarian origin, born in 1876 in the village of Boyadzhik, close to Yambol, then in the Ottoman Empire. While Ivan Atanasov was still an infant, his own father was killed by Ottoman soldiers after the Bulgarian April Uprising. In 1889, Ivan immigrated to the United States with his uncle. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Communications Of The ACM
''Communications of the ACM'' (''CACM'') is the monthly journal of the Association for Computing Machinery (ACM). History It was established in 1958, with Saul Rosen as its first managing editor. It is sent to all ACM members. Articles are intended for readers with backgrounds in all areas of computer science and information systems. The focus is on the practical implications of advances in information technology and associated management issues; ACM also publishes a variety of more theoretical journals. The magazine straddles the boundary of a science magazine, trade magazine, and a scientific journal. While the content is subject to peer review, the articles published are often summaries of research that may also be published elsewhere. Material published must be accessible and relevant to a broad readership. From 1960 onward, ''CACM'' also published algorithms, expressed in ALGOL. The collection of algorithms later became known as the Collected Algorithms of the ACM. CA ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Snyk
Snyk Limited is a developer-oriented cybersecurity company, specializing in securing custom developed code, open-source dependencies and cloud infrastructure. It was founded in 2015 out of Tel Aviv and London and is headquartered in Boston. History Snyk was founded in 2015 by Guy Podjarny (Hebrew: גיא פודחרני), Assaf Hefetz (אסף חפץ), and Danny Grander, (דני גרנדר) coming from Unit 8200, a SIGINT unit of the Israel Defense Forces."THE ISRAELI CYBER COMPANY SNYK IS PREPARING FOR AN INITIAL PUBLIC OFFERING" ''Israel Financial Insider'', January 1, 2022 [...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] |
ACM SIGPLAN
SIGPLAN is the Association for Computing Machinery's Special Interest Group (SIG) on programming languages. This SIG explores programming language concepts and tools, focusing on design, implementation, practice, and theory. Its members are programming language developers, educators, implementers, researchers, theoreticians, and users. Conferences * Principles of Programming Languages (POPL) * Programming Language Design and Implementation (PLDI) * International Symposium on Memory Management (ISMM) * Languages, Compilers, and Tools for Embedded Systems (LCTES) * Symposium on Principles and Practice of Parallel Programming (PPoPP) * International Conference on Functional Programming (ICFP) * Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH) * Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) * History of Programming Languages (HOPL) * Dynamic Languages Symposium (DLS) Associated journals * ACM Transactions on Archi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
ETH Medal
The ETH medal is awarded by the Swiss Federal Institute of Technology in Zürich (ETH Zurich) to outstanding Master's and doctoral theses. The number of bestowals is capped to 2.5% of the Master's theses and 8% of the doctoral theses per field of study. In addition to the silver medal, the award includes a cash prize. History Awarding prize medals at ETH Zurich was proposed in 1866. However, the original golden medal from medalist Antoine Bovy was never bestowed. Instead, the first silver medal was awarded in 1870 for a thesis on centrifugal pumps together with a cash price of 130 Swiss francs. The first version of the medal was replaced in 1955 for the 100th anniversary of ETH by a new design from the Swiss artist Franz Fischer. Again in 1980, for the 125th anniversary of ETH, the third and current version designed by engraver Hans Erni was introduced. Versions # The first version (1870–1955) of the medal was created by Antoine Bovy with support from Gottfried Semper. T ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
ACM Doctoral Dissertation Award
The ACM Doctoral Dissertation Award is awarded annually by the Association for Computing Machinery to the authors of the best doctoral dissertations in computer science and computer engineering. The award is accompanied by a prize of US$20,000 and winning dissertations are published in the ACM Digital Library. Honorable mentions are awarded $10,000. Financial support is provided by Google. The number of awarded dissertations may vary year-to-year. ACM also awards the ACM India Doctoral Dissertation Award. Several Special Interest Groups (SIGs) award a Doctoral Dissertation Award. Recipients See also * List of computer science awards * List of engineering awards This list of engineering awards is an index to articles about notable awards for achievements in engineering. It includes aerospace engineering, chemical engineering, civil engineering, electrical engineering, electronic engineering, structural e ... * ACM Student Research Competition References External lin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
