German Vidal<p>Hello World! </p><p>I'm a Prof. of <a href="https://mastodon.acm.org/tags/ComputerScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ComputerScience</span></a> at VRAIN/UPV (València, Spain), mainly working on (explainable, symbolic) artificial <a href="https://mastodon.acm.org/tags/intelligence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>intelligence</span></a> <a href="https://mastodon.acm.org/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://mastodon.acm.org/tags/XAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>XAI</span></a>, (<a href="https://mastodon.acm.org/tags/probabilistic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>probabilistic</span></a>) <a href="https://mastodon.acm.org/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://mastodon.acm.org/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a>, term <a href="https://mastodon.acm.org/tags/rewriting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>rewriting</span></a>, <a href="https://mastodon.acm.org/tags/causality" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>causality</span></a>, <a href="https://mastodon.acm.org/tags/concurrency" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>concurrency</span></a>, programming <a href="https://mastodon.acm.org/tags/languages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>languages</span></a>, <a href="https://mastodon.acm.org/tags/reversible" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>reversible</span></a> computing, program <a href="https://mastodon.acm.org/tags/verification" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>verification</span></a>, and <a href="https://mastodon.acm.org/tags/debugging" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>debugging</span></a>.
</p><p>I plan to use this account mostly for scientific matters, but not only. I'm also quite interested in <a href="https://mastodon.acm.org/tags/photography" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>photography</span></a>, <a href="https://mastodon.acm.org/tags/sciencefiction" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sciencefiction</span></a>, <a href="https://mastodon.acm.org/tags/travel" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>travel</span></a>, <a href="https://mastodon.acm.org/tags/movies" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>movies</span></a>, <a href="https://mastodon.acm.org/tags/series" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>series</span></a>, etc, etc.</p>