This site is currently broken for new queries. It seems like some bot hit it and we ran out of exa credits.
Enter your personal website to find others like you. Powered by Exa's "find similar". Built on Val Town.
example may or may not be career suicide (corollary: you should probably not
organizations focus on their core business.
Within computer science I am mostly interested in algorithmics, the RAM model of computation, databases, programming languages and logic.
Mastodon
I work at the interface between Computer Science and Mathematics, in various topics in data structures and algorithms, that are linked by the presenc…
These include both theoretical and practical aspects of logic, foundations of mathematics, computer-aided reasoning, semantics…
dans l'équipe DIG, encadré
I am mostly interested in the fields of systems, programming languages and
I am a researcher in computer science, interested in data structures, algorithms, combinatorics, and other related (and unrelated) topics.