Clemens Wiltsche
BA Hons, Master and Semester Thesis Student
Automatic Control Laboratory
Swiss Federal Institute of Technology
Physikstrasse 3, ETL I 31
8092 Zurich
Email: wclemens (at) ethz (dot) ch
I received my BA in Computer Science from the University of Cambridge in 2010 and am currently completing my MSc in Electrical Engineering at the Swiss Federal Institute of Technology. In 2012 I will be a visiting researcher at Caltech under Prof. Richard M. Murray. My research interests are the automated synthesis of software from high-level specifications, the verification and design of concurrent real-time systems and robot-assisted search and rescue. Here is my full CV.
Research
- Automated Synthesis of Controllers for Search & Rescue from Temporal Logic Specifications. Master Thesis under the supervision of Prof. John Lygeros, Dr. Federico A. Ramponi and Jean Summers, while at ETH Zurich. Please send me an email if you are interested in obtaining a copy of the thesis.
- Feed-Forward Parameter Identification for Precise Periodic Quadrocopter Motions. Semester Project under the supervision of Prof. Raffaello D'Andrea and Angela Schoellig, while at ETH Zurich. The here is the final report and the presentation. For a preprint of the paper submitted for review to ACC 2012, please send me an email.
- Convex Optimization Tailored for Real-Time Model Predictive Control. Semester Project under the supervision of Prof. Manfred Morari, Dr. Colin Johnes, Melanie Zeilinger and Alexander Domahidi, while at ETH Zurich. Here is the final report and the presentation.
- Worst Case Execution Time Calculation for the Hitachi H8S. Bachelor Thesis under the supervision of Dr. David J. Greaves, while at the University of Cambridge. Here is the final report.
Teaching
- Signal and Information Processing: Modeling, Filtering and Learning Teaching assistant, here is the link to the course page.