
Denis Merigoux
@dmerigoux
Starting Research Position at @ProseccoINRIA. Programming languages, formal methods and the law. catala-lang.org. @[email protected] @[email protected]
ID: 1225094897780297729
https://merigoux.fr 05-02-2020 16:33:37
1,1K Tweet
997 Followers
249 Following

🏴☠️ MC Pablo ∴ #SyndiquezVous
@p4bl0
🔴⚫ Maître de conférences en #informatique #LicenceIV #openaccess #sécurité #privacy #blockchains Marseillo-Dionysien, patronus capybara, team🧄, óai e libertat
Nate Abele
@nateabele
In front of a glowing rectangle, trying to press the right button. Whatever I post here should be taken as a joke you probably aren't meant to get.
Richard Kelley
@richardkelley
Roboticist and senior engineer for the State of Nevada's FAA drone test site.
Ramiro Morales
@ramiromorales
Entropy fighter. Also, grey hair Python, C/C++ brandisher. Django team member. EFT industry specialist.
Gordon Guthrie
@gordonguthrie
Gone dark on Twitter @[email protected] linkedin.com/in/gordonguthr… tweeting about Digital Policy @digitalpolicy_
Computational Legal
@computational
Prof. Daniel Martin Katz #Law + #Science + #Engineering + #Entrepreneurship BLOG: ComputationalLegalStudies.com PAGE: DanielMartinKatz.com CORP: Kelvin.Legal
Karthik Ravikanti
@plumenator
Rust at $job, Rust and Haskell at home. Opinions my own. Also at @[email protected] @[email protected] @[email protected]
Vincent
@vincentchinta

Alex J Best
@alexjbest
Researcher in math+formal methods+ml. Working on using formal verification to train models for mathematics and reasoning @harmonicmath
Matteo Busi
@mttbsu
Researcher at @CaFoscari. Formal methods, language-based security and secure compilation.
Federico Carrone
@federicocarrone
talk is cheap, build @class_lambda C + rust + erlang + julia + λ. amateur in everything: distributed systems, ML, compilers, cryptography and investment.
Jonathan Protzenko
@_protz_
Principal Cheese Researcher at Microsoft Research. I tweet about cheese, and occasionally formal verification, cryptography (HACL*/EverCrypt), type systems, etc
Adrien Sénécat
@adriensnk
Journaliste @decodeurs @lemondefr, option enquêtes. Ce compte a déménagé sur Bluesky bsky.app/profile/adrien…
José A. Alonso
@jose_a_alonso
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Lampros Kafidas
@apostratos
sapere aude
Marc Lauritsen
@marclauritsen
Lawyer, knowledge systems architect, educator, entrepreneur, author, musician. Document assembly expert. Help people 'work smarter' and make better decisions.
j u d i t h
@juditherzog

Emilio J. Gallego Arias
@ejgallego
Researcher. ejgallego @ bsky.social and mathstodon.xyz ZX Spectrum +2A, Petrof Renner 115, Korg X5D, Haskell, Agda, Coq, ARP 2600, Lean.
Predrag Cvetkovic
@pepicvetkovic
•Professor,International Trade Law •Interest: Public-Private Partnership (PPP) ; Law and Programming; Smart Contracts; WTO Law; ICSID/BITs
Jill-Jênn Vie
@jjvie
Researcher @Soda_Inria. ICPC coach @Polytechnique Competitive Programming in #Python book (128 algorithms) @CambridgeUP. Conseil scientifique @education_gouv
Ju, bisounourse enragée ✊🌻✊
@juralex78
Homo sum, et nihil humani a me alienum puto. Donc, de gauche. Insultes et menaces ➡️ blocage immédiat.
The Lion of desert
@theaven87
Do Alrights this gratify Some people and Astonish the rest
Shane Montague
@ackgoonthen

frankpasquale.bsky.social or [email protected]
@frankpasquale
Books: 2015: The Black Box Society bit.ly/2KvYnYJ 2020: New Laws of Robotics: bit.ly/2ZwAI30
Cyrille Klein
@cyrille_klein

Caroline Lequesne
@c_leqrth
PhD, MCF HDR - Ass. Prof @Univ_CotedAzur Droit vulnérabilité & algorithmes Directrice du M2 @AssoM2DAGD Membre @GREDEG_UMR @CentrePerelman @ObservatoireIA
Jason Morris (he/him)💻⚖️🇨🇦
@roundtablelaw
#LegalTech nerd, #RulesAsCode Director #GC, former lawyer, coded @BlawxAI, runs @Lexpedite_ca, tabletop games, usual disclaimers. @[email protected].
mireillemoret
@mireillemoret
Law Philosophy re Computer Science, ERC ADG cohubicol.com. Hall of Fame of Women in AI Ethics: womeninaiethics.org/the-list/hall-…
Centre Inria de Paris
@inria_paris
Centre @Inria, partenaire de @Sorbonne_Univ_ : les sciences et technologies du numérique en #ÎledeFrance #digitalscience #research #innovation
Sydney Gibson 🚛 🤖
@sydgibs
Software Engineer @aurora_inno. Previously @MIT & @CSDatCMU. Trying to befriend Pittsburgh’s local groundhogs.
Samuel Laval
@samuel_lvl
Politiques climatiques // je me dédouble sur samuel-lvl.bsky.social
Says who ?🤔
@sayswhomostdef
"Le système ne choisit pas les meilleurs, il choisit les plus conformes, c'est dangereux." Albert Jacquard : biologiste, généticien, philosophe... (1925-2013)
Soumen Pramanik, SDS, Mercedes-Benz Mobility
@soumen_eclectic
Enthusiastic about ML & DL.It’s not who has the best algorithm that wins, but it’s who has the most data. Trying to harness C++ skill
Bertrand Mauvy
@bmauvy
Syndicat National du Cinéma et de l'Audiovisuel. Fédération des Arts, du Spectacle, de l’Audiovisuel et de la Presse.
Société informatique de France - SiF - SocInfoFr
@socinfofr

KC Sivaramakrishnan
@kc_srk
Profing @iitmadras. CTO @tarides_. Trustee mmht.clinic.
Jean-Baptiste Mouret
@jb_mouret
AI researcher. Robotics. Data-efficient learning. Evolution. Neuro-evolution. Senior Researcher (Dir. de recherche) @ Inria / ERC ResiBots.
apilili
@apililii
Autant passer par Pranles
Prosecco at Inria Paris
@proseccoinria
Research team @Inria @Inria_Paris. We focus on building and verifying programs that use cryptography. Fediverse: scicomm.xyz/@ProseccoInria
Dimitri
@dim1tri1
Trains, IT, never ending curiosity for so many things, and Sarcasms at every hour of the day. FR/EN/DE and to a lesser extent LU. Anybody for AR?
Jinhao Tan
@tamkamhou
Ph.D. student @HKUniversity, interested in programming languages, type systems, theorem proving, program verification, and logics.
Talia Ringer 🟣 🎗️
@taliaringer
Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Bénédicte Colnet
@benedictecolnet
🔬💬🚲📚🎬 Working for the French social security Ph.D. in applied math, ML, & health at @Inria Engineer @Polytechnique My tweets are my own
Olivier Poncet 🦝
@ponceto91
Artisan du magiciel et adepte de programmation récréative. Je partage du code, parle de logiciels libres et open-sources, de Linux, BSD et d'infrastructure
Jieujauk
@jieujauk476

michael bressler
@mibressler
HiWi @TUMCDPS. Interested in computational law & technology policy.
NATHALIE JOUAN SAUVAGE
@jouansauvage

Mohammed Sharukh
@nontr1v1al
Maths Teacher @myplanetspark | Math Reasoning Annotator @TELUS Digital | Pentab User 🖋💻 | EdTech | AIED | AI/ML/DL/GNNs | IIT Palakkad '22 | MSc Mathematics
Iesrouawsus
@iesrouawsus827

Noshe
@noshe4lit6

mildness
@mildness477339

Seanat
@seanat2shi

Mohammed Mahmmoud
@mohmahmmoud
Internal Medicine Resident, Researcher, Editor and Reviewer 🏌️🎯
DianaMaria
@7iz4ky7llzq7r

MeganCamp
@odqq8l0nb17wos

たか taka
@0xtkgshn
身銭を切れ
Trois petits points
@valosciences
Agence de communication scientifique
@Elizabeth Englezos
@elizabethenglez
Academic & researcher in #Hyperconnection, law & digital influence •🎶 fanatic •📚lover • opinions=mine • free speech=good • hate=bad • inclusion≠exclusion
Rams
@mintelligenceai
For all the crypto, trade, investment, forex, markets bots wants to follow me - stop following me. I won’t join any platform, nor WhatsApp group.
Aaron Lee
@a_a_ron_lee

lipsum.dev
@lipsumd
Maths et applications, avec les mains et avec du code 💻
Igor Szpotakowski
@iszpotakowski
Lecturer (Asst Prof) in IP Law @Law_Leeds. Chinese Law and AI regulation. PI @JagiellonskiUni. PhD @NCLLawSchool. Tutor @UoELawSchool. Ex Yenching @PKUYCA. FHEA
OctaviaPitman
@1s12stxm5kgm6h

Songuy-Ange Casassus
@songuycasassus

Noue.
@supremacy_hate
Compte personnel. Parole citoyenne. « Cotiser selon ses moyens, recevoir selon ses besoins. »
Zelig yap
@zeligyap
He/him
Étienne Bouguier
@e_bouguier
📍#Angers | 💼 #AvecFranceTravail ➡️ @FTravail_PDL #OnEstLaPourVous | 📷🚶♂️🏃🏻♂️🚴♂️|