Matthew Johnson (@matthew694129) 's Twitter Profile
Matthew Johnson

@matthew694129

ID: 518939689

linkhttps://matthewjohnsondurham.github.io/ calendar_today08-03-2012 22:24:37

89 Tweet

215 Followers

650 Following

Timothy Gowers @wtgowers (@wtgowers) 's Twitter Profile Photo

I had the great pleasure of discussing Paul Erdős and his mathematics with Colva Roney-Dougal and Andrew Treglown on In Our Time with Melvyn Bragg. It was broadcast this morning but the podcast will be available in perpetuity. bbc.co.uk/sounds/play/m0…

Paul Langley (@_paullangley) 's Twitter Profile Photo

University management are getting desperate and dirty already, making 50% salary deduction from a Head of Department for refusing to make non-unionised staff do the work of unionised staff who are participating in market boycott

Gautam Kamath (@thegautamkamath) 's Twitter Profile Photo

I always tell my students to save at least a day to wrestle with the paper template when preparing a submission. Glad someone quantified what an enormous waste of time and resources this is. nature.com/articles/d4158…

Helen Smith (@conversiontales) 's Twitter Profile Photo

As an external examiner at Durham University I am pleased to have had the opportunity to ask the VC and PVC to support their staff and ensure their students can graduate by making a public statement calling for UCEA and UCU to #settlethedispute. Durham UCU (@ducu.bsky.social) UCU

As an external examiner at <a href="/durham_uni/">Durham University</a> I am pleased to have had the opportunity to ask the VC and PVC to support their staff and ensure their students can graduate by making a public statement calling for <a href="/UCEA1/">UCEA</a> and <a href="/ucu/">UCU</a> to #settlethedispute.

<a href="/ucuatdurham/">Durham UCU (@ducu.bsky.social)</a>
<a href="/ucu/">UCU</a>
Durham UCU PGRs (@ducupgr) 's Twitter Profile Photo

Almost half of PGRs are migrants who pay visa fees & the huge Immigration Health Surcharge which David Cameron brought in to punish migrants & scapegoat us for his underfunding of the NHS. Few (no?) unis pay these fees. If this plan goes through it will be catastrophic for PGRs.

Stefan Szeider (@stefanszeider) 's Twitter Profile Photo

The appetizer video to our article The Silent (R)evolution of SAT in the Communications of the ACM, June 2023, doi.org/10.1145/3560469 (Open Access) Propositional Satisfiability (SAT) has been a cornerstone of computational complexity theory; now, it has become a central target

Centre Mersenne (@centre_mersenne) 's Twitter Profile Photo

Welcome to "Innovation in Graph Theory", a young open access journal on graph theory and its interactions igt.centre-mersenne.org which joined Mersenne! #openaccess #Mathematics #GraphTheory #diamondOA

Welcome to "Innovation in Graph Theory", a young open access journal on graph theory and its interactions  igt.centre-mersenne.org which joined Mersenne!
#openaccess #Mathematics #GraphTheory #diamondOA
Sussex UCU (@sussexucu) 's Twitter Profile Photo

We are pleased that following negotiations and pressure from members Sussex VC has announced that staff will see 100% restoration of salary deductions for MAB participants upon completion of outstanding marking. staff.sussex.ac.uk/news/article/6…

Gautam Kamath (@thegautamkamath) 's Twitter Profile Photo

ML hype meets theory CS hype. This paper purports to use LLMs to verify a recent "proof" by two of the authors that P != NP. The claimed proof is not correct. Therefore, an LLM being able to "verify" its work demonstrates a *failure* of these models, not a success.

Matthew Johnson (@matthew694129) 's Twitter Profile Photo

But today you are back to your old trick of cancelling with little notice, no explanation and no agreement with other companies to help your passengers get to work

Matthew Johnson (@matthew694129) 's Twitter Profile Photo

Our group is recruiting a 3 year postdoc working with Andrei Krokhin on Mathematical and Complexity-theoretic aspects of Constraint Satisfaction Problems. Deadline is 31 March. durham.taleo.net/careersection/…

William K. Moses Jr. (Billy) (@wkmjr) 's Twitter Profile Photo

Lots of exciting work coming out of our department. In fact, several of the people involved in this are from the NESTiD research group and we're currently hiring an Associate Prof. Deadline to apply: Feb 28th nestid.webspace.durham.ac.uk/job-openings/

Paul Langley (@_paullangley) 's Twitter Profile Photo

What is to be done when the results of a university-wide staff survey are returned to a department with a request for departmental action, but the results show the biggest problems are to be found a long way above the department level?

Comp Sci @ Durham (@comp_sci_durham) 's Twitter Profile Photo

Join us! Recruiting Assistant Professor jointly with Durham Law School. Seeking candidates who research in AI, NLP particularly if (potentially) related to Law. Much more in the thread