In a nutshell...

Simpsonized Thanos

Hello! In short, I enjoy mathematics, music, computer science and some other stuff, which I apparently enjoy so much that I forgot what they are right now. I recently obtained my PhD in theoretical computer science from ENS de Lyon (team Plume of the LIP lab) under the supervision of Olivier Laurent.

I obtained my MSc in mathematical logic from MPLA, and my BSc in pure mathematics from the University of Athens.

Further, boring information might be found in my CV.

Under re-reconstruction

I'm re-reconstructing my website at the moment. It should be ready precisely in three at some point in the future.

Research

Long-haired Thanos

I have mostly been working on disjunctive logic programs, and their game semantics. So far, I have extended the games of simple logic programs to cover logic programs with disjunction, and I developed a method to transform any non-disjunctive semantics into a corresponding disjunctive one. Some other areas that I find highly interesting are set theory and proof theory.

PhD thesis

On the semantics of disjunctive logic programs, defended on July 2nd, 2014.
download: thesis | defense.

Publications

In preparation: An abstract semantic framework for logic programming

Talks

A game semantics for disjunctive logic programs [slides].

  • UFMG, Belo Horizonte, Brazil (talk, Mar 2014);
  • LIX, École Polytechnique, Paris, France (talk, Jan 2013);
  • University of Bath, UK (invited speaker, Sep 2012);
  • University of Oxford, UK (talk in seminar, May 2012).

A game semantics approach for finite, propositional disjunctive logic programs

  • PL Seminar, NTUA, Greece (Dec 2011);
  • LAC-GeoCal, Ecole Polytechnique, Paris, France (Nov 2011);
  • MALOA Training Workshop, University of Leeds, UK (Jun 2011);
  • GaLoP, ETAPS, Saarland University, Germany (Mar 2011).

Game semantics for logic programming

  • MALOA Training Workshop, Fischbachau, Germany (Sep 2010).

Web applications

schole

A complete web application that covers most needs for a university department's (postgraduate) program. For the time being the only site running schole is MPLA. Once it matures a bit more, I will release it as an open source project.

greekizer

www.greekizer.org screenshot

An early version of this application used to run on greek.mathimatiko.net, and is admittedly the most frequently used web app I have written. It's an online converter from the “TeX/babel greek” and from the standard “greek keyboard” layouts, to actual, unicode greek. It supports ancient greek as well as spell-checking with suggestions.

You can use it here: www.greekizer.org.

gimme

File upload, as simple and self-contained as it can get. Quite a lot of people have requested this file over time, so here it is it will soon be back online. It uses web.py, so make sure you have this lib installed first.

Hopefully, you can also see it in action. Make sure that you gimme something neat while testing it.

BeeBB web forum

Beepy (BeeBB's mascot)

BeeBB: this is a featureful web forum application, written using pure Python CGIs, at a time when no fancy web frameworks were available. I keep its website online (along with all its dead links) and, of course, its source code, mostly for historic, personal and educational reasons. If you need to run a forum application in python nowadays, you'd better create one using any of the web frameworks to handle all the gory "low-level" details. I'm just too proud for this application to put it offline. Everything was built from scratch: a custom and secure session implementation, sub-sub-...-forums of depth ω, an easy administration interface, smart password resetting, PMs associated with emails, and many more features. I will shut up now.

Contact

Thanos photo

email: thanos@tsouanas.org

mail: without a permanent address for the time being, so contact me elsehow before sending me something via snail mail

phone: (+30) 69 07 56 44 92

IRC: tsou@freenode

Music

My old home-studio

I like composing and some very few times performing music as well. Follow the links below if you want to learn more about this, although they haven't been updated for ages. Here are my two favorite compositions, I think: The Play and Fairies.

music.tsouanas.org: website about my music.

www.sians.org: my (almost dead) band's website.

Programs

I love programming! In case you care about that (though really, you shouldn't), I mostly use Haskell, Python Ruby, and the Unix shell. You can find a few not-so-useful programs I've written below. If you are looking for some other software in which I'm listed as the author, feel free to drop me an email.

lookbusy

lookbusy.py screenshot

Look busy doing nothing. Pretty much what it says... So, your eco-friendly (room)mate/mom/dad/whatever keeps powering off your computer, after glancing at the screen and making the wise decision that "it just sits there wasting energy, it's not doing anything". Look no further, this program is for you: lookbusy.py.

TeXout

Download. This python program implements literate programming using LaTeX. Inspired by Haskell's LaTeX support for literate programming, it can be used for any programming language(s). The sample input TeX file provided should be enough documentation.

TsouTAPL

TAPL book cover

Project site. Implementation in Haskell of various λ-calculus based systems found in Benjamin Pierce's book, Types and Programming Languages.

If you are interested in this, you may also want to check tapl-haskell, a similar, independent project.

(If you have no idea what this book is all about, you probably couldn't care less about this program. Also, I just noticed that due to some changes in recent versions of GHC, the whole thing won't compile anymore. Until I tweak those things that need tweaking, let's pretend it's some kind of vintage attitude.)

Misc

OpenBSD ∩ λProlog

Just in case the intersection of the set of OpenBSD users with the set of λProlog users is not a singleton (which is a conjecture yet to be proved, for the time being), you might find my notes on installing Teyjus on OpenBSD useful. My teyjus OpenBSD port is available there.

Funny

xkcd, Abstruse Goose, Merton, CakeBomb (damn, they disbanded.. well, hello TomSka!)

Not so funny

On Saturday, May 11th, 2013, in Brazil, I was shot in the back!

Kudos

>>> Last update: Thu Jul 10 17:08:00 CEST 2014

~
~
~
~
~
~
:wq