Internformat: Wolf, Karsten 1967-

Geboren:	1967
Andere Namen:	Wolf, K. (1967-) Schmidt, Karsten (1967-) Schmidt, K. (1967-)
Beruf:	Informatiker
Geografischer Bezug:	Wirkungsort: Berlin Wirkungsort: Rostock Land: Deutschland (XA-DE)
Biografische Referenzen:	GND (124773052) Prometheus (124773052) Wikidata (Q102712204) Internet

MARC


LEADER	00000cz a2200000n 4500
001	36593660X
003	DE-627
005	20220409212109.0
008	120419n\|\|aznnnabbn \| aaa \|c
024	7	\|a Q102712204 \|2 wikidata \|9 PipeLineGenerated
024	7	\|a http://d-nb.info/gnd/124773052 \|2 uri
035		\|a (DE-588)124773052
035		\|a (DE-627)36593660X
035		\|a (DE-576)294494456
035		\|z (DE-588a)124773052 \|9 v:zg
043		\|c XA-DE
079		\|a g \|b p \|c v \|q f \|v piz
100	1	\|a Wolf, Karsten \|d 1967-
375		\|a 1 \|2 iso5218
400	1	\|a Schmidt, Karsten \|d 1967- \|4 nafr \|w r \|i Frueherer Name \|e Frueherer Name \|9 v:Geburtsname
400	1	\|a Schmidt, K. \|d 1967-
400	1	\|a Wolf, K. \|d 1967-
548		\|a 1967- \|4 datl \|w r \|i Lebensdaten
550		\|a Prof. Dr. rer. nat. \|4 akad \|w r \|i Akademischer Grad
550		\|0 (DE-627)105635685 \|0 (DE-576)209694017 \|0 (DE-588)4139395-8 \|a Informatiker \|4 berc \|w r \|i Charakteristischer Beruf
551		\|0 (DE-627)10482638X \|0 (DE-576)208862560 \|0 (DE-588)4005728-8 \|a Berlin \|4 ortw \|w r \|i Wirkungsort
551		\|0 (DE-627)104757477 \|0 (DE-576)209088540 \|0 (DE-588)4050610-1 \|a Rostock \|4 ortw \|w r \|i Wirkungsort
670		\|a Internet
678		\|b 1997-2005 tätig am Institut für Informatik der Humboldt-Universität zu Berlin; ab 2006 Professor für Theorie der Programmiersprachen und Programmierung am Institut für Informatik der Universität Rostock
692		\|a Explicit state space verification. - 2002
ORI		\|a SA-MARC-ixtheoc001.raw
SUB		\|a IXT \|b 1
TIT		\|a ixtheo