Université de Lorraine has developed a large range of international activities, including student exchanges, shared degrees, research collaborations and staff mobility, working hand in hand with partners all around the globe. With its 9,500 international students, Université de Lorraine is the leading French university in Erasmus mobility. Being located at the heart of Europe, Université de Lorraine plays a major role in the cross-border academic network called University of the Greater Region, in partnership with the Technische Universität Kaiserslautern, the University of Liège, University of Luxembourg, Saarland University and Trier University.
Address:Cité Universitaire, 57000 Metz, France
Phone:+33 3 72 74 00 08
Algorithmics and programming
advanced software engineering
logic and proofs
model-checking and verification
security of information systems
protocol and system verification techniques.