Sebastian Peter

Technische Universität Dortmund | TUD · Faculty of Electrical Engineering and Information Technology

The importance of battery electric vehicles (BEVs) for private mobility will increase significally within the coming years. This development will affect many areas of social life–from the mobility sector over spatial and urban planning to power systems. In particular, the associated demand for electric charging points, their connection to the distr...

Logic is a foundation for many modern areas of computer science. In artificial intelligence, as a basis of database query languages, as well as in formal software and hardware verification — modelling scenarios using logical formalisms and inferring new knowledge are important skills for going-to-be computer scientists. The Iltis project aims at pr...