Radhia Cousot
Radhia Cousot (6 August 1947 – 1 May 2014) was a Tunisian French computer scientist known for inventing abstract interpretation. Studies Radhia Cousot was born on 6 August 1947, in Sakiet Sidi Youssef in Tunisia, where she survived the massacre of the children in her school on February 8, 1958. She then went to the Lycée de jeunes filles at Sousse, the Lycée français at Algiers and then the Polytechnic School of Algiers (where she was ranked 1st and the only woman). She specialized in mathematical optimization and integer linear programming. Supported by a UNESCObr>fellowship(1972–1975), she obtained a master's degree in Computer Science ( Diplôme d'études approfondies (DEA)) at the Joseph Fourier University of Grenoble in 1972. She obtained her Doctorate ès Sciences/State Doctorate in Mathematics in Nancy in 1985 under the supervision of .In the 1980s, there existed in France two levels of PhDs, the higher one, the Doctorate ès Sciences/State Doctorate being ne ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Sakiet Sidi Youssef
Sakiet Sidi Youssef ( aeb, ساقية سيدي يوسف) is a town and commune in the Kef Governorate, Tunisia, near the border with Algeria. As of 2014, it had a population of 6,335. History In Roman times, the town was known as Naraggara. Roman historian Livy says that the Battle of Zama at the conclusion of the Second Punic War in 202 BCE took place near Naraggara.Simon Hornblower, Antony Spawforth, Esther Eidinow (editors), ''Oxford Classical Dictionary'' (Oxford University Press 2012, ) On 8 February 1958, it was bombarded by French forces in the belief that it was serving as a refuge for Algerian independence fighters. About 20 French bombers and fighters attacked causing at least 70 deaths and 1 ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mathematical Optimization
Mathematical optimization (alternatively spelled ''optimisation'') or mathematical programming is the selection of a best element, with regard to some criterion, from some set of available alternatives. It is generally divided into two subfields: discrete optimization and continuous optimization. Optimization problems of sorts arise in all quantitative disciplines from computer science and engineering to operations research and economics, and the development of solution methods has been of interest in mathematics for centuries. In the more general approach, an optimization problem consists of maxima and minima, maximizing or minimizing a Function of a real variable, real function by systematically choosing Argument of a function, input values from within an allowed set and computing the Value (mathematics), value of the function. The generalization of optimization theory and techniques to other formulations constitutes a large area of applied mathematics. More generally, opti ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Henri Poincaré University
The Henri Poincaré University, or Nancy 1, nicknamed UHP, was a public research university located in Nancy, France. UHP was merged into University of Lorraine in 2012, and was previously a member of the Nancy-Université federation, belonging to the French Nancy-Metz academy. History The first University of Lorraine was created in 1572 by the Duke Charles de Lorraine and the Cardinal Charles III, in a city near Pont-à-Mousson. Nancy 1 merged with Nancy-II, Paul Verlaine University – Metz, and the INPL forming the University of Lorraine. The merger process started in 2009 with the creation of a "pôles de recherche et d'enseignement supérieur" or PRES and was completed 1 January 2012. International UHP figures in the Academic Ranking of World Universities made by the Shanghai Jiao Tong University. In the year 2007, UHP ranked 305th at a worldwide scale and 124th at European scale. Organization and administration Components Uhp had five Faculties: *Science and Techno ... [...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]   |
|
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]   |
|
Professor
Professor (commonly abbreviated as Prof.) is an Academy, academic rank at university, universities and other post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin as a "person who professes". Professors are usually experts in their field and teachers of the highest rank. In most systems of List of academic ranks, academic ranks, "professor" as an unqualified title refers only to the most senior academic position, sometimes informally known as "full professor". In some countries and institutions, the word "professor" is also used in titles of lower ranks such as associate professor and assistant professor; this is particularly the case in the United States, where the unqualified word is also used colloquially to refer to associate and assistant professors as well. This usage would be considered incorrect among other academic communities. However, the otherwise unqualified title "Professor" designated with a capital let ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Nancy, France
Nancy ; Lorraine Franconian: ''Nanzisch'' is the Prefectures in France, prefecture of the northeastern Departments of France, French department of Meurthe-et-Moselle. It was the capital of the Duchy of Lorraine, which was Lorraine and Barrois, annexed by France under King Louis XV in 1766 and replaced by a Provinces of France, province, with Nancy maintained as capital. Following its rise to prominence in the Age of Enlightenment, it was nicknamed the "capital of Eastern France" in the late 19th century. The metropolitan area of Nancy had a population of 511,257 inhabitants at the 2018 census, making it the 16th-largest functional area (France), functional urban area in France and Lorraine's largest. The population of the city of Nancy proper is 104,885. The motto of the city is , —a reference to the thistle, which is a symbol of Lorraine. Place Stanislas, a large square built between 1752 and 1756 by architect Emmanuel Héré under the direction of Stanislaus I of Poland to lin ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...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]   |
|
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]   |