cv.tex

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Medium Length Graduate Curriculum Vitae
% LaTeX Template
% Version 1.2 (3/28/15)
%
% This template has been downloaded from:
% http://www.LaTeXTemplates.com
%
% Original author:
% Rensselaer Polytechnic Institute 
% (http://www.rpi.edu/dept/arc/training/latex/resumes/)
%
% Modified by:
% Daniel L Marks <xleafr@gmail.com> 3/28/2015
%
% Important note:
% This template requires the res.cls file to be in the same directory as the
% .tex file. The res.cls file provides the resume style used for structuring the
% document.
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%-------------------------------------------------------------------------------
%	PACKAGES AND OTHER DOCUMENT CONFIGURATIONS
%-------------------------------------------------------------------------------

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% You can have multiple style options the legal options ones are:
%
%   centered:	the name and address are centered at the top of the page 
%				(default)
%
%   line:		the name is the left with a horizontal line then the address to
%				the right
%
%   overlapped:	the section titles overlap the body text (default)
%
%   margin:		the section titles are to the left of the body text
%		
%   11pt:		use 11 point fonts instead of 10 point fonts
%
%   12pt:		use 12 point fonts instead of 10 point fonts
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\let\nofiles\relax % allow .aux file for the lastpage package
\documentclass[margin]{res}  

\usepackage[scheme=plain,fontset=windows]{ctex}

% Default font is the helvetica postscript font
% \usepackage{helvet}
\usepackage{charter}

\usepackage{lastpage}
\usepackage{fancyhdr}
\usepackage[us,12hr]{datetime} % `us' makes \today behave as usual in TeX/LaTeX
\fancypagestyle{plain}{
\fancyhf{}
%\rfoot{Compiled on {\ddmmyyyydate\today} at \currenttime~EST}
%\lfoot{Page \thepage}
\fancyfoot[R]{page \thepage{} of \pageref*{LastPage}; updated \today}
\renewcommand{\headrulewidth}{0pt}}
\pagestyle{plain}

\usepackage{hyperref}
\hypersetup{
	breaklinks=true,
	colorlinks=true,
	urlcolor=blue
}

\expandafter\def\expandafter\UrlBreaks\expandafter{\UrlBreaks% save the current one
  \do\a\do\b\do\c\do\d\do\e\do\f\do\g\do\h\do\i\do\j%
  \do\k\do\l\do\m\do\n\do\o\do\p\do\q\do\r\do\s\do\t%
  \do\u\do\v\do\w\do\x\do\y\do\z\do\A\do\B\do\C\do\D%
  \do\E\do\F\do\G\do\H\do\I\do\J\do\K\do\L\do\M\do\N%
  \do\O\do\P\do\Q\do\R\do\S\do\T\do\U\do\V\do\W\do\X%
  \do\Y\do\Z\do\*\do\-\do\~\do\'\do\"\do\-}%

\newcommand{\fullhrulefill}{%
  \hspace*{-\sectionwidth}\hrulefill%
  }


%% provide \email macro
%% https://tex.stackexchange.com/a/128515
%% l3regex is now part of expl3
\usepackage{color,xparse,expl3}

\ExplSyntaxOn
\NewDocumentCommand{\email}{m}{
  \svend_email:n { #1 }
}
\tl_new:N \l_svend_email_tl
\seq_new:N \l_svend_email_seq
\cs_generate_variant:Nn \seq_set_split:Nnn { NnV }
\cs_new_protected:Npn \svend_email:n #1
  {
  \tl_set:Nn \l_svend_email_tl { #1 }
  \regex_replace_all:nnN { \cD. } { \c{textunderscore} } \l_svend_email_tl
  \seq_set_split:NnV \l_svend_email_seq { @ } \l_svend_email_tl
  \href{ mailto:#1 }{ \emailfont \seq_use:Nn \l_svend_email_seq { \emailat } }
  }
\ExplSyntaxOff
\newcommand\emailfont{\sffamily}
\newcommand\emailat{{\color{red}\small @}}


%% print compile time in current timezome
%% https://tex.stackexchange.com/a/167817
\usepackage{etoolbox}

\def\parsepdfdatetime#1:#2#3#4#5#6#7#8#9{%
  \def\theyear{#2#3#4#5}%
  \def\themonth{#6#7}%
  \def\theday{#8#9}%
  \parsepdftime
}

\def\parsepdftime#1#2#3#4#5#6#7\endparsepdfdatetime{%
  \def\thehour{#1#2}%
  \def\theminute{#3#4}%
  \def\thesecond{#5#6}%
  \ifstrequal{#7}{Z}
  {%
    \def\thetimezonehour{+00}%
    \def\thetimezoneminute{00}%
  }%
  {%
    \parsepdftimezone#7%
  }%
}

\def\parsepdftimezone#1'#2'{%
  \def\thetimezonehour{#1}%
  \def\thetimezoneminute{#2}%
}

\newcommand*{\thetimezone}{\thetimezonehour:\thetimezoneminute}

\expandafter\parsepdfdatetime\pdfcreationdate\endparsepdfdatetime

\usepackage{listings}
\lstset{
basicstyle=\small\ttfamily,
columns=flexible,
breaklines=true
}

\usepackage{uri}

% Increase text height
% \textheight=700pt

\begin{document}

%-------------------------------------------------------------------------------
%	NAME AND ADDRESS SECTION
%-------------------------------------------------------------------------------
\name{\sf Kagurazaka Ritsuka (晏雲杉)}

% Note that addresses can be used for other contact information:
% -phone numbers
% -email addresses
% -linked-in profile

\address{
\begin{tabular}{l l}
    Email         &: \email{cv@Ritsuka.moe}, \email{Ritsuka@umich.edu}, \email{Ritsuka314@queensu.ca}
  \\Personal Page &: \url{https://ritsuka.moe/}
  \\LinkedIn      &: \url{https://www.linkedin.com/in/kagurazaka-ritsuka-58a2a617a/}
  % \\Address       &: 2302 Paradise Court, Ann Arbor, Michigan 48105, United States of America
\end{tabular}
}

% Uncomment to add more addresses
% \address{Address 3 line 1\\Address 3 line 2\\Address 3 line 3}
%-------------------------------------------------------------------------------
\begin{resume}

%-------------------------------------------------------------------------------
\fullhrulefill

% \section{}
% This file was compiled at 
% \theyear-\themonth-\theday\ \thehour:\theminute:\thesecond\ \thetimezone.
% Most up-to-date version can be accessed at: \\
% \url{https://github.com/Ritsuka314/CV/blob/master/cv.pdf}

% \section{}
% A `.docx` formatted version generated from this file can be accessed at: \\
% \url{https://github.com/RichardYan314/Resume/blob/master/resume.docx} \\
% which may not be up to date.

% \section{OBJECTIVE}
% {\sl Pre-Final year B. Tech student at LNMIIT. Inquisitive, hard-working and consistent. Looking for internship opportunities at Microsoft where I can apply my skills and contribute to real-world projects }

% \section{}
% This file is an informal draft.

% For limited circulation only.

%-------------------------------------------------------------------------------

\section{Research\\interests}
discrete-event systems (supervisory control) \\
cybersecurity (detectabily, opacity and detectabily of DES) \\
computer assisted and verified proofs (Isabelle/HOL)

\section{Programming\\Languages\\and Tools}
C, C++ Java, Scala, Python, Lua\\
JavaScript/TypeScript, PHP\\
Prolog, Txl, REST APIs\\
Git, Linux, Docker, SQL

\section{Teaching experience}
Data Structures;
Computer Architecture;
Microprocessor Interfacing and Embedded Systems;
Discrete Mathematics;
Semantics of Programming Language;
Electric Circuits.

\section{Teaching\\awards}
2021 Dean's Teaching Assistant Award (DTA)\\
as exceptional Teaching Assistant nominated by the department.

Teaching Assistant of the Year for Excellence in Education and Exceptional Teaching\\
as voted by students of the department, for the academic year of 2016/2017.

\section{Position}

\textbf{Engineer}\\
Heterogeneous Compiler Lab\\
Huawei Technologies Canada Co., Ltd.\\
\null\qquad Nov. 2024--Present

\textbf{Post-doctoral Research Fellow}\\
Department of Electrical Engineering and Computer Science\\
University of Michigan\\
\null\qquad Principal Investigator: Prof. Stéphane Lafortune\\
\null\qquad Feb. 2024--Oct. 2025

% https://www.nsf.gov/awardsearch/showAward?AWD_ID=2144416

\section{Education}
\textbf{Doctor of Philosophy}\\
Department of Electrical and Computer Engineering\\
Queen's University, Canada\\
\null\qquad Supervisor: Prof. Karen Rudie\\
\null\qquad Awarded: 2023 Nov.

% https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=658840
% https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=692769
% https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=698466
% https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=719925

\textbf{Master of Engineering}\\
Department of Electrical and Computer Engineering \\
Queen's University, Canada\\
\null\qquad Awarded: 2019 June\\
\null\qquad GPA: 4.04/4.3

\textbf{Bachelor of Applied Science}\\
Department of Electrical and Computer Engineering\\
Queen's University, Canada\\
\null\qquad Awarded: 2018 June\\
\null\qquad with First Class Honours \\
\null\qquad \phantom{with} Dean's Scholar in all four years \\
\null\qquad core GPA: 3.97/4.3

%-------------------------------------------------------------------------------

\section{Publications}

See also \url{https://ritsuka.moe/bibpage.html}.

\subsection{Thesis}

{\bf K.~Ritsuka}\\
\textit{Decentralized Problems of Discrete-Event Systems:
Epistemic Reasoning and Graph Representation}\\
Ph.D. thesis

\subsection{Peer-Reviewed Publications}

{\bf K.~Ritsuka}, K.~Rudie\\
``A Uniform Approach to Compare Architectures in Decentralized Discrete-Event Systems'',\\
\emph{Automatica},
Volume 165, Article 111683 (2024)\\
\doi{10.1016/j.automatica.2024.111683}

{\bf K.~Ritsuka}, K.~Rudie\\
``Do What You Know: Coupling Knowledge with Action in Discrete-Event Systems'',\\
\emph{Discrete Event Dynamic Systems},
Volume 33, Pages 257-277 (2023)\\
\doi{10.1007/s10626-023-00381-z}

{\bf K.~Ritsuka}, K.~Rudie\\
``Epistemic Interpretations of Decentralized Discrete-Event System Problems'',\\
\emph{Discrete Event Dynamic Systems},
Volume 32, Pages 359-398 (2022)\\
\doi{10.1007/s10626-022-00363-7}

{\bf K.~Ritsuka}, K.~Rudie\\
``A Visualization of Inference-Based Supervisory Control in Discrete-Event Systems'',\\
\emph{Proceedings of the 60th IEEE Conference on Decision and Control (CDC)},
Pages 1062-1068 (2021)\\
\doi{10.1109/CDC45484.2021.9683210}

J.~Kulchyk, B.~Schonewille, {\bf K.~Ritsuka}, K.~Rudie\\
``Communication-Free Multi-Agent Coordination in an Unknown Environment'',\\
\emph{Proceedings of the 15th IFAC International Workshop on Discrete Event Systems (WODES)},
Volume 53, Issue 4, Pages 159-165 (2020)\\
\doi{10.1016/j.ifacol.2021.04.062}

\subsection{Technical Reports}

{\bf K.~Ritsuka}, K.~Rudie\\
``Equivalence of Decentralized Observation, Diagnosis, and Control Problems in Discrete-event Systems'',
2023\\
Preprint available as \arxiv{2204.10792}.

N.~Mertin, {\bf K.~Ritsuka}, K.~Rudie\\
``A Framework for the High-Level Specification and Verification of Synchronous Digital Logic Systems'',
2022\\
Preprint available as \arxiv{2201.10632}.

%-------------------------------------------------------------------------------

\section{Teaching}

\textbf{Graduate Teaching Assistant}

\begin{lstlisting}
    CISC 465/865-2023W: Semantics of Programming Languages (ongoing)
    ELEC 274-2023W: Computer Architecture (ongoing)
    ELEC 371-2022F: Microprocessor Interfacing and Embedded Systems
*   ELEC 270-2022W: Discrete Mathematics
**  ELEC 270-2021W: Discrete Mathematics
    ELEC 371-2020F: Microprocessor Interfacing and Embedded Systems
    ELEC 270-2020W: Discrete Mathematics
    ELEC 278-2019F: Data Structures
    ELEC 278-2018F: Data Structures

*   Head TA
**  Recipient of the 2021 Dean's Teaching Assistant Award (DTA)\\
    as exceptional Teaching Assistant nominated by the department. With a monetary award.
\end{lstlisting}

\textbf{Undergraduate Teaching Assistant}

\begin{lstlisting}
    ELEC 274-2018W: Computer Architecture
    ELEC 278-2017F: Data Structures
*   ELEC 274-2017W: Computer Architecture
    ELEC 221-2016F: Electric Circuits

*   Awarded as Teaching Assistant of the Year for Excellence in Education and Exceptional Teaching
    as voted by students of the department, for the academic year of 2016/2017.
\end{lstlisting}

%-------------------------------------------------------------------------------

\section{Awards}

\normalfont{ \textbullet{} Dean's Teaching Assistant Award, 2021\\}
\normalfont{ \textbullet{} Students' Choice: The Best Engineering Capstone Project, 2018\\}
\normalfont{ \textbullet{} Teaching Assistant of the Year, 2017\\}
\normalfont{ \textbullet{} Ho Ming Tai Memorial Scholarship, 2015, 2016, 2017\\}
\normalfont{ \textbullet{} Dean's Scholar, 2015, 2016, 2017, 2018\\}
\normalfont{ \textbullet{} Queen's University Excellence Scholarship, 2014\\}

%-------------------------------------------------------------------------------

\end{resume}
\end{document}