Josefine Graebener - Revision history

Murray at 20:06, 30 November 2025

2025-11-30T20:06:19Z

← Older revision		Revision as of 20:06, 30 November 2025
Line 7:		Line 7:
	\|Graduated=2024/04/30		\|Graduated=2024/04/30
	\|Previous positions=PhD student		\|Previous positions=PhD student
			\|Subsequent positions=Research engineer, Zoox
	}}		}}

Murray at 20:01, 30 November 2025

2025-11-30T20:01:14Z

← Older revision		Revision as of 20:01, 30 November 2025
Line 4:		Line 4:
	\|Current position=Alumni		\|Current position=Alumni
	\|Department=Aero		\|Department=Aero
	\|~~Current project~~=Layered T&E for Safety-Critical Autonomous Systems		\|Previous projects=Temporal Logic Specifications for Control System Design in Automotive Systems, Formal Methods for V&V and T&E of Autonomous Systems, Layered T&E for Safety-Critical Autonomous Systems, Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation
	~~\|Other projects=~~Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation
	~~\|Previous projects=Temporal Logic Specifications for Control System Design in Automotive Systems, Formal Methods for V&V and T&E of Autonomous Systems~~
	\|Graduated=2024/04/30		\|Graduated=2024/04/30
	\|Previous positions=PhD student		\|Previous positions=PhD student
	}}		}}

Murray at 20:00, 30 November 2025

2025-11-30T20:00:46Z

← Older revision		Revision as of 20:00, 30 November 2025
Line 2:		Line 2:
	\|First name=Josefine		\|First name=Josefine
	\|Last name=Graebener		\|Last name=Graebener
	\|Current position=~~Postdoc~~		\|Current position=Alumni
	\|Department=Aero		\|Department=Aero
	\|Current project=Layered T&E for Safety-Critical Autonomous Systems		\|Current project=Layered T&E for Safety-Critical Autonomous Systems
	\|Other projects=Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation		\|Other projects=Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation
	\|Previous projects=Temporal Logic Specifications for Control System Design in Automotive Systems, Formal Methods for V&V and T&E of Autonomous Systems		\|Previous projects=Temporal Logic Specifications for Control System Design in Automotive Systems, Formal Methods for V&V and T&E of Autonomous Systems
	\|Graduated=2024-04-30		\|Graduated=2024/04/30
	\|Previous positions=PhD student		\|Previous positions=PhD student
	}}		}}

Murray at 01:59, 16 June 2024

2024-06-16T01:59:47Z

← Older revision		Revision as of 01:59, 16 June 2024
Line 2:		Line 2:
	\|First name=Josefine		\|First name=Josefine
	\|Last name=Graebener		\|Last name=Graebener
	\|Current position=~~PhD student~~		\|Current position=Postdoc
	\|Department=Aero		\|Department=Aero
	\|Current project=Layered T&E for Safety-Critical Autonomous Systems		\|Current project=Layered T&E for Safety-Critical Autonomous Systems
	\|Other projects=Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation		\|Other projects=Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation
	\|Previous projects=Temporal Logic Specifications for Control System Design in Automotive Systems, Formal Methods for V&V and T&E of Autonomous Systems		\|Previous projects=Temporal Logic Specifications for Control System Design in Automotive Systems, Formal Methods for V&V and T&E of Autonomous Systems
			\|Graduated=2024-04-30
			\|Previous positions=PhD student
	}}		}}

Murray at 17:17, 9 July 2023

2023-07-09T17:17:31Z

← Older revision		Revision as of 17:17, 9 July 2023
Line 4:		Line 4:
	\|Current position=PhD student		\|Current position=PhD student
	\|Department=Aero		\|Department=Aero
	\|Current project=~~NSF~~ T&E		\|Current project=Layered T&E for Safety-Critical Autonomous Systems
	\|Other projects=~~AFOSR T~~&E		\|Other projects=Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation
	\|Previous projects=~~DENSO CPM~~		\|Previous projects=Temporal Logic Specifications for Control System Design in Automotive Systems, Formal Methods for V&V and T&E of Autonomous Systems
	}}		}}

Murray at 03:37, 12 September 2022

2022-09-12T03:37:29Z

← Older revision		Revision as of 03:37, 12 September 2022
Line 5:		Line 5:
	\|Department=Aero		\|Department=Aero
	\|Current project=NSF T&E		\|Current project=NSF T&E
			\|Other projects=AFOSR T&E
	\|Previous projects=DENSO CPM		\|Previous projects=DENSO CPM
	}}		}}

Murray at 16:29, 4 September 2021

2021-09-04T16:29:12Z

← Older revision		Revision as of 16:29, 4 September 2021
Line 4:		Line 4:
	\|Current position=PhD student		\|Current position=PhD student
	\|Department=Aero		\|Department=Aero
	\|Current project=DENSO CPM		\|Current project=NSF T&E
			\|Previous projects=DENSO CPM
	}}		}}

Murray: Created page with "{{Group member |First name=Josefine |Last name=Graebener |Current position=PhD student |Department=Aero |Current project=DENSO CPM }}"

2019-09-18T15:12:52Z

Created page with "{{Group member |First name=Josefine |Last name=Graebener |Current position=PhD student |Department=Aero |Current project=DENSO CPM }}"

New page

{{Group member
|First name=Josefine
|Last name=Graebener
|Current position=PhD student
|Department=Aero
|Current project=DENSO CPM
}}