1f3afde500
A .DS_Store A Presentations/.DS_Store A Presentations/20251215-Emerson-Pres/.DS_Store A Presentations/20251215-Emerson-Pres/ERLM_SABO_DRAFT_PRES.pdf A Presentations/20251215-Emerson-Pres/ERLM_SABO_FINAL_PRES.pdf A Presentations/20251215-Emerson-Pres/actual-presentation-outline.md A Presentations/20251215-Emerson-Pres/bouncing_ball_hybrid.py A Presentations/20251215-Emerson-Pres/images/.DS_Store
36 lines
801 B
TeX
36 lines
801 B
TeX
\begin{frame}[plain]
|
|
\LARGE\textbf{Formally Verified Autonomous Hybrid Control}
|
|
|
|
\vspace{0.2cm}
|
|
|
|
\begin{columns}[T]
|
|
% Left column: Contact info
|
|
\begin{column}{0.35\textwidth}
|
|
\normalsize Enabling Economic Viability of Next-Generation Nuclear Power
|
|
|
|
\vspace{0.5cm}
|
|
|
|
\large\textbf{Dane A. Sabo}\\
|
|
\small dane.sabo@pitt.edu
|
|
|
|
\vspace{0.5cm}
|
|
|
|
\textbf{Advisor:}\\
|
|
Dr. Daniel G. Cole\\
|
|
\small dgcole@pitt.edu
|
|
|
|
\vspace{0.5cm}
|
|
|
|
University of Pittsburgh\\
|
|
Department of Mechanical Engineering and Materials Science
|
|
\end{column}
|
|
|
|
% Right column: Money image
|
|
\begin{column}{0.65\textwidth}
|
|
\centering
|
|
\includegraphics[height=0.7\textheight]{images/money.png}
|
|
\end{column}
|
|
\end{columns}
|
|
|
|
\end{frame}
|