جست‌وجوی استاد و پژوهشگر

Konstantinos Mamourasمشاهده پروفایل

استادیار

• Programming Languages
• Formal Methods
• Stream Processing
• +۳ مورد دیگر

Konstantinos Mamouras is an Assistant Professor in the Department of Computer Science at Rice University, affiliated with the College of Engineering. His research focuses on programming abstractions for data streams, runtime verification for cyber-physical systems, and program semantics. He holds a PhD from Cornell University (2015) under Dexter Kozen and has held postdoctoral roles at the University of Pennsylvania. Education: PhD in Computer Science, Cornell University (2015) Research Interests: Mamouras designs languages and tools for efficient data stream processing (e.g., StreamQRE) and explores formal methods in program verification. His work bridges theoretical foundations (e.g., Kleene Algebra) with practical implementations, addressing challenges in real-time decision systems and resource-constrained applications like medical monitoring. Recent projects include GPU-accelerated regex matching, energy-efficient automata processors, and compositional monitoring frameworks for continuous signals. Publications: His work spans algorithm design, formal verification, and hardware-software co-design. Notable contributions include reconfigurable automata processors, verified regex matchers, and energy-efficient genome alignment accelerators. He has received awards at PLDI (2024) and EuroSys (2021) for impactful research. Awards: Best Paper Award, EuroSys 2021 Distinguished Paper Award, PLDI 2024 Teaching & Advising: Mamouras teaches courses on IoT programming, formal methods, and verified software. He advises students (e.g., Alexis Le Glaunec, Agnishom Chattopadhyay) and has supervised MSc and PhD theses on topics like streaming algorithms and quantitative monitoring. His lab focuses on advancing programming models for real-time data systems.

• Microelectronics
• Computer Engineering
• Radiation Effects on Electronics
• +۳ مورد دیگر

Luis Alfonso Train Arrontes is a Full Professor at the Electronic Technology Department of Carlos III University of Madrid, affiliated with the Pedro Juan de Lastanosa Institute of Technology Development and Innovation and the Microelectronic Design and Applications (DMA) research group. His work focuses on radiation effects on microprocessors, fault-tolerant architectures, and error mitigation techniques for aerospace applications. Key Research Areas: Radiation-hardened electronics, FPGA-based fault injection, approximate computing, lockstep architectures, and GPU-accelerated systems. Notable Projects: Principal Investigator for RADNEXT (European Commission, 2021–2026), Modulos Hardware de Alta Fiabilidad para RISC-V (AEI, 2024–2025), and Diseño y verificación de sistemas en chip heterogéneos (AEI, 2020–2023). Publications: Over 40 peer-reviewed articles in journals like IEEE Transactions on Nuclear Science , IEEE Access , and Microelectronics Reliability , covering topics such as radiation-induced errors, fault detection, and self-repairing hardware. Patents: Co-inventor of a 2019 patent for an integrated circuit identification device. His research bridges hardware design, radiation physics, and aerospace engineering, with applications in space-grade electronics and terrestrial radiation environments.

Aseem Rastogiمشاهده پروفایل

پژوهشگر

• Programming languages
• Type systems
• Program verification
• +۴ مورد دیگر

Aseem Rastogi is a Senior Principal Researcher at Microsoft Research India specializing in programming languages, type systems, program verification, and software security. He is a core designer and developer of F*, a language for program verification, and has made significant contributions to Project Everest, which builds verified secure communications components including cryptographic libraries and parsers. Dr. Rastogi earned his PhD from the University of Maryland, College Park under Michael Hicks and completed his M.S. at Stony Brook University with Rob Johnson. His research spans formal methods, programming language theory, and practical security applications, with recent work focusing on integrating Large Language Models with formal verification techniques. His publication record demonstrates expertise across multiple domains including concurrent separation logic, secure multi-party computation, and verified systems programming. Recent work shows a clear trend toward applying LLMs to traditional verification challenges, with publications on memory safety, Rust compilation error fixing, and loop invariant generation. Dr. Rastogi has served on numerous conference program committees including as PC co-chair for ISEC 2024 and Diversity, Equity, and Inclusion co-chair for POPL 2024. He has organized workshops such as VeriCrypt and taught F* at multiple summer schools, demonstrating strong commitment to academic community building. As part of Project Everest, he collaborates across Microsoft Research labs to develop verified security-critical components. His work on EverParse has hardened attack surfaces through formally proven parsers, while CrypTFlow enables secure medical image analysis through privacy-preserving machine learning techniques.

Victor Winterمشاهده پروفایل

استاد

• Programming Languages
• Formal Language Theory
• Software Assurance
• +۴ مورد دیگر

Victor Winter is a full Professor of Computer Science at the University of Nebraska-Omaha (UNO) and serves as the creator of the educational tool Bricklayer. He is affiliated with the UNO College of Information Science & Technology, where he has been active since 2001. His teaching focuses on programming languages, formal language theory, discrete math, functional programming, and computational science. Dr. Winter holds a Ph.D. in Computer Science from the University of New Mexico (1994). His research interests center on program transformation, language design, and Java source code analysis, with significant contributions to software assurance and high-consequence systems engineering. He has developed tools like Sextant for software metrics visualization and Monarch for Java source-code migration, emphasizing formal methods and dependable systems. Collaborations with organizations such as Sandia National Laboratories highlight his work on safety-critical systems and embedded software design. Winter's publications consistently address challenges in high-assurance systems, reflecting a strong focus on formal verification, compiler design, and the integration of virtual reality for system validation. His work often intersects with strategic programming and aspect-oriented methodologies, demonstrating expertise in both theoretical and applied computer science domains. He has advised multiple collaborative projects involving researchers like Harvey Siy, Azamat Mametjanov, and Jim Ringland. While no specific grants are listed, his technical reports and conference contributions indicate sustained engagement with federally funded research initiatives. His research group collaborates on projects related to semantic computing and high-consequence system validation through ontology-based approaches.

Taesoo Kimمشاهده پروفایل

استاد

• Systems Security
• Operating Systems
• Programming Languages
• +۳ مورد دیگر

Taesoo Kim is a Professor at Georgia Tech's College of Computing, jointly affiliated with the School of Cybersecurity and Privacy and the School of Computer Science. He serves as Director of the GTS3 lab and leads research in systems security, operating systems, programming languages, and distributed systems. His work emphasizes foundational security principles and practical tools for system resilience. Education: PhD in EECS from MIT (2014), SM from MIT (2011), BS in Computer Science/Electrical Engineering from KAIST (2009) Affiliations: Georgia Tech's School of Computer Science, School of Cybersecurity and Privacy, ML@GT, and Online Master of Science in Computer Science program Kim's research focuses on building secure computing systems through formal system design, implementation analysis, and trusted component isolation. Notable contributions include tools for automatic vulnerability detection, intrusion recovery frameworks, and secure enclave technologies like SGX-Tor. His work has secured grants from ONR, NSF, DARPA, and industry partners. Awards include the 2015 Internet Defense Prize and a finalist placement in the DARPA Cyber Grand Challenge. Key projects include QSYM (concolic execution engine), RAIN (attack tracing), and FREEDOM (DOM fuzzer). Kim teaches courses on information security and blockchain technologies. His lab (SSLab) collaborates with industry on critical security challenges, including hardware-software co-design for trusted execution environments.

• Space Research
• Embedded Systems
• Satellite Software Engineering
• +۵ مورد دیگر

Agustín Martínez Hellín is an Associate Professor at the Department of Automática, Universidad de Alcalá. His research focuses on embedded systems, satellite software engineering, and spaceborne processor architectures. He holds a Doctorate in Engineering from Universidad de Alcalá, with a thesis on optimizing DSP-based audio signal transmission systems (2001). Key contributions include RISC-V processor designs for space applications, LEON processor virtualization extensions, and FPGA-based phased array systems. He is a core member of the Space Research Group (SRG-UAH), addressing challenges in space software reliability and model-driven engineering for ground support systems. His work spans both hardware-software co-design for on-board systems and radiation-hardened computing solutions. Teaching interests include curriculum development for space instrumentation and data management in satellite systems. Recent publications highlight advancements in spaceborne performance monitoring, solar energetic particle analysis via Solar Orbiter data, and interdisciplinary model-driven methodologies for automated testing. His research portfolio demonstrates strong engagement with European space missions and cutting-edge aerospace computing challenges, emphasizing practical applications of embedded systems in extreme environments.

Michael Freedmanمشاهده پروفایل

استاد

• Distributed Systems
• Networking
• Security
• +۴ مورد دیگر

Michael J. Freedman is the Robert E. Kahn Professor of Computer Science at Princeton University, leading research in distributed systems, networking, and security. He co-founded Timescale, a cloud platform for time-series data, and previously co-founded Illuminics Systems (acquired by Neustar). His work includes Ethane (basis for OpenFlow/SDN), CoralCDN, and contributions to blockchain-based systems like Blockstack. Education: Ph.D., Computer Science, New York University (Courant Institute), 2007 M.Eng. and S.B., MIT Research Interests: Freedman’s research spans distributed systems, cloud infrastructure, time-series databases, privacy-enhancing technologies, and software-defined networking. He emphasizes practical, scalable solutions for real-world challenges in networking and storage. Article Trends: Recent work focuses on time-series database optimizations (e.g., tiered storage, compression), cloud platform efficiency, GPU acceleration, and blockchain applications. His publications address fault tolerance, query optimization, and resource management in distributed systems. Awards: ACM Grace Murray Hopper Award, PECASE (2010), Sloan Fellowship, multiple best-paper awards at SIGCOMM, ICFP, and TCC. Advising & Grants: Technical advisor to Blockstack and recipient of grants from NSF, ONR, and DARPA. His research has been commercialized through startups like Timescale and Illuminics. Affiliations: Member of Princeton’s Center for Information Technology Policy (CITP), exploring societal impacts of technology.

Amir Shayan Ahmadianمشاهده پروفایل

پژوهشگر

• Software Engineering
• Privacy-Preserving Technologies
• Data Spaces
• +۴ مورد دیگر

Dr. Amir Shayan Ahmadian is a Researcher at the Institute of Software Engineering within Department 4 at the University of Koblenz-Landau. His primary role involves software engineering research and teaching responsibilities. He has been actively involved in academic activities since at least 2015, with notable contributions to privacy-preserving technologies, model-based analysis, and industrial data ecosystems. His work emphasizes ethical AI, algorithmic fairness, and privacy-by-design frameworks. Research Interests: His core research focuses on privacy engineering , data space architectures , algorithmic fairness , and model-driven software development . He explores practical solutions for integrating privacy into system design, developing methodologies for detecting biases in AI, and creating scalable frameworks for secure industrial data sharing. His work often bridges theoretical computer science with real-world applications in healthcare, logistics, and manufacturing. Teaching Highlights: He has taught Web Engineering (2015-2019) and supervised seminars on Engineering Responsible Information Systems (2018). These courses emphasize ethical technology development and responsible innovation. Publications Overview: Ahmadian's recent work (2018-2024) reflects a strong focus on privacy-preserving systems and fairness in AI. Key themes include health data spaces, model-based verification for discrimination analysis, and industrial 4.0 platforms. His publications often propose novel architectures, methodologies, and tools to address emerging challenges in privacy, security, and algorithmic ethics. Labs/Teams: He contributes to the development of the VisiOn Privacy Platform , a tool for visual privacy management, and collaborates on projects like MBFair (model-based fairness verification). His work integrates closely with interdisciplinary teams focusing on healthcare IT, industrial automation, and cybersecurity.

• Computer Engineering
• Digital System Design
• Algorithm Development
• +۳ مورد دیگر

Иван Каштелан is a Full Professor at the Department of Computer Science and Automation, Faculty of Technical Sciences, University of Novi Sad. He holds a PhD in Electrical Engineering (2014) with perfect grades across bachelor's, master's, and doctoral studies. His roles include Head of the Section for Computer Technology and Computer Communications, and Program Director for Computer Science and Automation programs. He specializes in digital system design, algorithm development, and engineering education. Education: B.Sc./M.Sc./Ph.D. in Electrical Engineering from University of Novi Sad (2008-2014). Notable achievements include the 'Best Graduate' title (2008) and the Momcilo Novkovic Teaching Award (2014). Research focuses on consumer electronics verification, embedded systems, and educational technologies. He led a regional project and participates in EU Horizon Europe project TARDIS. Active in IEEE Serbia-Montenegro Section as volunteer leader and conference program board member. Holds 10+ SCI-indexed papers, 100+ conference papers, 13 patents, and technical solutions. Involved in curriculum development for engineering education.

• Embedded Systems
• Machine Learning
• Digital Signal Processing
• +۴ مورد دیگر

Prof. Gerold Bausch is a faculty member at HTWK Leipzig within the Faculty of Engineering . He leads the Electronic Engineering Lab (EEL) and serves as Coordinator for International Relations and Examination Board Member at HTWK Leipzig. His research focuses on Embedded Systems , Machine Learning , and Digital Signal Processing . Specializes in low-power embedded systems with ARM and RISC-V architectures Supervises thesis projects in collaboration with institutions like Fraunhofer-Institut and Max-Planck-Institut Developed innovative measurement systems for infrastructure monitoring Recent research trends include machine learning on microcontrollers , energy-autonomous sensor applications , and low-power wide-area networks . He has received prestigious awards such as the Actemium-Förderpreis and VDI Bezirksverein Leipzig Förderpreis . His work bridges academic research with industry applications through partnerships with companies like Siemens AG and ANDAV Electronics GmbH. Scientific Awards: Actemium-Förderpreis für Angewandte Digitalisierung (1st Prize) VDI Bezirksverein Leipzig e.V. Förderpreis (1st Prize) He supervises numerous Bachelor's and Master's students , guiding projects in embedded systems, signal processing, and biomedical technologies. His research emphasizes practical solutions for industrial challenges and environmental monitoring.

Sagar Karandikarمشاهده پروفایل

استادیار

• Computer Architecture
• Hardware/Software Co-Design
• Hyperscale Cloud Data Centers
• +۵ مورد دیگر

Sagar Karandikar is an Assistant Professor in the Electrical Engineering and Computer Sciences (EECS) department at UC Berkeley and the Jean and Hing Wong Foundation Faculty Fellow. He is also a Visiting Faculty Researcher at Google. His research focuses on hardware/software co-design for hyperscale cloud data centers powering critical applications including AI/ML, scalable data processing, and web services. His educational background includes: Ph.D. in Computer Science from UC Berkeley (2024) M.S. in Computer Science from UC Berkeley (2018) B.S. in Electrical Engineering and Computer Sciences from UC Berkeley (2015) Dr. Karandikar's research spans hardware accelerator and server system-on-chip design, full-stack system optimization, and agile, open-source hardware development methodologies. His work addresses system-level inefficiencies in warehouse-scale computers through data-driven hardware/software co-design. His group is part of the SpeciaLIzed Computing Ecosystems (SLICE) Lab at Berkeley. His publications reveal a consistent focus on improving hyperscale datacenter performance through hardware acceleration and system optimization. Key themes include FPGA-accelerated simulation (FireSim), hardware accelerators for specific workloads (like protocol buffers and compression), and open-source frameworks for agile hardware development (Chipyard). His work bridges the gap between theoretical architecture research and practical deployment in large-scale datacenters. Dr. Karandikar has received numerous prestigious awards for his research: 2025 ACM SIGARCH/IEEE CS TCCA Outstanding Dissertation Award ISCA@50 25-year Retrospective selection IEEE Micro Top Picks selection and honorable mention MICRO and ISCA Distinguished Artifact Awards David J. Sakrison Memorial Prize for outstanding graduate research UC Berkeley Outstanding Graduate Student Instructor Award DARPA Riser selection Dr. Karandikar actively mentors students and leads research projects including FireSim (used in over 70 peer-reviewed publications from institutions worldwide), Hyperscale SoC, and Chipyard. His work has been adopted by both academic institutions and industry for developing commercially available chips and as standard platforms for DARPA/IARPA programs. He is accepting new students for his research group. His research group is part of the SpeciaLIzed Computing Ecosystems (SLICE) Lab at Berkeley, focusing on hardware/software co-design for hyperscale cloud systems. The group develops frameworks like FireSim for FPGA-accelerated cycle-accurate simulation and Chipyard for agile RISC-V SoC design, enabling rapid prototyping and evaluation of specialized computing systems.

Zachary Tatlockمشاهده پروفایل

دانشیار

• Programming Languages
• Formal Verification
• Compiler Optimization
• +۵ مورد دیگر

Zachary Tatlock is an Associate Professor at the Paul G. Allen School of Computer Science & Engineering , University of Washington. He leads the UW PLSE research group and focuses on making programming languages and compilers more accessible through formal verification and practical tool development. Current affiliations: University of Washington (Paul G. Allen School) Academic rank: Associate Professor His research spans programming languages, compiler optimization, and formal verification, with recent work on: E-Graphs and equality saturation for program synthesis Floating-point error analysis and accuracy optimization Accessible web layout verification using formal logic Hardware-software co-design for compiler generation His recent publications demonstrate expertise in both theoretical foundations (congruence closure proofs, anti-unification) and practical implementations (Odyssey tool for FP rewriting, Titanic framework for number systems analysis). Collaborations span institutions like Adobe and involve rigorous formal verification in Coq and CakeML.

Tian Tanمشاهده پروفایل

استادیار

• Program Analysis
• Static Program Analysis
• Software Engineering
• +۳ مورد دیگر

Tian Tan is an Assistant Professor at the Department of Computer Science and Technology , Nanjing University , where he co-runs the PASCAL Research Group . He previously worked as a postdoctoral researcher at Aarhus University (CASA) and earned his Ph.D. in Computer Science from the University of New South Wales (CORG) in 2017, advised by Prof. Jingling Xue. His research focuses on program analysis techniques and tools for programming languages, software engineering, and security. He has developed frameworks like Tai-e for static analysis and contributed to understanding Java reflection and pointer analysis. Education: Ph.D. (UNSW), B.Eng. (Northwestern Polytechnical University) Teaching: Courses on compilers and program analysis Recent work spans compiler design, cross-language pointer analysis, and security frameworks. His publications emphasize context sensitivity, artifact evaluation, and practical implementations. Scientific Awards: Distinguished Artifact Award (OOPSLA'23) Best Artifact Award (ICSE'25) Distinguished Paper Award (ECOOP'16) Distinguished Paper Award Nominee (ISSRE'17) He serves on program committees for SAS'25, ESEC/FSE'25, and SOAP'25, and has reviewed for top-tier venues like TOPLAS, SAS, and ISSTA.

Konstantinos Mamourasمشاهده پروفایل

استادیار

• Programming Languages
• Formal Methods
• Runtime Verification
• +۶ مورد دیگر

Konstantinos Mamouras is an Assistant Professor at the Department of Computer Science, Rice University. His research focuses on programming abstractions for data streams, runtime verification for cyber-physical systems, program semantics, and Kleene Algebra with Tests. Rice University, Houston, TX Department of Computer Science Research Interests : Design of programming abstractions for streaming data Runtime verification of cyber-physical systems Formal methods in program verification Kleene Algebra with Tests (equational theories) Efficient automata-based processing Quantitative monitoring frameworks Recent Scientific Contributions : 2025: Membership Testing for Semantic Regular Expressions (PLDI 2025) 2024: HybridSA GPU regex acceleration (OOPSLA 2024) 2024: Efficient regex with lookaround (POPL 2024) 2023: Bit Vector Automata for regex (OOPSLA 2023) 2021: Quantitative monitoring framework (RV 2021) Scientific Awards : 🏆 Distinguished Paper Award, PLDI 2024 🏆 Best Paper Award, EuroSys 2021 🏆 EATCS Best Theory Paper Award, FoSSaCS 2015 Advising : Mentored PhD student Lingkun Kong (2023) Advised MSc student Zhifu Wang (2022) Current advisees: Alexis Le Glaunec and Agnishom Chattopadhyay Teaching : Spring 2023: IoT Programming and Data Analysis (COMP 418/518) Fall 2022: Reasoning about Algorithms (COMP 382) Spring 2021: Reasoning about Software (COMP 403/503)

Hossein Hojjatمشاهده پروفایل

استادیار

• Formal Methods
• Software Verification
• Hardware Verification
• +۱۱ مورد دیگر

Hossein Hojjat is an Assistant Professor in the Department of Computer Science at the Rochester Institute of Technology (RIT), within the Golisano College of Computing and Information Sciences. He received his PhD in computer science from EPFL, Switzerland in 2013 and was a postdoctoral researcher at Cornell University before joining RIT. He is currently on leave from his academic position since 2019. Research Interests: His research focuses on formal methods for the analysis and verification of software and hardware systems. He works extensively on program verification, network verification (especially in software-defined networking), automated program repair, Horn clauses, interpolation techniques, and model checking. His work bridges theoretical foundations with practical tools and applications. Publication Trends: His recent publications (2012–2017) show a strong trend in applying formal methods to networked and distributed systems, particularly using NetKAT and Horn clause solvers. He has made significant contributions to ensuring consistency in network updates, synthesizing repairs, and analyzing timed and concurrent systems. His work integrates logic, programming languages, and systems. Scientific Service: Program Committee: FSEN 2015, FSEN 2017, TTCS 2017, VSTTE 2017, SEFM 2017, SBMF 2018, FSEN 2019 (co-chair), PLDI 2019 (AEC) Editorial Board: Information Processing Letters Advising and Grants: He has advised PhD student Ali Shokri and has received research funding through the SaTC: CORE: Small grant on federated network security. His academic advising and grant activities reflect his leadership in advancing formal techniques for secure and reliable systems. Labs and Teams: While no specific lab is mentioned, his collaborations with researchers at EPFL, Cornell, and in tool development (e.g., FLATA, ELDARICA) indicate active participation in formal methods research teams focused on verification toolkits and network programming.