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 now. I'm a third-year PhD student of logic in ENS de Lyon (team Plume of the LIP lab) under the supervision of Olivier Laurent.
I'm re-reconstructing my website at the moment. It should be ready precisely in three at some point in the future.
I've mostly been working on game semantics for logic programming. So far, I've extended the games of simple logic programs to cover logic programs with disjunction. I'm currently investigating the possibility of connecting these games with the HO games used in functional programming, as well as trying to formalize the corresponding proof theory.
A game semantics for disjunctive logic programs [slides].
A game semantics approach for finite, propositional disjunctive logic programs
Game semantics for logic programming
Here are a few programs I've written. If you are looking for some other software in which I'm listed as an author, in particular for schole and omg.py, feel free to drop me an email.
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 wastes energy, it doesn't do anything". Look no further, this program is for you: lookbusy.py.
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.
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.)
email: thanos . tsouanas @ ens - lyon . fr
mail: Office 369N, LIP, ENS de Lyon 46 allée d'Italie, 69364 Lyon cedex 07, France
phone: (+33) (0) 4 72 72 82 30In case you actually call me, keep in mind that I share my office with Fabio Zanasi and
I like composing and some very few times performing music as well. Follow the links below if you want to learn more about this.
www.thanostsouanas.com: website about my music.
www.sians.org: my (almost dead) band's website.
If you are into recording music, be sure to read Tweak's guide, as there is a lot of useful information lying there.
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. Depends on web.py, so make sure you have this wonderful lib installed first.
You can hopefully also see it in action. Be sure that you gimme something neat while testing it.
This application used to run on greek.mathimatiko.net, and is admittedly the most frequently used web app I've written. It's an online way to convert latin "greeklish" to actual greek. Soon to be back online.
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 infinite depth, easy administration interface, smart password resetting, PMs associated with emails, and many more features. I will shut up now.
>>> Last update: Sat Jul 27 14:19:46 CEST 2013