Matteo

2,232 reputation

622

bio	website	corti.li
	location	Bern, Switzerland
	age	38
visits	member for	1 year, 9 months
	seen	1 hour ago
stats	profile views	112

I was born in Ticino (the southern part of Switzerland where people speak Italian) in 1974. I lived there until 1993 when I moved to Zürich to study computer science at the Swiss Federal Institute of Technology.

After graduation I joined the Laboratory for Software Technology under the supervision of Prof. Thomas Gross to work in the field of compiler construction. I defended my thesis Approximating the Worst-Case Execution Time of Soft Real-Time Applications in March 2005.

After working for three month as as a compiler engineer at Freescale Semiconductor in Schlieren, Zürich, Switzerland I joined in November 2005 the Information and Communication Services of the ETH Zurich.

Since May 2008 I am head of the Web Applications and Identity Management group of the Information and Communication Services of the ETH Zurich.

Since October 2010 I moved to Bern.

	2,232 reputation	bio	website	corti.li	visits	member for	1 year, 9 months
622 badges		location	Bern, Switzerland		seen	1 hour ago

summary answers questions tags badges favorites 1 bounties reputation activity

421 Actions

suggestions reviews revisions comments badges posts accepts all

Aug 31	answered	Ubuntu mounts ISO but some files are unreadable
Aug 31	revised	How to convert Word (doc) to PDF from Windows command line? edited tags
Aug 30	comment	How to mv dot files without including the parent directory on linux/mac? @chroba sorry: should learn to read the whole answer :-)
Aug 30	answered	How to mv dot files without including the parent directory on linux/mac?
Aug 30	comment	How to mv dot files without including the parent directory on linux/mac? This will work in most of the cases but will ignore files and directories beginning with two dots. For example `..name` or `....name`.
Aug 29	revised	“My Documents/My Pictures” deleted on XP. “My Documents” copied on W7. “My Picture” now phantom edited tags
Aug 29	revised	How to delete a file in Windows with a too long filename? edited tags
Aug 29	comment	IP is not pinging by other system You need to provide more information if you expect other to help. The question is also not clear: what do mean? Which machine is able (or not able) to ping what?
Aug 29	revised	Mouse wheel scrolls the page down then up, or up then down edited tags
Aug 28	revised	Winzip error / timestamp in file name related? edited tags
Aug 28	comment	How do I exit an SSH Shell? The example you give has nothing to do with messages. You are connecting to a host with SSH to a non standard port. In most cases you will get a shell. If the server is configured to use a special texting program as a login shell you need to give us more details.
Aug 27	answered	Terminal command 'edit' unknown (OSX 10.8.1) : -bash: edit: command not found
Aug 27	answered	what is the exact command to Restart a redhat linux system?
Aug 24	comment	will this installation succeed? if yes, will this failure make trouble to my system? You can tune the mirror's list but as the system is able to choose the best one you can also use the default settings.
Aug 24	answered	will this installation succeed? if yes, will this failure make trouble to my system?
Aug 22	answered	How to download a file from network when I have “file://..” link
Aug 17	revised	Java Update Files edited tags
Aug 14	revised	Windows 7, temporary profiles edited tags
Aug 13	comment	Strange Excel IF formula evaluation Are you sure that the content of G11 is `"APPLE"`? How is the cell formatted? Could you post a screenshot with the edit focus on G211?
Aug 10	comment	How to download Google Doodle for offline usage? I think that since the OP asks for "usage" he wants to download the interactive doodles (as the ones for the Olympics)