Small updates

rapport.tex

@@ -2,7 +2,7 @@
 
 \usepackage[utf8]{inputenc}
 \usepackage[T1]{fontenc}
-\usepackage[british]{babel}
+\usepackage[english]{babel}
 
 \usepackage{amsmath,amssymb}
 
@@ -23,19 +23,19 @@
 \usepackage[top=2cm,bottom=2cm,left=2cm,right=2cm]{geometry}
 \usepackage{subfig}
 
-%\usepackage[
-%  backend      = biber,
-%  style        = alphabetic,
-%  sorting      = nyt,
-%  maxbibnames  = 99,
-%  maxcitenames = 3,
-%  autolang     = other,
-%  hyperref     = true,
-%  backref      = true,
-%  arxiv        = abs,
-%]{biblatex}
-%
-%\addbibresource{ref.bib}
+\usepackage[
+  backend      = biber,
+  style        = alphabetic,
+  sorting      = nyt,
+  maxbibnames  = 99,
+  maxcitenames = 3,
+  autolang     = other,
+  hyperref     = true,
+  backref      = true,
+  arxiv        = abs,
+]{biblatex}
+
+\addbibresource{ref.bib}
 
 \usepackage[nottoc, notlof, notlot]{tocbibind}
 
@@ -49,7 +49,7 @@
 \fancyhead{}
 \fancyfoot{}
 
-\lhead{Satifiability Modulo Theories on Floating Point Arithmetic}
+\lhead{CHEPHALOPODE}
 \rhead{\thepage}
 
 \begin{document}
@@ -75,8 +75,7 @@
 Lorem ipsum dolor sit amet\cite{Seg20}.
 
 \nocite{*}
-\bibliographystyle{plain}
-\bibliography{ref}
 
+\printbibliography[heading=bibintoc]
 
 \end{document}

title.tex

@@ -3,6 +3,7 @@
 \def\referee{
     Carl-Johan Seger\\
     Octopi Team\\
+    \url{octopi.chalmers.se} \\
     Chalmers tekniska högskola\\
     Göteborg, Sweden\\
     \mail{secarl@chalmers.se}\\
@@ -31,11 +32,12 @@
     Stage de M1}
     \\[2.0cm]
     \HRule{0.5pt} \\
+    \huge \textbf{ --- CEPHALOPODE --- } \\
     \LARGE \textbf{\uppercase{Design of execution unit in IoT functional
     language processor}} \\
     \Large \uppercase{Internship Report}
     \HRule{2pt} \\[0.5cm]
-    \normalsize June-August 2018
+    \normalsize March -- July 2020
 }
 
 \author{