Hi, I'm Amin. I am currently a graduate student at the Waterloo Formal Methods @@ -38,19 +18,21 @@ assistants, and their type systems.
On the side, I enjoy hacking on elisp -and guile. -I am a GNU maintainer and +and guile. I am a +GNU maintainer, webmaster, -a free software -activist, and an associate member -of the Free Software Foundation. -I'm the co-host of the Emacs.el -podcast with Daniel Gopar, and -the chief organizer of the -EmacsConf conference. -I'm also a member of the Systems Committee of the -Computer Science Club of -the University of Waterloo.
+and Savannah +hacker. I am also a +free software +activist, and an associate +member of the Free Software +Foundation. I'm the chief organizer of +the EmacsConf conference, and the +co-host of the Emacs.el podcast with +Daniel Gopar. I am also a member of +the Systems Committee of the +Computer Science Club of the +University of Waterloo.2018 IEEE 8th International Model-Driven Requirements Engineering Workshop (MoDRE)
-Copyright © 2018 IEEE. All Rights Reserved. Sadly. +Copyright © 2018 IEEE. All Rights Reserved. Sadly.