|
J. Sifakis
Joseph Sifakis ( Greek: Ιωσήφ Σηφάκης) is a Greek-French computer scientist. He received the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking. Biography Joseph Sifakis was born in Heraklion, Crete in 1946 and lives in France. He studied Electrical Engineering at the National Technical University of Athens and Computer Science at the University of Grenoble under a French scholarship. He received his engineering doctorate in 1974 from the University of Grenoble, where he also received a state doctorate in 1979.At the time when Joseph Sifakis was a graduate student, there existed in France two levels of PhDs, the higher one, the ''doctorat d'état'' ("state doctorate") being necessary to access professorships. It has since been replaced by the habilitation. He is currently Research Director Emeritus for the Centre national de la recherche scientifique at VERIMAG laboratory near Grenoble, of which he is the founder. Si ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Heraklion
Heraklion or Iraklion ( ; el, Ηράκλειο, , ) is the largest city and the administrative capital of the island of Crete and capital of Heraklion regional unit. It is the fourth largest city in Greece with a population of 211,370 (Urban Area) according to the 2011 census. The population of the municipality was 177,064. The Bronze Age palace of Knossos, also known as the Palace of Minos, is located 5.5 km (3.1m) southeast of the city. Heraklion was Europe's fastest growing tourism destination for 2017, according to Euromonitor, with an 11.2% growth in international arrivals. According to the ranking, Heraklion was ranked as the 20th most visited region in Europe, as the 66th area on the planet and as the 2nd in Greece for the year 2017, with 3.2 million visitors and the 19th in Europe for 2018, with 3.4 million visitors. Etymology The Arab traders from al-Andalus (Iberia) who founded the Emirate of Crete moved the island's capital from Gortyna to a new castle they called ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Electrical Engineering
Electrical engineering is an engineering discipline concerned with the study, design, and application of equipment, devices, and systems which use electricity, electronics, and electromagnetism. It emerged as an identifiable occupation in the latter half of the 19th century after commercialization of the electric telegraph, the telephone, and electrical power generation, distribution, and use. Electrical engineering is now divided into a wide range of different fields, including computer engineering, systems engineering, power engineering, telecommunications, radio-frequency engineering, signal processing, instrumentation, photovoltaic cells, electronics, and optics and photonics. Many of these disciplines overlap with other engineering branches, spanning a huge number of specializations including hardware engineering, power electronics, electromagnetics and waves, microwave engineering, nanotechnology, electrochemistry, renewable energies, mechatronics/control, and electrical m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Amir Pnueli
Amir Pnueli ( he, אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient. Biography Pnueli was born in Nahalal, in the British Mandate of Palestine (now in Israel) and received a Bachelor's degree in mathematics from the Technion in Haifa, and Ph.D. in applied mathematics from the Weizmann Institute of Science (1967). His thesis was on the topic of "Calculation of Tides in the Ocean". He switched to computer science during a stint as a post-doctoral fellow at Stanford University. His works in computer science focused on temporal logic and model checking, particularly regarding fairness properties of concurrent systems.. He returned to Israel as a researcher; he was the founder and first chair of the computer science department at Tel Aviv University. He became a professor of computer science at the Weizmann Institute in 1981. From 1999 until his death, Pnueli also held a position at the Computer Science D ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Embedded System
An embedded system is a computer system—a combination of a computer processor, computer memory, and input/output peripheral devices—that has a dedicated function within a larger mechanical or electronic system. It is ''embedded'' as part of a complete device often including electrical or electronic hardware and mechanical parts. Because an embedded system typically controls physical operations of the machine that it is embedded within, it often has real-time computing constraints. Embedded systems control many devices in common use today. , it was estimated that ninety-eight percent of all microprocessors manufactured were used in embedded systems. Modern embedded systems are often based on microcontrollers (i.e. microprocessors with integrated memory and peripheral interfaces), but ordinary microprocessors (using external chips for memory and peripheral interface circuits) are also common, especially in more complex systems. In either case, the processor(s) used ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Grenoble
lat, Gratianopolis , commune status = Prefecture and commune , image = Panorama grenoble.png , image size = , caption = From upper left: Panorama of the city, Grenoble’s cable cars, place Saint-André, jardin de ville, banks of the Isère , arrondissement = Grenoble , canton = Grenoble-1, 2, 3 and 4 , INSEE = 38185 , postal code = 38000, 38100 , mayor = Éric Piolle , term = 2020–2026 , party = EELV , image flag = Flag of Grenoble.svg , image coat of arms = Coat of Arms of Grenoble.svg , intercommunality = Grenoble-Alpes Métropole , coordinates = , elevation min m = 212 , elevation m = 398 , elevation max m = 500 , area km2 = 18.13 , population = , population date = , population footnotes = , urban pop = 451096 , urban area km2 = 358.1 , u ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
VERIMAG
The Laboratoire d'Informatique de Grenoble (LIG, Grenoble Computer Science Laboratory) is the largest research laboratory of Informatics in Grenoble, France. It was created 1 January 2007, as the result of a union of the 24 research teams of the previous IMAG Institute and the INRIA Rhône-Alpes. The scientific project of the LIG is "ambient and sustainable IT". The goal is to leverage the complementary nature and recognised quality of the 23 research teams of the LIG to contribute to fundamental aspects of the discipline (modelling, languages, methods, algorithms) and to create a synergy between the conceptual, technological and societal challenges that surround this theme. The Grenoble Informatics Laboratory (Laboratoire d’Informatique de Grenoble - LIG) is a laboratory of quite some scale, the academic partners being: The CNRS, Grenoble INP, Inria Grenoble Rhône-Alpes, the Université Joseph Fourier, the Université Pierre-Mendès-France, the Université Stendhal. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Centre National De La Recherche Scientifique
The French National Centre for Scientific Research (french: link=no, Centre national de la recherche scientifique, CNRS) is the French state research organisation and is the largest fundamental science Basic research, also called pure research or fundamental research, is a type of scientific research with the aim of improving scientific theories for better understanding and prediction of natural or other phenomena. In contrast, applied resear ... agency in Europe. In 2016, it employed 31,637 staff, including 11,137 tenured researchers, 13,415 engineers and technical staff, and 7,085 contractual workers. It is headquartered in Paris and has administrative offices in Brussels, Beijing, Tokyo, Singapore, Washington, D.C., Bonn, Moscow, Tunis, Johannesburg, Santiago de Chile, Israel, and New Delhi. From 2009 to 2016, the CNRS was ranked No. 1 worldwide by the SCImago Institutions Rankings, SCImago Institutions Rankings (SIR), an international ranking of research-focused institutio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Grenoble Institute Of Technology
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 eight engineering and management schools. Grenoble INP also has a two-year preparatory class programme, an adult education department, as well as 21 laboratories and a graduate school in Engineering Sciences. More than 1,100 engineers graduate every year from Grenoble INP, making it France's biggest ''grande école''. Most of Grenoble INP is located in Grenoble, except for the ESISAR which is located in Valence, Drôme, Valence. History Grenoble INP was born in the Alpine environment. It was officially founded in 1900 with the creation of the Electrical Engineering Institute. Industrial pioneers of a century ago found that after mastering hydraulic power and creating the initial industrial applications, they had also created a need for well-trained engineers. The first of its type in France ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Joseph Fourier University
Joseph Fourier University (UJF, french: 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. It is now part of the Université Grenoble Alpes. Importance According to the 2009 ARWU, Joseph Fourier University is the sixth best university in France. Joseph Fourier University is also the fourth best university in Engineering & IT nationally and 115th globally in QS World University Rankings. The origins of this scientific university can be traced all the way back to 1811 when the scientist Joseph Fourier established a faculty of science in Grenoble. Nowadays, more than 18,000 undergraduate and graduate students participate to the life of this university. More than 2,000 are international or exchange students. Joseph Fourier University is not only famous for its alumni, but also for its commitment to fundamental as well as applied research and innovation. Part o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Joseph Sifakis
Joseph Sifakis (Greek: Ιωσήφ Σηφάκης) is a Greek- French computer scientist. He received the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking. Biography Joseph Sifakis was born in Heraklion, Crete in 1946 and lives in France. He studied Electrical Engineering at the National Technical University of Athens and Computer Science at the University of Grenoble under a French scholarship. He received his engineering doctorate in 1974 from the University of Grenoble, where he also received a state doctorate in 1979.At the time when Joseph Sifakis was a graduate student, there existed in France two levels of PhDs, the higher one, the ''doctorat d'état'' ("state doctorate") being necessary to access professorships. It has since been replaced by the habilitation. He is currently Research Director Emeritus for the Centre national de la recherche scientifique at VERIMAG laboratory near Grenoble, of which he is the founder. Sifak ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Habilitation
Habilitation is the highest university degree, or the procedure by which it is achieved, in many European countries. The candidate fulfills a university's set criteria of excellence in research, teaching and further education, usually including a dissertation. The degree, abbreviated "Dr. habil." (Doctor habilitatus) or "PD" (for "Privatdozent"), is a qualification for professorship in those countries. The conferral is usually accompanied by a lecture to a colloquium as well as a public inaugural lecture. History and etymology The term ''habilitation'' is derived from the Medieval Latin , meaning "to make suitable, to fit", from Classical Latin "fit, proper, skillful". The degree developed in Germany in the seventeenth century (). Initially, habilitation was synonymous with "doctoral qualification". The term became synonymous with "post-doctoral qualification" in Germany in the 19th century "when holding a doctorate seemed no longer sufficient to guarantee a proficient transfer o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.jpg "Click for more on -> Centre National De La Recherche Scientifique")