isubasinghe

I do indeed, how do I send it over? Sorry about the late response!

This sounds fun, I haven't actually got any experience in static analysis, but very familiar with compilers and also formal verification (I also worked with abstract interpretation).

This is me: https://scholar.google.com/citations?user=Rfq4QEoAAAAJ&hl=en...

I would love to work there (in Bristol not Paris), I am eligible for the youth visa because I am an Australian under age 35.

isubasinghe

지난달discuss

Creusot works on functionalisation if I recall correctly. It translates to coma (https://coma.paulpatault.fr/language/program.html).

Verus encodes directly to SMT.

Creusot may gain some more automation perhaps from this approach.

isubasinghe

3개월 전discuss

Oh hey I worked on this :)

isubasinghe

3개월 전discuss

Hmm, this: https://en.wikipedia.org/wiki/List_of_aviation_shootdowns_an...

indicates what the author said is true.

The majority of these losses are on the ground.

isubasinghe

5년 전discuss

Location: Melbourne, Australia

Remote: Yes

Willing to relocate: Yes

Technologies: Can learn really quickly so this isn't a problem, I'm definitely keen to learn for the job depending on language, languages I want to work with are OCaml, Haskell, Rust, Go, C and C++.

About: Been programming since 11ish, started with Pascal, I've done a massive variety of things since then, from Parsers with Haskell to GUIs with Qt. Currently I am a Masters student studying Distributed Algorithms(Paxos, Raft, Snapshots, Exclusion, Leader Election etc.)

I am really looking for internships that will allow me to work on interesting/challenging problems.

I find distributed algorithms quite interesting and I do my own research into these topics as well.

Our team won Unihack 2021, Australia's biggest University Hackathon

isubasinghe

Submissions

Ask HN: Starting my own startup to increase compute density

comments