elefthei.github.io/teaching
Preview meta tags from the elefthei.github.io website.
Linked Hostnames
10- 4 links toelefthei.github.io
- 3 links togithub.com
- 2 links tocourses.csail.mit.edu
- 2 links topdos.csail.mit.edu
- 1 link toocw.mit.edu
- 1 link tosoftwarefoundations.cis.upenn.edu
- 1 link totwitter.com
- 1 link towww.cis.upenn.edu
Search Engine Appearance
https://elefthei.github.io/teaching
Lef Ioannidis - Teaching
Verification, Rocq, LLM, Logic, Ticl, Zippel, Haskell, Zero-knowledge, zkSNARK, Eleftherios, Ioannidis, MIT, Penn
Bing
Lef Ioannidis - Teaching
https://elefthei.github.io/teaching
Verification, Rocq, LLM, Logic, Ticl, Zippel, Haskell, Zero-knowledge, zkSNARK, Eleftherios, Ioannidis, MIT, Penn
DuckDuckGo
https://elefthei.github.io/teaching
Lef Ioannidis - Teaching
Verification, Rocq, LLM, Logic, Ticl, Zippel, Haskell, Zero-knowledge, zkSNARK, Eleftherios, Ioannidis, MIT, Penn
General Meta Tags
9- titleLef Ioannidis - Teaching
- titleLef Ioannidis - Teaching | Eleftherios “Lef” Ioannidis
- charsetUTF-8
- viewportwidth=device-width, initial-scale=1.0
- X-UA-Compatibleie=edge
Open Graph Meta Tags
5- og:titleLef Ioannidis - Teaching
og:localeen_US- og:descriptionVerification, Rocq, LLM, Logic, Ticl, Zippel, Haskell, Zero-knowledge, zkSNARK, Eleftherios, Ioannidis, MIT, Penn
- og:site_nameEleftherios “Lef” Ioannidis
- og:typewebsite
Twitter Meta Tags
1- twitter:cardsummary
Link Tags
2- stylesheethttps://fonts.googleapis.com/css?family=Merriweather:300|Raleway:400,700
- stylesheet/assets/css/style.css
Emails
1Links
17- https://courses.csail.mit.edu/6.042
- https://courses.csail.mit.edu/6.857
- https://elefthei.github.io
- https://elefthei.github.io/publications
- https://elefthei.github.io/resume