|
Sophia Drossopoulou
Sophia Drossopoulou ( el, Σοφία Δροσοπούλου) is a computer scientist, currently working at Imperial College London, where she is Professor in Programming Languages. She earned her Ph.D. from the Karlsruhe Institute of Technology. Her research interests are mainly in formal methods for programming languages; her work is notable for a proof of the soundness of the Java programming language. Her first Ph.D. student was Diomidis Spinellis , birth_date = , birth_place = , death_date = , death_place = , death_cause = , resting_place = , resting_place_coordinates = , other_names = , siglum = , pronounce = , .... She is the daughter of the lawyer and politician Antonis Drossopoulos, and of the author Athena Cacouris ( el, Αθηνά Κακούρη). She is a lecturer for undergraduate students studying Computing and Joint Mathematics and Computing at Imperial College London. She teaches cou ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Athens
Athens ( ; el, Αθήνα, Athína ; grc, Ἀθῆναι, Athênai (pl.) ) is both the capital city, capital and List of cities and towns in Greece, largest city of Greece. With a population close to four million, it is also the seventh List of urban areas in the European Union, largest city in the European Union. Athens dominates and is the capital of the Attica (region), Attica region and is one of the List of oldest continuously inhabited cities, world's oldest cities, with its recorded history spanning over 3,400 years and its earliest human presence beginning somewhere between the 11th and 7th millennia BC. Classical Athens was a powerful Greek city-state, city-state. It was a centre for the arts, learning and philosophy, and the home of Plato's Platonic Academy, Academy and Aristotle's Lyceum (classical), Lyceum. It is widely referred to as the cradle of civilization, cradle of Western culture, Western civilization and the democracy#History, birthplace of democracy, larg ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Imperial College London
Imperial College London (legally Imperial College of Science, Technology and Medicine) is a public research university in London, United Kingdom. Its history began with Prince Albert, consort of Queen Victoria, who developed his vision for a cultural area that included the Royal Albert Hall, Victoria & Albert Museum, Natural History Museum and royal colleges. In 1907, Imperial College was established by a royal charter, which unified the Royal College of Science, Royal School of Mines, and City and Guilds of London Institute. In 1988, the Imperial College School of Medicine was formed by merging with St Mary's Hospital Medical School. In 2004, Queen Elizabeth II opened the Imperial College Business School. Imperial focuses exclusively on science, technology, medicine, and business. The main campus is located in South Kensington, and there is an innovation campus in White City. Facilities also include teaching hospitals throughout London, and with Imperial College ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Karlsruhe Institute Of Technology
The Karlsruhe Institute of Technology (KIT; german: Karlsruher Institut für Technologie) is a public research university in Karlsruhe, Germany. The institute is a national research center of the Helmholtz Association. KIT was created in 2009 when the University of Karlsruhe (), founded in 1825 as a public research university and also known as the "Fridericiana", merged with the Karlsruhe Research Center (), which had originally been established in 1956 as a national nuclear research center (, or KfK). KIT is a member of the TU9, an incorporated society of the largest and most notable German institutes of technology. TU9 As part of the German Universities Excellence Initiative KIT was one of three universities which were awarded excellence status in 2006. In the following "German Excellence Strategy" KIT was awarded as one of eleven "Excellence Universities" in 2019. KIT is among the leading technical universities in Germany and Europe. According to different bibliometric ran ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Diomidis Spinellis
, birth_date = , birth_place = , death_date = , death_place = , death_cause = , resting_place = , resting_place_coordinates = , other_names = , siglum = , pronounce = , citizenship = , nationality = , fields = Software EngineeringIT Security , workplaces = Athens University of Economics and BusinessDelft University of Technology , patrons = , education = , alma_mater = Imperial College London (PhD) , thesis_title =Programming paradigms as object classes : a structuring mechanism for multiparadigm programming , thesis_url = https://catalogue.libraries.london.ac.uk/record=b1625826 , thesis_year = 1994 , doctoral_advisor = Susan EisenbachSophia Drossopoulou , academic_advisors = , doctoral_students = , notable_students = , known_for = Code Reading , influences = , influenced = , awards ... [...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] |
Doctor Of Philosophy
A Doctor of Philosophy (PhD, Ph.D., or DPhil; Latin: or ') is the most common degree at the highest academic level awarded following a course of study. PhDs are awarded for programs across the whole breadth of academic fields. Because it is an earned research degree, those studying for a PhD are required to produce original research that expands the boundaries of knowledge, normally in the form of a dissertation, and defend their work before a panel of other experts in the field. The completion of a PhD is often a requirement for employment as a university professor, researcher, or scientist in many fields. Individuals who have earned a Doctor of Philosophy degree may, in many jurisdictions, use the title '' Doctor'' (often abbreviated "Dr" or "Dr.") with their name, although the proper etiquette associated with this usage may also be subject to the professional ethics of their own scholarly field, culture, or society. Those who teach at universities or work in academic, e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Java (programming Language)
Java is a high-level, class-based, object-oriented programming language that is designed to have as few implementation dependencies as possible. It is a general-purpose programming language intended to let programmers ''write once, run anywhere'' ( WORA), meaning that compiled Java code can run on all platforms that support Java without the need to recompile. Java applications are typically compiled to bytecode that can run on any Java virtual machine (JVM) regardless of the underlying computer architecture. The syntax of Java is similar to C and C++, but has fewer low-level facilities than either of them. The Java runtime provides dynamic capabilities (such as reflection and runtime code modification) that are typically not available in traditional compiled languages. , Java was one of the most popular programming languages in use according to GitHub, particularly for client–server web applications, with a reported 9 million developers. Java was originally de ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lecture Notes In Computer Science
''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post- proceedings, monographs, and Festschrift In academia, a ''Festschrift'' (; plural, ''Festschriften'' ) is a book honoring a respected person, especially an academic, and presented during their lifetime. It generally takes the form of an edited volume, containing contributions from the ...s. In addition, tutorials, state-of-the-art surveys, and "hot topics" are increasingly being included. The series is indexed by DBLP. See also *'' Monographiae Biologicae'', another monograph series published by Springer Science+Business Media *'' Lecture Notes in Physics'' *'' Lecture Notes in Mathematics'' *'' Electronic Workshops in Computing'', published by the British Computer Society References External links * Publications established in 1973 Computer science books Series of non-fiction books ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer Science+Business Media
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in Berlin, it expanded internationally in the 1960s, and through mergers in the 1990s and a sale to venture capitalists it fused with Wolters Kluwer and eventually became part of Springer Nature in 2015. Springer has major offices in Berlin, Heidelberg, Dordrecht, and New York City. History Julius Springer founded Springer-Verlag in Berlin in 1842 and his son Ferdinand Springer grew it from a small firm of 4 employees into Germany's then second largest academic publisher with 65 staff in 1872.Chronology ". Springer Science+Business Media. In 1964, Springer expanded its business internationally, o ... [...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] |
Greek Computer Scientists
Greek may refer to: Greece Anything of, from, or related to Greece, a country in Southern Europe: * Greeks, an ethnic group. * Greek language, a branch of the Indo-European language family. ** Proto-Greek language, the assumed last common ancestor of all known varieties of Greek. ** Mycenaean Greek, most ancient attested form of the language (16th to 11th centuries BC). ** Ancient Greek, forms of the language used c. 1000–330 BC. ** Koine Greek, common form of Greek spoken and written during Classical antiquity. ** Medieval Greek or Byzantine Language, language used between the Middle Ages and the Ottoman conquest of Constantinople. ** Modern Greek, varieties spoken in the modern era (from 1453 AD). * Greek alphabet, script used to write the Greek language. * Greek Orthodox Church, several Churches of the Eastern Orthodox Church. * Ancient Greece, the ancient civilization before the end of Antiquity. * Old Greek, the language as spoken from Late Antiquity to around 1500 AD. Ot ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
_waving.svg "Click for more on -> Java (programming Language)")