We have an open post-doctoral fellow position, and a Research Assistant position in a project on Trustworthy software starting June 2013.
I am an ACM Distinguished Speaker from 2013 -2016. If you would like to have me speak on these topics or related ones, you can look here, or simply fill up the online form corresponding to the lecture. Broadly, I speak on Software Engineering, Security, and Embedded Systems.
Abhik Roychoudhury is an Associate Professor of Computer Science at National University of Singapore, where he has been employed since 2001. Abhik received his Ph.D. in Computer Science from the State University of New York at Stony Brook in 2000. His research interests are in software testing, program analysis, and trustworthy software, with specific focus on software for real-time embedded systems.
Abhik has published widely in premier conferences and journals in software engineering and embedded systems. He has authored a book on "Embedded Systems and Software Validation" published by Elsevier (Morgan Kaufmann) Systems-on-Silicon series in 2009, which has been adopted for teaching at different universities. Abhik's research has led to scalable and usable analysis tools which enhance software quality as well as programmer productivity. Meaningful examples of such endeavor include the Chronos static analysis tool for ensuring time-predictable software execution, and the JSlice dynamic analysis tool for software debugging. Lately, his research has focused on the use of dependency analysis and symbolic reasoning for software debugging, as well as the use of formal analysis for software performance testing.
Abhik's research has been recognized by various awards and honors including ACM Distinguished Speaker (2013-16), ACM SIGSOFT Distinguished Paper Award (from SIGSOFT FSE 2009) and IBM Faculty Award (2008). His research has been funded by various agencies including Ministry of Education, A*STAR and Defense Research and Technology Office DRTech. He has served in at least 35 program committees of various conferences in software engineering and embedded systems, and has been playing organizational roles in various conferences including RTSS, ICSE and SIGSOFT FSE.
At Dagstuhl Seminar on Fault Prediction, Localization and Repair, Germany, February 2013.
At International Seminar on Program Debugging, Automated Verification and Symbolic Computation (PAS) 2012
Organized by Chinese Academy of Sciences and Beihang University, October 2012.
"Education consists mostly of what we have unlearned" - Mark Twain.
"There is no joy in the finite. There is joy only in the infinite." - Upanishads.
-> What can you infer by combining the above two statements?
<and, finally here is another of my favorites ...>
"If you shut the door to all errors, truth will be shut out." - Rabindranath Tagore.