%statement Institut f&uuml;r Computersprachen / Programmiersprachen und &Uuml;bersetzer


%content

<h4>Teaching</h4>

<a href="http://www.complang.tuwien.ac.at/franz/pk">Grundlagen der Programmkonstruktion - Sommersemester 2013</a>

<h4>Research</h4>

My research topic is conditional term rewriting, focussing on transformations and
invertation. Further information and publications: 
<a href="http://www.logic.at/staff/gmeiner">Karl Gmeiner @ E185-2</a>.

<h4>Where to find me</h4>

<ul>
	<li>Office hours Monday, 10:30am - 11am </li>
	<li><a href="mailto:karl@complang.tuwien.ac.at">per email</a></li>
	<li>phone: +43-1-58801-18520</li>
	<li>Address: <br /><br />
		Univ.-Ass. DI Karl Gmeiner<br />
		Technische Universit&auml;t Wien<br />
		Institut f&uuml;r Computersprachen E 185<br />
		Argentinierstr. 8/4 / E185-1<br />
		1040 Vienna<br />
	</li>
</ul>
<h4>Other activities</h4>
<ul>
	<li><a href="http://code.google.com/p/qfractals/">QFractals: My favorite toy</a></li>
	<li><a href="https://www.facebook.com/pages/captain-knife/10150122448385136?sk=info">some music...</a></li>
</ul>

