German Vidal

#Introduction I've been around the Fediverse for a few years, but at some point I ended up abandoning this account 🙈

So... let’s try again.

I teach computer science at VRAIN-UPV (Universitat Politècnica de València, Spain). My research interests include things like explainable and symbolic #AI, #probabilistic #logic programming/term rewriting, #causality, #concurrency, #programming languages, #reversible computing, program #verification, and #debugging.

Outside of work, I'm into #photography and I'm a big #sci-fi fan (books, movies, and TV shows). I also enjoy traveling, cooking, and getting outside for a walk or a run.

Languages: Spanish (native), Catalan, English, and some Italian.

Feb 4 at 5:54pmWeb
Show threadMurphy TheNoMad2d ago
@the_heruman welcome back 👋👍
Show threadscrewlisp2d ago

@the_heruman
Hey, I wonder if you might be available to talk briefly about some of your interests on the Sunday-morning-in-Europe 8am Sunday UTC peertube live edition of the weekly podcast I do (e.g. with KMP and Ramin on the Tuesday-night-in-the-Americas edition last 0UTC Wednesday).

I am modestly well acquainted with #commonLisp diaspora of some of your interests myself. It would be very interesting to hear what you have been doing and are interested in in the wild recently (lisp or not).

Show threadGerman Vidal2d ago
@screwlisp Hi! It sounds interesting, but I'm afraid I have social anxiety and I don't handle live interaction with other humans well... Sorry.
Show threadscrewlisp2d ago

@the_heruman that's alright. If you would be interested in recording something I could play instead that would be good too, but if not that is fine.

I think many of your interests are interesting to our crowd around the fediverse as well.