Zur Webseite der Informatik

Mateus Araújo Borges

Teaching and Research Assistant

address Universität Stuttgart
Institute of Software Technology
Universitätsstraße 38 
D-70569 Stuttgart 
Germany
phone +49 711 685-88 253
fax +49 711 685-88 472
e-mail mateus.borges [at] informatik.uni-stuttgart.de
room 1.328
office hours: any time the door is open (or by appointment)

Research Interests

  • Symbolic Execution for Software Testing and Debugging
  • Probabilistic Software Analysis

 


Publications

Google Scholar

DBLP

 

 


Teaching

Winter semester 2015/2016