|
Martin Vechev
Martin Vechev is a professor at the Department of Computer Science at ETH Zurich working in the fields of programming languages, machine learning, and security. He leads the Secure, Reliable, and Intelligent Systems Lab (SRI), part of the Department of Computer Science. He is known for his pioneering 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 Robin Milner Young Researcher Award in 2019 and a highly-visible ERC Starting Grant, which helped shape the area of machine learning for code. In 2016, his Ph.D. student Veselin Raychev received an Honorable Mention for the ACM D ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
ETH Zurich
(colloquially) , former_name = eidgenössische polytechnische Schule , image = ETHZ.JPG , image_size = , established = , type = Public , budget = CHF 1.896 billion (2021) , rector = Günther Dissertori , president = Joël Mesot , academic_staff = 6,612 (including doctoral students, excluding 527 professors of all ranks, 34% female, 65% foreign nationals) (full-time equivalents 2021) , administrative_staff = 3,106 (40% female, 19% foreign nationals, full-time equivalents 2021) , students = 24,534 (headcount 2021, 33.3% female, 37% foreign nationals) , undergrad = 10,642 , postgrad = 8,299 , doctoral = 4,460 , other = 1,133 , address = Rämistrasse 101CH-8092 ZürichSwitzerland , city = Zürich , coor = , campus = Urban , language = German, English (Masters and upwards, sometimes Bachelor) , affiliations = CESAER, EUA, GlobalTech, IARU, IDEA League, UNITECH , website ethz.ch, colors = Black and White , logo = ETH Zürich Logo black.svg ETH Züric ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sofia
Sofia ( ; bg, София, Sofiya, ) is the capital and largest city of Bulgaria. It is situated in the Sofia Valley at the foot of the Vitosha mountain in the western parts of the country. The city is built west of the Iskar river, and has many mineral springs, such as the Sofia Central Mineral Baths. It has a humid continental climate. Being in the centre of the Balkans, it is midway between the Black Sea and the Adriatic Sea, and closest to the Aegean Sea. Known as Serdica in Antiquity and Sredets in the Middle Ages, 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 tribe Serdi. During the decline of the Roman Empire, the city was raided by Huns, Visigoths, Avars and Slavs. In 809, Serdica was incorporated into the Bulgarian Empire by Khan Krum and became known as Sredets. In 1018, the Byzantines ended Bulgarian rule ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Programming Language Researchers
Program, programme, 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 Science and technology * Computer program, a set of instructions that describes how to perform a specific task to a computer. * Computer programming, ... [...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] |
President Of Bulgaria
The president of the Republic of Bulgaria is the head of state A head of state (or chief of state) is the public persona who officially embodies a state Foakes, pp. 110–11 " he head of statebeing an embodiment of the State itself or representatitve of its international persona." in its unity and l ... of Bulgaria and the commander-in-chief of the Bulgarian Armed Forces, 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. The president is elected for a five-year term, which is renewable only once. After an individual has served two terms as president, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
OOPSLA
OOPSLA (Object-Oriented Programming, Systems, Languages & Applications) is an annual ACM research conference. OOPSLA mainly takes place in the United States, while the sister conference of OOPSLA, ECOOP, is typically held in Europe. It is operated by the Special Interest Group for Programming Languages (SIGPLAN) group of the Association for Computing Machinery (ACM). OOPSLA is an annual conference covering topics related to object-oriented programming systems, languages and applications. Like other conferences, OOPSLA offers various tracks and many simultaneous sessions, and thus has a different meaning to different people. It is an academic conference, and draws doctoral students who present peer-reviewed papers. It also draws a number of non-academic attendees, many of whom present experience reports and conduct panels, workshops and tutorials. OOPSLA has been instrumental in helping object-oriented programming develop into a mainstream programming paradigm. It has also helpe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Communications Of The ACM
''Communications of the ACM'' is the monthly journal of the Association for Computing Machinery (ACM). 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. See also * ''Journal of the A ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
SIGPLAN
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages. 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 Architecture and Code Optimization * ACM Transactions on Programming Languages and Systems Proceedings of the ACM on Programming Languages Newsletters * SIGPLAN Notices - Home pageat ACM * Fortran Forum - * Lisp Pointers (final issue 1995) ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Thomas J
Clarence Thomas (born June 23, 1948) is an American jurist who serves as an associate justice of the Supreme Court of the United States. He was nominated by President George H. W. Bush to succeed Thurgood Marshall and has served since 1991. After Marshall, Thomas is the second African American to serve on the Court and its longest-serving member since Anthony Kennedy's retirement in 2018. Thomas was born in Pin Point, Georgia. After his father abandoned the family, he was raised by his grandfather in a poor Gullah community near Savannah. Growing up as a devout Catholic, Thomas originally intended to be a priest in the Catholic Church but was frustrated over the church's insufficient attempts to combat racism. He abandoned his aspiration of becoming a clergyman to attend the College of the Holy Cross and, later, Yale Law School, where he was influenced by a number of conservative authors, notably Thomas Sowell, who dramatically shifted his worldview from progressive to ... [...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 ... References External linksACM Doctoral Dissertation Award Winn ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Cambridge
, mottoeng = Literal: From here, light and sacred draughts. Non literal: From this place, we gain enlightenment and precious knowledge. , established = , other_name = The Chancellor, Masters and Scholars of the University of Cambridge , type = Public research university , endowment = £7.121 billion (including colleges) , budget = £2.308 billion (excluding colleges) , chancellor = The Lord Sainsbury of Turville , vice_chancellor = Anthony Freeling , students = 24,450 (2020) , undergrad = 12,850 (2020) , postgrad = 11,600 (2020) , city = Cambridge , country = England , campus_type = , sporting_affiliations = The Sporting Blue , colours = Cambridge Blue , website = , logo = University of Cambridge logo ... [...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. Researchers from any field can compete for the grants that support pioneering projects. The ERC competitions are open t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
