People Search

Stefan Milius

jegliche öffentliche Information

Wie andere Suchmaschinen(Google oder Bing) sammelt Radaris Information von öffentlichen Quellen

Soziale Medien mit Stefan Milius

Xing

Stefan Milius
Gegend:
38106 Braunschweig, Germany
Arbeit:
Akademischer Rat auf Zeit
Organisationen:
Logical Methods in Computer Science (e-journal for theoretical cs, www.lmcs-online.org)
Hochschulen:
 TU Braunschweig (Theoretische Informatik, Dr. rer. nat.), York University, Toronto, Canada (Pure Mathematics, Master of Arts (MA)), TU Braunschweig (Informatik, Dipl. Inform.)
Status:
Employee
Sprachen:
German (First language), English (Fluent), Spanish (Basic knowledge), Russian (Basic knowledge)
Berufserfahrung:
 Siemens AG Mobility,  (Mitarbeiter der Software Initiative), TU Braunschweig,  (Wissenschaftlicher Mitarbeiter)
Ich suche:
research projects in formal methods in software development
Ich biete:
expertise in theoretical computer sciene, category theory in the semantics of computation, model-driven software design and formal methods, model checking, design of safety critical software (EN50128), e-publishing in theoretical computer science
Interessen:
reading, travelling, playing piano and guitar