Dr. rer. nat. in Computer Science / Software Engineering/ Formal Methods / Program Analysis

Interested in Green Tech, Climate Solutions, Climate Smart Agriculture.