Emanuele “Manu” ViolaProfessorKhoury College of Computer Sciences Northeastern University Theory of computation at Northeastern University.

Below:  teaching, including videos and slides, 
papers, including surveys and preprints,  
research team, including students,  
some posts about my research,  
and more, including from the Nineties and fiction. 
Theory of computation:  introduction. 
mathematical background.  
regular languages and finite automata.  
contextfree languages.  
computability and Turing machines.  
Kolmogorov complexity.  
complexity, P and NP.  
Algorithms:  introduction; big Oh; bubble and counting sort, annotated. 
divide and conquer, annotated.  
dynamic programming and greedy algorithms.  
data structures.  
graph algorithms.  
linear programming.  
flow.  
NPhardness reductions, an updated subset of the complexity slides above.  
approximation algorithms. 
Complexity theory, Spring 2023, Textbook. 
Special topics in complexity theory Fall 2017. 
Gems of Theoretical Computer Science Spring 2009. 
Online class on theory of computation 
Online class on algorithms 
Visitor:  Elena Grigorescu (Spring 2020) 
Yevgeniy Dodis (Spring and Summer 2013)  
Postdoc:  Jad Silbak (Fall 2023  ) 
Elad Haramaty (Fall 2014  Summer 2016) → Postdoc at Harvard.  
Chinmoy Dutta (partial mentoring, January 2011  January 2013) → Twitter Engineering.  
Ph. D.:  Dustin Lin (Fall 2023) 
Peter Ivanov (Summer 2019)  
Xuangui Huang (Fall 2017Spring 2023)  
Chin Ho Lee (Fall 2013Summer 2019) → Postdoc at Columbia → Postdoc at Harvard → Professor at North Carolina State University  
Tanay Mehta (partial advising)  
Hamid Jahanjou (partial advising)  
Zahra Jafargholi (partial advising) → Postdoc at Aarhus University.  
Eric Miles (Fall 2008Spring 2014) → Postdoc at UCLA → Google.  
M. S.:  Dolphy Fernandes (Summer 2009) 
B. S.:  Liam Pavlovic (Summer 2020  Fall 2020) → Ph.D. at Northeastern University 
Daniel Kreymer (various intervals during 20092012). → Amazon  
Sky O'Mara (Summer 2009) 
Lance Fortnow  here  here  here 
Oded Goldreich  here  here  
Timothy Gowers  here  
Noam Nisan  here  
Ryan O'Donnell  here  
Mihai Patrascu  here  
Property Testing Review  here  
Terence Tao  here  
Luca Trevisan  here  
Suresh Venkatasubramanian  here  
Il fatto quotidiano  in italiano (in English)  
Financial Times  here (link)  
MIT Technology Review  here 
Black Viper
Videogame produced and distributed throughout Europe by NEO Software Productions GmbH, Germany, 1996.
Longplay
Press coverage
Compressione dei suoni
Amigamagazine, Anno 7, Ottobre 1994
Paper (in Italian)
Nathan Never
Videogame produced by GENIAS and distributed in Italy by Softel, Rome, Italy, 1992
Longplay
Press coverage
I coded up the game in assembly when I was 14.
Bonus
How I looked back then.
Codice Yetzirah
Vincitore premio Altri Mondi 2008 Clicca qui per l'indice 

Montag Edizioni 
La ragazza che non sapeva contare Secondo classificato Trofeo RiLL 2012 Clicca qui per leggere! 
Video della premiazione  
Lo utilizzi come cane addestrato
Clicca qui per leggere! 
Regolamento  
Il richiamo di Lilith Tra i vincitori di SFIDA 2010 
Un video basato sul racconto.  
Cielo stellato Tra i vincitori di SFIDA 2009 

Codice Yetzirah Vincitore Trofeo RiLL 2007 

Il torneo Vincitore Premio Alien 2001 