james done

smart PhD student working on useless subjects

[james done @jamesisdone]

Using a design-oriented programming philosophy, will I save the world ?

[james done @jamesisdone]

today's #CFDip course was very interesting: I created my first twitter account that I will use from now on to communicate on science, I learnt how to use all the features Twitter offers and met amazing people.
See you next time at @ParisDiderot

[james done @jamesisdone]

@DouaeAI nice

[james done @jamesisdone]

However, I wonder if security issues are tackled, as a malicious member of the team can falsify the goal and fool the whole team

[james done @jamesisdone]

Interesting talk given by @DouaeAI about her PhD subject on how to make independant software agents work in common in order to achieve a common goal.

[james done @jamesisdone]

nice talk of @NhatP7 about the role of the Cai, who is the right-hand mercenary that collects cheap workers for the French colonizer during the XVIII, XIX centuries. #indentured #Labour #Vietnam, #Colonization, #HumanRights

[james done @jamesisdone]

@alex_castfer is it ?

[researchjobs.cz @researchjobs_cz]

A 9 month #postdoc #position – project Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems – Institute of Mathematics @Akademie_ved_CR: https://t.co/teFQIH4Aia #jobs #sciencejobs #algebra #semirings #coalgebra #automata #formalLanguages #PetriNets

[james done @jamesisdone]

@alex_castfer coucou😉

[james done @jamesisdone]

I wish I were here 😢

[Lobsters @lobsters]

Noise Explorer Now Generates Rust Implementations with Formally Verified Primitives
https://t.co/jcperPMhjR #crypto #formalmethods #rust
https://t.co/FverhONgTT

[james done @jamesisdone]

My supervisor: you are the stupidest phd student I've ever had, keep going and you wont get your phd

Me:

[james done @jamesisdone]

@anaivantao https://t.co/LTZOPZs1D3

[james done @jamesisdone]

@anaivantao how was lunch

[james done @jamesisdone]

@anaivantao I hope it wasnt horse meat

[james done @jamesisdone]

@anaivantao my tomato filled with meat was perfect

[james done @jamesisdone]

hey how is your twitter going

[james done @jamesisdone]

@anaivantao 😕

[james done @jamesisdone]

I am trying tweetdeck rn during a #CFDip doctoral course 🙌

[james done @jamesisdone]

hi @RATPgroup
how come all metro lines in #Paris are not formally verified with the B method as @Ligne14_RATP is? We want automatic metro in Paris!!