Skip navigation.

Yo mismo

Myself

Juan Antonio

Juan Antonio

My work

I am now entering into the second year of my PhD at the Formal Methods group with Andrei Voronkov as my supervisor and Renate A. Schmidt as my adviser. My research topic is set around propositional satisfiability and first order theorem proving, with its main focus in effectively propositional theorem proving and the model evolution calculus. Visit my homepage for more details, or the description in spanish

Fast facts

  • At the movies I like to see:science, sci-fi, clever plots and plot twists, unexpected things...
  • Last movie seen:Millions http://www.imdb.com/title/tt0366777/ (but couldn't see the ending)
  • Music I listen to:cafe tacuba, soundtracks, anything non-standard
  • Best album right now:Amelie (soundtrack)
  • Favorite author:Till Tantau (beamer/pgf/TikZ) - He can make documentation that is a pleasure to read!
  • Last book read:El búho que no podía ulular
  • Best game right now:Sokoban
  • Favorite sports team:none
  • I'm passionate about:Maths, LaTeX, Philosophy (nothing serious), Computers, Programming.
  • I wish I could:be there
  • Favorite travel destination:venice (but venice is not in italy!)
  • On my vacation I..:will try to enjoy life
  • If I won 1 million dollars, I would:be where I want to be
  • If I were a super hero I would:be a super hero!
  • Food I like:Mexican! Tacos, enchiladas, pancita, mole poblano.. :-D
  • I don't like:distance
  • Software I use:Opera, LaTeX, TeXnicCenter, Trillian, Skype, Picasa
  • Hardware I use:A windows :-( laptop