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

Why I choose the Opera browser

I choose opera simply because it is the best browser ever. It renders properly webpages and supports modern web standards. It comes with the email client M2 which is like nothing you have used before: fast, efficient and secure. Opera also helps me to protect my privacy with a fine tuned cookie control. It also has the best user interface I've seen, and it is not only because of the fact that it looks <i>really nice</i>, but it is also very efficient and conveniently designed for easy navigation. Anything you don't like about Opera? You can customize it! Opera also allows you to modify up to the most tiny detail, so that you can make everything look and feel exactly the way you want.

Download Opera