Nachi @modaltype

"The limits of my language mean the limits of my world" and all that nachivpn.me Joined April 2014

Tweets

1K
Followers

377
Following

291
Likes

3K

Nachi @modaltype

7 months ago

The call for Newton International Fellowships is open, and closes on 18th March: royalsociety.org/grants/newton-… Good scheme; worth checking out! I like the Royal Society experience and its historic role in science.

0 0 1 58 0

Alex Kavvos @lambdabetaeta

a year ago

In the last few months I've been trying to draw a long line connecting all the work on modal logic - from Kripke semantics to type theory. Today I'm officially launching this programme by giving a talk at MFPS XV at 4pm. Link: youtube.com/watch?v=DWOZfq…

2 6 35 2K 11

Mohammad Ahmadpanah @smahmadpanah

2 years ago

Thrilled to be at @acm_ccs, presenting our poster! 🎉 shorturl.at/azARW I'm actively exploring opportunities in Software/Web Security on the academic job market. Eager to connect with fellow researchers and explore potential #postdoc/#assistant_professor positions! :)

0 1 10 868 0

Dr Paris @parisba

2 years ago

Nothing can go wrong here

40 2K 27K 2.2M 624

Download Image

Existential Comics (find me on bluesky) @existentialcoms

2 years ago

Philosophical Holdup - existentialcomics.com/comic/522

6 90 448 40K 11

Download Image

Nachi @modaltype

2 years ago

Got news: I've been awarded the Newton International Fellowship by the Royal Society to study compositionality in normalization algorithms at the University of Edinburgh with @reifyreflect royalsociety.org/news/2023/10/e…

7 2 29 2K 1

PLRG :: Bristol @PLRG_bristol

2 years ago

Last Friday, we celebrated Minh passing his PhD viva with a cocktail class. 🎉 Congratulations Minh!

2 1 13 728 0

Download Image

Nachi @modaltype

2 years ago

ESOP's done well here: "For the sake of flexibility, submitted research papers may be formatted in Springer’s LNCS, ACM’s PACMPL, or ACM’s TOPLAS format" etaps.org/2024/conferenc…

Thiemo Fetzer 🇪🇺🇺🇦 - same handle elsewhere @fetzert

2 years ago

ESOP's done well here: "For the sake of flexibility, submitted research papers may be formatted in Springer’s LNCS, ACM’s PACMPL, or ACM’s TOPLAS format" etaps.org/2024/conferenc…

34 308 1K 405K 163

Download Image

1 1 7 2K 1

PLRG :: Bristol @PLRG_bristol

2 years ago

#ICFP23 Round Up: three talks, two ICFP papers, one distinguished paper.

2 2 22 1K 0

Download Image

Satnam Singh @satnam6502

2 years ago

Congratulations to Ohad Krammer, @reifyreflect and Nicolas Oury for their Most Influential Paper of ICFP2013 award presented at #ICFP2023 for their Handlers in Action paper which inspired and kicked off a lot of work on effects by many people. Sam made a heartfelt speech about…

1 10 90 11K 6

Download Image

Alejandro Russo @poke48k

2 years ago

Abi presenting our work HasTEE, our DSL to program trusted execution environments at the HASKELL Symposium @icfp_conference He mentioned SGX, IFC, Gramine, Federated Learning, and even showed Assembly in the same talk! The paper dl.acm.org/doi/10.1145/36…