= René Wagner = {{attachment:pr2-rw-cotesys-ros-fall-shool.jpg|René Wagner with TUM's PR2 James at CoTeSys-ROS Fall School 2010|align="right"}} is an external Ph.D. student in [[en/UdoFrese|Prof. Udo Frese]]'s [[en/Home|Multi-Sensor Interactive Systems Group (formerly Real-Time Computer Vision Group)]]. René Wagner studied computer science in [[http://www.informatik.uni-bremen.de|Bremen]] and, through the [[http://ec.europa.eu/education/lifelong-learning-programme/doc80_en.htm|EU Erasmus Programme]], in [[http://www.cs.cf.ac.uk/|Cardiff]]. He received his degree in computer science (Diplom-Informatiker) from University of Bremen in January 2010. His [[en/ReneWagnerDiplomarbeit|thesis (Diplomarbeit)]] focused on repeating the Grand Challenge experiment on a smaller scale with a robotic vehicle based on an R/C car autonomously traversing an accordingly down-scaled “race track” consisting of a network of sidewalks or paths in a public park. René Wagner has also actively contributed to a variety of open source projects in the embedded and handheld computing space including but not limited to [[http://lcdproc.org/|LCDproc]], [[https://web.archive.org/web/20100819043722/http://gpe.handhelds.org/|GPE]], [[https://web.archive.org/web/20100723110955/http://familiar.handhelds.org/|Familiar]], and [[http://openembedded.org/|OpenEmbedded]]. More information on the latter activities can be found [[http://nelianur.org/open-source|here]] on [[http://nelianur.org|René's personal home page]]. == Research Interests == * Probabilistic Robotics * 3D Mapping * Driverless Cars * Formal Specification of Software, and Automated Proving/Reasoning * Mobile Computing and User Interfaces == Open Source Projects == * [[http://openslam.org/MTK.html|MTK - The Manifold ToolKit]] :: MTK provides easy mechanisms to enable arbitrary sensor fusion algorithms to operate on manifolds. The main application is the use of 3D rotations SO(3), as well as the construction of compound manifolds from arbitrary combinations of sub-manifolds. MTK includes a refactored version of [[en/ChristophHertzberg|Christoph Hertzberg's]] SLoM (Sparse Least-Squares on Manifolds) framework and René's UKFoM, an Unscented Kalman filter modified to operate on manifold states and measurements. * [[http://www.ros.org|ROS.org]] :: [[http://www.ros.org/wiki/rotoscan_node|ROS driver]] for the Leuze rotoScan ROD-4 2D Lidar. == Publications == <> == Previous Projects and Affiliations == * [[https://youtu.be/Fl2N6yZrk1o|Agile Justin]] (July 2012 - June 2019) :: Research Assistant. [[http://www.robotic.dlr.de|German Aerospace Center (DLR) Institute of Robotics and Mechatronics]] :: Planning with self-acquired 3D environment maps and SLAM on [[http://www.robotic.dlr.de|DLR's]] humanoid robot Agile Justin * [[http://www.sfbtr8.uni-bremen.de/project/a7/|A7-FreePerspective]] (Jan-June 2012) :: Research Assistant. [[http://www.sfbtr8.uni-bremen.de/|SFB/TR 8 Spatial Cognition]]. :: SLAM in Urban Search and Rescue for 3D mapping of collapsed buildings. * [[http://www.dfki.de/cps/igel/|IGEL]] (2010-2011) :: Junior Researcher. [[http://www.dfki.de/|DFKI]] [[http://dfki.de/cps|Cyber-Physical Systems (previously Safe and Secure Cognitive Systems)]] research department. :: Design, implementation, and verification of software components of a novel laser range finder that scans the surface of a cone and is intended for use as an opto-electronic protective device in industrial settings primarily involving automated guided vehicles. * [[en/ReneWagnerDiplomarbeit|Autonomous Outdoor Navigation with a Robotic R/C Car]] (2009) Computer science final year project/thesis (Diplomarbeit). [[en/ReneWagnerDiplomarbeit|[More] ]]. * [[http://www.informatik.uni-bremen.de/dfki-sks/sams/index.en.html|SAMS]] (2008-2009) :: Student Assistant. [[http://www.dfki.de/|DFKI]] [[http://dfki.de/sks|Safe and Secure Cognitive Systems]] research department. :: Development of hardware and software components for the control of the SAMSMobil robot which is used at trade shows and exhibitions to showcase the [[http://www.informatik.uni-bremen.de/dfki-sks/sams/index.en.html|SAMS]] safety component. * [[http://robotik.dfki-bremen.de/de/forschung/projekte/carlton.html|Carlton]] (2007) :: Student Assistant. [[http://www.dfki.de/robotik|AG Robotik]]. Universität Bremen. :: Software development within the [[http://robotik.dfki-bremen.de/en/research/projects/search-and-rescue-robotics-sar-security-robotics/carlton.html|Carlton quadrocopter project]] involving least-squares optimization and (Extended) Kalman filtering. * [[http://rescuerobotics.informatik.uni-bremen.de/en-0-0.html|RescueRobotics Student Project]] (2005-2007) The !RescueRobotics project explored the use of walking robots and micro-UAVs in rescue scenarios and participated in [[http://www.robocup.org/|RoboCup]] Rescue 2006. Within this project René focused on the control and Unscented Kalman filter (UKF) based state estimation of the Aerobot UAV. * [[http://spass.mpi-sb.mpg.de/|SPASS]] Integration in [[http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/index_e.htm|Hets]] (2005) :: Student Assistant. [[http://www.informatik.uni-bremen.de/agbkb/index_e.htm|Research group of Prof. Dr. Bernd Krieg-Brückner]]. :: Development of a prover interface to the automated theorem prover [[http://spass.mpi-sb.mpg.de|SPASS]] for the [[http://hets.eu/|Heterogeneous Tool Set (Hets)]] enabling automated proving of formal specifications written in e.g. [[http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/CASL/|CASL]]. A detailed CV is available on request. == Contact == * rene.wagner at dlr dot de * Office address (at University of Bremen) :: +49 421 218 64224 :: Cartesium 0.49 :: Enrique-Schmidt Str. 5 :: 28359 Bremen * Principal address (at DLR) :: DLR Institute of Robotics and Mechatronics :: Muenchner Str. 20 :: 82234 Wessling