| Permanent Address | 702 Akash Apt, Agripada | Bombay, INDIA. |
|---|---|---|
| mosh(dot)ahmed(at)gmail_com | http://www.cs.albany.edu/~mosh | |
| Current Work | Google Mountain View, CA, USA | |
| Previous Work | Synplicity ( Identify Synplify ) | Verysys, SASKEN |
| Microsoft (NT), SUNY Albany CS | IITB CS&E | |
| Education | ||
| PhD thesis Dense Time Logics | IIT Bombay, Computer Science and Engr | Advisor Prof G.Venkatesh |
| B.Tech (JEE/AIR 51) | IIT Bombay, Computer Science and Engr | Bombay, INDIA. |
| HSC & ICSE | Cathedral & John Connon School | Bombay, INDIA. |
I taught Symbolic Logic, Proof Theory, Logic Programming, Prolog, C, C++, Perl.
My student Chayya formally verified MPEG4 verilog core with VIS
for her thesis.
At Microsoft in the NT Networking group in Redmond, WA, USA.
I wrote parts of winsock2 and tcp/ip tools and drivers;
including ipconfig, winipcfg,
ping, nbtstat, tracert, ftp, telnet,
tftpd, lpd, lpr, lprmon, ntsd,
netstat
winsock, wsock32, tcpip
for Windows 9x and Windows NT.
A
Microsoft patent award
for network smart IE (Internet Explorer),
and my code
ships in MS Windows
I program in C, C++, Perl, Emacs Lisp, Prolog, TeX, Metafont,
Tcl, Verilog, QT, on Linux, Solaris, and Windows.
