Leibniz Universität Hannover Faculty Faculty of Electrical Engineering and Computer Science
Deutsch Contact Deutsch
Institute of Microelectronic Systems
 
Institute of Microelectronic Systems Studies Courses

Lecture: Formal Methods in Computer Engineering

The aim of the lecture is to give a detailed overview of basic mathematical methods used in modern information technology. A special focus is on combinatorial optimization methods, which are of particular importance in the development of hardware and software systems, e.g. in the design of microelectronic circuits.

The lecture will be held in German.

Your lecturer

Dr.-Ing. Markus Olbrich
Senior Research Staff
Phone
+49 511 762 19661
Fax
+49 511 762 19694
Email
markus.olbrichims.uni-hannover.de
Address
Appelstraße 4
30167 Hannover
Building
3703
Room
403
Dr.-Ing. Markus Olbrich
Senior Research Staff
Phone
+49 511 762 19661
Fax
+49 511 762 19694
Email
markus.olbrichims.uni-hannover.de
Address
Appelstraße 4
30167 Hannover
Building
3703
Room
403

Last Change: 22.06.23 Print

Contact us
Contact