Carsten Sinz

Summary

Carsten Sinz is a human^[1]. He was born on +1970-00-00T00:00:00Z^[2]. He worked as a computer scientist^[3].

Key Facts

• Carsten Sinz was born on +1970-00-00T00:00:00Z^[2].
• Carsten Sinz held citizenship in Germany^[4].
• Carsten Sinz's professions included computer scientist^[3].
• Carsten Sinz's field of work was formal methods^[5].
• Carsten Sinz was employed by Karlsruhe Institute of Technology^[6].
• Carsten Sinz's doctoral advisor was Wolfgang Küchlin^[7].
• Carsten Sinz is recorded as male^[8].
• Carsten Sinz's instance of is recorded as human^[9].
• Carsten Sinz's ISNI is recorded as 0000000020740234^[10].
• Carsten Sinz's VIAF cluster ID is recorded as 25662456^[11].
• Carsten Sinz's GND ID is recorded as 128686480^[12].
• Carsten Sinz's ORCID iD is recorded as 0000-0001-9718-1802^[13].
• Carsten Sinz's Mathematics Genealogy Project ID is recorded as 113192^[14].
• Carsten Sinz's family name is recorded as Sinz^[15].
• Carsten Sinz's given name is recorded as Carsten^[16].
• Carsten Sinz's official website is recorded as https://www.carstensinz.de/^[17].
• Carsten Sinz's DBLP author ID is recorded as s/CarstenSinz^[18].
• Carsten Sinz's MR Author ID is recorded as 810255^[19].
• Carsten Sinz's curriculum vitae URL is recorded as https://www.carstensinz.de/CV.html^[20].
• Carsten Sinz's DDB person is recorded as 128686480^[21].

Body

Origins and Family

Carsten Sinz was born on +1970-00-00T00:00:00Z^[2].

Education

Carsten Sinz's doctoral advisor was Wolfgang Küchlin^[7].

Career and Affiliations

Carsten Sinz's professions included computer scientist^[3]. His field of work was formal methods^[5]. He was employed by Karlsruhe Institute of Technology^[6].

FAQs

What did Carsten Sinz do for work?

Carsten Sinz worked as computer scientist^[3].