31 relations: École Polytechnique Fédérale de Lausanne, Centre national de la recherche scientifique, Computer science, Computer scientist, Crete, Doctor of Philosophy, E. Allen Emerson, Edmund M. Clarke, Electrical engineering, Eleftherotypia, Embedded system, France, Greece, Greeks, Grenoble, Grenoble Institute of Technology, Habilitation, Heraklion, Jean Kuntzmann, Joseph Fourier University, Journal officiel de la République française, Kathimerini, Legion of Honour, Model checking, National Order of Merit (France), National Technical University of Athens, Professor, Scholarship, Static analysis, Turing Award, Université Grenoble Alpes.
The École polytechnique fédérale de Lausanne (EPFL) is a research institute and university in Lausanne, Switzerland, that specializes in natural sciences and engineering.
The French National Center for Scientific Research (Centre national de la recherche scientifique, CNRS) is the largest governmental research organisation in France and the largest fundamental science agency in Europe.
Computer science deals with the theoretical foundations of information and computation, together with practical techniques for the implementation and application of these foundations.
A computer scientist is a person who has acquired the knowledge of computer science, the study of the theoretical foundations of information and computation and their application.
Crete (Κρήτη,; Ancient Greek: Κρήτη, Krḗtē) is the largest and most populous of the Greek islands, the 88th largest island in the world and the fifth largest island in the Mediterranean Sea, after Sicily, Sardinia, Cyprus, and Corsica.
A Doctor of Philosophy (PhD or Ph.D.; Latin Philosophiae doctor) is the highest academic degree awarded by universities in most countries.
Ernest Allen Emerson (born June 2, 1954) is a computer scientist and endowed professor at the University of Texas, Austin, United States.
Edmund Melson Clarke, Jr. (born July 27, 1945) is an American retired computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs.
Electrical engineering is a professional engineering discipline that generally deals with the study and application of electricity, electronics, and electromagnetism.
Eleftherotypia (lit) was a daily national newspaper published in Athens, Greece.
An embedded system is a computer system with a dedicated function within a larger mechanical or electrical system, often with real-time computing constraints.
France, officially the French Republic (République française), is a sovereign state whose territory consists of metropolitan France in Western Europe, as well as several overseas regions and territories.
The Greeks or Hellenes (Έλληνες, Éllines) are an ethnic group native to Greece, Cyprus, southern Albania, Italy, Turkey, Egypt and, to a lesser extent, other countries surrounding the Mediterranean Sea. They also form a significant diaspora, with Greek communities established around the world.. Greek colonies and communities have been historically established on the shores of the Mediterranean Sea and Black Sea, but the Greek people have always been centered on the Aegean and Ionian seas, where the Greek language has been spoken since the Bronze Age.. Until the early 20th century, Greeks were distributed between the Greek peninsula, the western coast of Asia Minor, the Black Sea coast, Cappadocia in central Anatolia, Egypt, the Balkans, Cyprus, and Constantinople. Many of these regions coincided to a large extent with the borders of the Byzantine Empire of the late 11th century and the Eastern Mediterranean areas of ancient Greek colonization. The cultural centers of the Greeks have included Athens, Thessalonica, Alexandria, Smyrna, and Constantinople at various periods. Most ethnic Greeks live nowadays within the borders of the modern Greek state and Cyprus. The Greek genocide and population exchange between Greece and Turkey nearly ended the three millennia-old Greek presence in Asia Minor. Other longstanding Greek populations can be found from southern Italy to the Caucasus and southern Russia and Ukraine and in the Greek diaspora communities in a number of other countries. Today, most Greeks are officially registered as members of the Greek Orthodox Church.CIA World Factbook on Greece: Greek Orthodox 98%, Greek Muslim 1.3%, other 0.7%. Greeks have greatly influenced and contributed to culture, arts, exploration, literature, philosophy, politics, architecture, music, mathematics, science and technology, business, cuisine, and sports, both historically and contemporarily.
Grenoble is a city in southeastern France, at the foot of the French Alps where the river Drac joins the Isère.
The Grenoble Institute of Technology (Grenoble INP) (Institut polytechnique de Grenoble, Groupe Grenoble INP and before INPG) is a French technological university system consisting of six engineering schools.
Habilitation defines the qualification to conduct self-contained university teaching and is the key for access to a professorship in many European countries.
Heraklion (Ηράκλειο, Irákleio) is the largest city and the administrative capital of the island of Crete.
Jean Kuntzmann (1 June 1912 – 18 December 1992) was a French mathematician, known for his works in applied mathematics and computer science, pushing and developing both fields at a very early time.
Joseph Fourier University (UJF, Université Joseph Fourier, also known as Grenoble I) was a French university situated in the city of Grenoble and focused on the fields of sciences, technologies and health.
The Journal officiel de la République française (JORF or JO) is the government gazette of the French Republic.
I Kathimerini (Η Καθημερινή,, meaning "The Daily") is a daily morning newspaper published in Athens.
The Legion of Honour, with its full name National Order of the Legion of Honour (Ordre national de la Légion d'honneur), is the highest French order of merit for military and civil merits, established in 1802 by Napoléon Bonaparte and retained by all the divergent governments and regimes later holding power in France, up to the present.
In computer science, model checking or property checking refers to the following problem: Given a model of a system, exhaustively and automatically check whether this model meets a given specification.
The National Order of Merit (Ordre national du Mérite) is a French order of merit with membership awarded by the President of the French Republic, founded on 3 December 1963 by President Charles de Gaulle.
The National (Metsovian) Technical University of Athens (NTUA; Εθνικό Μετσόβιο Πολυτεχνείο, National Metsovian Polytechnic), sometimes known as Athens Polytechnic, is among the oldest higher education institutions of Greece and the most prestigious among engineering schools.
Professor (commonly abbreviated as Prof.) is an academic rank at universities and other post-secondary education and research institutions in most countries.
A scholarship is an award of financial aid for a student to further their education.
Static analysis, static projection, or static scoring is a simplified analysis wherein the effect of an immediate change to a system is calculated without regard to the longer-term response of the system to that change.
The ACM A.M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) to an individual selected for contributions "of lasting and major technical importance to the computer field".
The Université Grenoble Alpes (UGA, French: meaning "Grenoble Alps University") is a public research university in Grenoble, France.