>_ Anil Madhavapeddy@avsm/
  • About
  • Projects
  • Ideas
  • Papers
  • Notes
  • Talks
  • Network
  • Links
Subscribe
AtomfullJSON Feedfull
AtompermaJSON Feedperma
>_ Anil Madhavapeddy
About
ProjectsIdeas
PapersNotesTalks
NetworkLinks
>_
2 on this site · 20 links
On this siterelevancedate2
Open MPhil/Part II student projects for 2026-20279th Sep 2026#cambridge#research#systems#teachingNew set of ideas for incoming students15th Jul 2024#cambridge#research
Narrowfilter these results
2017
2026
Linkscited from entries here20
OII | Professor Viktor Mayer-SchönbergerSep 2026oii.ox.ac.uk
MPhil/ACS projects – S. KeshavSep 2026svr-sk818-web.cl.cam.ac.uk
Ghost roads and the destruction of Asia-Pacific tropical forests - NatureAug 2026doi.org
RoadTracer: Automatic Extraction of Road Networks from Aerial ImagesAug 2026arxiv.org
Moe Vali | Department of Computer Science and TechnologyMay 2026cst.cam.ac.uk
Lean Programming LanguageApr 2026lean-lang.org
Shriram Krishnamurthi: Home PageApr 2026cs.brown.edu
All Change! | mort’s mythopœiaFeb 2026mort.io
https://mirage.ioDec 2025mirage.io
Not one but two accepted papers and a Ph.D. | mort’s mythopœiaApr 2025mort.io
GitHub - clash-lang/clash-compiler: Haskell to VHDL/Verilog/SystemVerilog compilerMar 2025github.com
GitHub - janestreet/hardcaml: Hardcaml is an OCaml library for designing hardware.Feb 2025github.com

© 1998–2026 Anil Madhavapeddy.

{} md