Professor in the School of Computer Science at the University of Birmingham in the UK. Interested in constructive mathematics and (constructive and non-constructive) homotopy type theory and univalent foundations, connections of topology with computation, (infinity) topos theory, locale theory, domain theory, combinatorial game theory etc.
Fediverse address:
@MartinEscardo@mathstodon.xyz
Lecturer in the School of Computer Science at the University of Sydney, Australia. His main research area is in the junction between Software Engineering and Cybersecurity. Interested in Program Analysis, Automatic Repair, Mutation Analysis, Specification Mining, Grammar Based Generators and Parsing.
Fediverse address:
@rahul@gopinath.org
French computing research laboratory founded in 1986.
Fediverse address:
@LipnLab@lipn.info
Computer science professor and affiliate law professor at Columbia University in New York, USA. Interested in privacy and legal issues, also well known as one of the creators of USENET.
Fediverse address:
@SteveBellovin@infosec.exchange
The Information Systems and Knowledge Management Lab (ISLab) at the University of Milan in Italy. Posts in English and Italian about research from Computational Linguistics to Computational Humanities.
Fediverse address (in English & Italian):
@IslabUnimi@fediscience.org
Director of the Human-Computer Interaction Lab and assistant professor of the Department of Computer Science at Princeton University in the United States. Also runs the hci.social Mastodon server.
Fediverse address (in English and Spanish):
@andresmh@hci.social
PhD student in Computer Science, Data Visualisation researcher particularly interested in XAI and genomics. Also emergent media artist working with Blender. Based in Boston, USA.
Fediverse address:
@janeadams@datavis.social
Discussion group about bioinformatics and related fields. (Click here ⧉ for more info on how to use Fediverse groups.)
Fediverse address:
@bioinformatics@a.gup.pe
Official account of the French National Institute for Research in Digital Science and Technology, founded in 1967. The institute does theoretical and applied research in computer science.
Fediverse address (in French):
@inria@social.numerique.gouv.fr
Computer scientist, inventor of the World Wide Web, HTML, HTTP, URLs, web browsers etc. Founder and director of the World Wide Web Consortium (W3C).
Fediverse address:
@timbl@w3c.social