Quick
index
main
eev
eepitch
maths
angg
blogme
dednat6
littlelangs
PURO
(C2,C3,C4,
 λ,ES,
 GA,MD,
 Caepro,
 textos,
 Chapa 1)

emacs
lua
(la)tex
maxima
git
lean4
agda
forth
squeak
icon
tcl
tikz
fvwm
debian
irc
contact

How to get in touch with me

E-mail: eduardoochs@gmail.com
Telegram: https://t.me/eduardoochs / @eduardoochs
Facebook: https://www.facebook.com/eduardo.ochs / Eduardo Nahum Ochs. Photos.
Whatsapp: ask.
IRC: I'm "edrx" at irc.freenode.net

For my informal CV, see my pages on research and teaching.
I haven't updated my Currículo Lattes in ages.
The last time that I made a proper CV was in 2012 (PDF).

The rest of this page is very old.



Update (2012)

  • I work in a federal university in Brazil, in a campus at the contryside, where the internet connection is VERY slow - often below 2KB/s - and breaks often. Here are some pics of the campus - and one of the reasons why our budget is not enough for a better connection is that those containers are rented. By the way, the white containers are classrooms, the brown ones are storage.
  • I have a good internet connection at home now (since may/2012). The best way to get in touch with me to send an e-mail to eduardoochs@gmail.com and wait (I am not very quick at answering ☹...).

IRC

  • I'm "edrx" at irc.freenode.net. Try to /query or /whois me if I'm not at #emacs or at #eev.

E-mail

  • <eduardoochs@gmail.com>.

Real life

  • I live in Rio de Janeiro, Brazil, but I spend about half of each week in Rio das Ostras.
  • I lost my cell phone (9554-7914) in march/2008 and I discovered that life is much better without one. So don't call it, I'm not there. I'm not usually close to fixed phones, either.
  • I look more or less like this, this, and this (*).

My CV